Safe Haskell	None
Language	Haskell2010

PlutusCore

Contents

Parser
Builtins
AST
DeBruijn representation
Lexer
Formatting
Processing
Type checking
Configuration.
Kindtype inferencechecking.
Errors
Base functors
Quotation and term construction
Name generation
Evaluation
Combining programs
Benchmarking
Budgeting defaults
CEK machine costs

Synopsis

parseProgram :: ByteString -> Either (ParseErrorBundle Text ParseError) (Program TyName Name DefaultUni DefaultFun SourcePos)
parseTerm :: ByteString -> Either (ParseErrorBundle Text ParseError) (Term TyName Name DefaultUni DefaultFun SourcePos)
parseType :: ByteString -> Either (ParseErrorBundle Text ParseError) (Type TyName DefaultUni SourcePos)
parseScoped :: MonadQuote f => ByteString -> f (Program TyName Name DefaultUni DefaultFun SourcePos)
topSourcePos :: SourcePos
data Some (tag :: k -> Type) where
- pattern Some :: forall k tag (a :: k). () => tag a -> Some tag
data SomeTypeIn uni = forall k (a :: k). SomeTypeIn !(uni (Esc a))
data Kinded uni ta where
- Kinded :: Typeable k => !(uni (Esc a)) -> Kinded uni (Esc (a :: k))
data ValueOf uni a = ValueOf !(uni (Esc a)) !a
someValueOf :: forall a uni. uni (Esc a) -> a -> Some (ValueOf uni)
someValue :: forall a uni. uni `Includes` a => a -> Some (ValueOf uni)
someValueType :: Some (ValueOf uni) -> SomeTypeIn uni
data Esc a
class Contains uni a where
- knownUni :: uni (Esc a)
type Includes uni = Permits (Contains uni)
class Closed uni where
- type Everywhere uni (constr :: Type -> Constraint) :: Constraint
- encodeUni :: uni a -> [Int]
- withDecodedUni :: (forall k (a :: k). Typeable k => uni (Esc a) -> DecodeUniM r) -> DecodeUniM r
- bring :: uni `Everywhere` constr => proxy constr -> uni (Esc a) -> (constr a => r) -> r
type family EverywhereAll uni constrs where ...
knownUniOf :: uni `Contains` a => proxy a -> uni (Esc a)
class GShow (t :: k -> Type) where
- gshowsPrec :: forall (a :: k). Int -> t a -> ShowS
show :: Show a => a -> String
class GEq (f :: k -> Type) where
- geq :: forall (a :: k) (b :: k). f a -> f b -> Maybe (a :~: b)
deriveGEq :: DeriveGEQ t => t -> Q [Dec]
class HasUniApply (uni :: Type -> Type) where
- matchUniApply :: uni tb -> r -> (forall k l (f :: k -> l) a. tb ~ Esc (f a) => uni (Esc f) -> uni (Esc a) -> r) -> r
checkStar :: forall uni a (x :: a). Typeable a => uni (Esc x) -> Maybe (a :~: Type)
withApplicable :: forall (a :: Type) (ab :: Type) f x uni m r. (Typeable ab, Typeable a, MonadPlus m) => uni (Esc (f :: ab)) -> uni (Esc (x :: a)) -> (forall (b :: Type). (Typeable b, ab ~ (a -> b)) => m r) -> m r
data (a :: k) :~: (b :: k) where
- Refl :: forall k (a :: k). a :~: a
type (<:) uni1 uni2 = uni1 `Everywhere` Includes uni2
data DefaultUni a where
- DefaultUniInteger :: DefaultUni (Esc Integer)
- DefaultUniByteString :: DefaultUni (Esc ByteString)
- DefaultUniString :: DefaultUni (Esc Text)
- DefaultUniUnit :: DefaultUni (Esc ())
- DefaultUniBool :: DefaultUni (Esc Bool)
- DefaultUniProtoList :: DefaultUni (Esc [])
- DefaultUniProtoPair :: DefaultUni (Esc (,))
- DefaultUniApply :: !(DefaultUni (Esc f)) -> !(DefaultUni (Esc a)) -> DefaultUni (Esc (f a))
- DefaultUniData :: DefaultUni (Esc Data)
pattern DefaultUniList :: forall a k1 k2 (f :: k1 -> k2) (a1 :: k1). () => forall. (a ~ Esc (f a1), Esc f ~ Esc []) => DefaultUni (Esc a1) -> DefaultUni a
pattern DefaultUniPair :: forall a k1 k2 (f1 :: k1 -> k2) (a1 :: k1) k3 k4 (f2 :: k3 -> k4) (a2 :: k3). () => forall. (a ~ Esc (f1 a1), Esc f1 ~ Esc (f2 a2), Esc f2 ~ Esc (,)) => DefaultUni (Esc a2) -> DefaultUni (Esc a1) -> DefaultUni a
data DefaultFun
- = AddInteger
- | SubtractInteger
- | MultiplyInteger
- | DivideInteger
- | QuotientInteger
- | RemainderInteger
- | ModInteger
- | EqualsInteger
- | LessThanInteger
- | LessThanEqualsInteger
- | AppendByteString
- | ConsByteString
- | SliceByteString
- | LengthOfByteString
- | IndexByteString
- | EqualsByteString
- | LessThanByteString
- | LessThanEqualsByteString
- | Sha2_256
- | Sha3_256
- | Blake2b_256
- | VerifyEd25519Signature
- | VerifyEcdsaSecp256k1Signature
- | VerifySchnorrSecp256k1Signature
- | AppendString
- | EqualsString
- | EncodeUtf8
- | DecodeUtf8
- | IfThenElse
- | ChooseUnit
- | Trace
- | FstPair
- | SndPair
- | ChooseList
- | MkCons
- | HeadList
- | TailList
- | NullList
- | ChooseData
- | ConstrData
- | MapData
- | ListData
- | IData
- | BData
- | UnConstrData
- | UnMapData
- | UnListData
- | UnIData
- | UnBData
- | EqualsData
- | SerialiseData
- | MkPairData
- | MkNilData
- | MkNilPairData
data Term tyname name uni fun ann
- = Var ann name
- | TyAbs ann tyname (Kind ann) (Term tyname name uni fun ann)
- | LamAbs ann name (Type tyname uni ann) (Term tyname name uni fun ann)
- | Apply ann (Term tyname name uni fun ann) (Term tyname name uni fun ann)
- | Constant ann (Some (ValueOf uni))
- | Builtin ann fun
- | TyInst ann (Term tyname name uni fun ann) (Type tyname uni ann)
- | Unwrap ann (Term tyname name uni fun ann)
- | IWrap ann (Type tyname uni ann) (Type tyname uni ann) (Term tyname name uni fun ann)
- | Error ann (Type tyname uni ann)
termSubterms :: Traversal' (Term tyname name uni fun ann) (Term tyname name uni fun ann)
termSubtypes :: Traversal' (Term tyname name uni fun ann) (Type tyname uni ann)
type family UniOf a :: Type -> Type
data Type tyname uni ann
- = TyVar ann tyname
- | TyFun ann (Type tyname uni ann) (Type tyname uni ann)
- | TyIFix ann (Type tyname uni ann) (Type tyname uni ann)
- | TyForall ann tyname (Kind ann) (Type tyname uni ann)
- | TyBuiltin ann (SomeTypeIn uni)
- | TyLam ann tyname (Kind ann) (Type tyname uni ann)
- | TyApp ann (Type tyname uni ann) (Type tyname uni ann)
typeSubtypes :: Traversal' (Type tyname uni ann) (Type tyname uni ann)
data Kind ann
- = Type ann
- | KindArrow ann (Kind ann) (Kind ann)
data ParseError
- = UnknownBuiltinType Text SourcePos
- | BuiltinTypeNotAStar Text SourcePos
- | UnknownBuiltinFunction Text SourcePos
- | InvalidBuiltinConstant Text Text SourcePos
data Version ann = Version ann Natural Natural Natural
data Program tyname name uni fun ann = Program {
- _progAnn :: ann
- _progVer :: Version ann
- _progTerm :: Term tyname name uni fun ann
}
data Name = Name {
- nameString :: Text
- nameUnique :: Unique
}
newtype TyName = TyName {
- unTyName :: Name
}
newtype Unique = Unique {
- unUnique :: Int
}
newtype UniqueMap unique a = UniqueMap {
- unUniqueMap :: IntMap a
}
newtype Normalized a = Normalized {
- unNormalized :: a
}
defaultVersion :: ann -> Version ann
termAnn :: Term tyname name uni fun ann -> ann
typeAnn :: Type tyname uni ann -> ann
tyVarDeclAnn :: forall tyname ann. Lens' (TyVarDecl tyname ann) ann
tyVarDeclName :: forall tyname ann tyname. Lens (TyVarDecl tyname ann) (TyVarDecl tyname ann) tyname tyname
tyVarDeclKind :: forall tyname ann. Lens' (TyVarDecl tyname ann) (Kind ann)
varDeclAnn :: forall tyname name uni k (fun :: k) ann k (fun :: k). Lens (VarDecl tyname name uni (fun :: k) ann) (VarDecl tyname name uni (fun :: k) ann) ann ann
varDeclName :: forall tyname name uni k (fun :: k) ann name k (fun :: k). Lens (VarDecl tyname name uni (fun :: k) ann) (VarDecl tyname name uni (fun :: k) ann) name name
varDeclType :: forall tyname name uni k (fun :: k) ann tyname uni k (fun :: k). Lens (VarDecl tyname name uni (fun :: k) ann) (VarDecl tyname name uni (fun :: k) ann) (Type tyname uni ann) (Type tyname uni ann)
tyDeclAnn :: forall tyname uni ann. Lens' (TyDecl tyname uni ann) ann
tyDeclType :: forall tyname uni ann tyname uni. Lens (TyDecl tyname uni ann) (TyDecl tyname uni ann) (Type tyname uni ann) (Type tyname uni ann)
tyDeclKind :: forall tyname uni ann. Lens' (TyDecl tyname uni ann) (Kind ann)
progAnn :: forall tyname name uni fun ann. Lens' (Program tyname name uni fun ann) ann
progVer :: forall tyname name uni fun ann. Lens' (Program tyname name uni fun ann) (Version ann)
progTerm :: forall tyname name uni fun ann tyname name uni fun. Lens (Program tyname name uni fun ann) (Program tyname name uni fun ann) (Term tyname name uni fun ann) (Term tyname name uni fun ann)
mapFun :: (fun -> fun') -> Term tyname name uni fun ann -> Term tyname name uni fun' ann
newtype DeBruijn = DeBruijn {
- dbnIndex :: Index
}
data NamedDeBruijn = NamedDeBruijn {
- ndbnString :: Text
- ndbnIndex :: Index
}
deBruijnTerm :: (AsFreeVariableError e, MonadError e m) => Term TyName Name uni fun ann -> m (Term NamedTyDeBruijn NamedDeBruijn uni fun ann)
unDeBruijnTerm :: (MonadQuote m, AsFreeVariableError e, MonadError e m) => Term NamedTyDeBruijn NamedDeBruijn uni fun ann -> m (Term TyName Name uni fun ann)
data SourcePos
format :: (Monad m, PrettyBy config (Program TyName Name DefaultUni DefaultFun SourcePos)) => config -> ByteString -> m Text
type family HasUniques a :: Constraint
class Rename a where
- rename :: MonadQuote m => a -> m a
class ToKind (uni :: Type -> Type)
type Typecheckable uni fun = (ToKind uni, HasUniApply uni, ToBuiltinMeaning uni fun)
newtype BuiltinTypes uni fun = BuiltinTypes {
- unBuiltinTypes :: Maybe (Array fun (Dupable (Normalized (Type TyName uni ()))))
}
newtype TypeCheckConfig uni fun = TypeCheckConfig {
- _tccBuiltinTypes :: BuiltinTypes uni fun
}
tccBuiltinTypes :: HasTypeCheckConfig c uni fun => Lens' c (BuiltinTypes uni fun)
builtinMeaningsToTypes :: (MonadError err m, AsTypeError err term uni fun ann, Typecheckable uni fun) => ann -> m (BuiltinTypes uni fun)
getDefTypeCheckConfig :: (MonadError err m, AsTypeError err term uni fun ann, Typecheckable uni fun) => ann -> m (TypeCheckConfig uni fun)
inferKind :: (MonadQuote m, MonadError err m, AsTypeError err term uni fun ann, ToKind uni) => TypeCheckConfig uni fun -> Type TyName uni ann -> m (Kind ())
checkKind :: (MonadQuote m, MonadError err m, AsTypeError err term uni fun ann, ToKind uni) => TypeCheckConfig uni fun -> ann -> Type TyName uni ann -> Kind () -> m ()
inferType :: (MonadError err m, MonadQuote m, AsTypeError err (Term TyName Name uni fun ()) uni fun ann, ToKind uni, HasUniApply uni, GEq uni, Ix fun) => TypeCheckConfig uni fun -> Term TyName Name uni fun ann -> m (Normalized (Type TyName uni ()))
checkType :: (MonadError err m, MonadQuote m, AsTypeError err (Term TyName Name uni fun ()) uni fun ann, ToKind uni, HasUniApply uni, GEq uni, Ix fun) => TypeCheckConfig uni fun -> ann -> Term TyName Name uni fun ann -> Normalized (Type TyName uni ()) -> m ()
inferTypeOfProgram :: (MonadError err m, MonadQuote m, AsTypeError err (Term TyName Name uni fun ()) uni fun ann, ToKind uni, HasUniApply uni, GEq uni, Ix fun) => TypeCheckConfig uni fun -> Program TyName Name uni fun ann -> m (Normalized (Type TyName uni ()))
checkTypeOfProgram :: (MonadError err m, MonadQuote m, AsTypeError err (Term TyName Name uni fun ()) uni fun ann, ToKind uni, HasUniApply uni, GEq uni, Ix fun) => TypeCheckConfig uni fun -> ann -> Program TyName Name uni fun ann -> Normalized (Type TyName uni ()) -> m ()
printType :: (AsTypeError e (Term TyName Name DefaultUni DefaultFun ()) DefaultUni DefaultFun SourcePos, MonadError e m) => ByteString -> m Text
normalizeTypesIn :: (HasUnique tyname TypeUnique, HasUnique name TermUnique, MonadQuote m, HasUniApply uni) => Term tyname name uni fun ann -> m (Term tyname name uni fun ann)
normalizeTypesInProgram :: (HasUnique tyname TypeUnique, HasUnique name TermUnique, MonadQuote m, HasUniApply uni) => Program tyname name uni fun ann -> m (Program tyname name uni fun ann)
class AsTypeError r term uni fun ann | r -> term uni fun ann where
- _TypeError :: Prism' r (TypeError term uni fun ann)
- _KindMismatch :: Prism' r (ann, Type TyName uni (), Kind (), Kind ())
- _TypeMismatch :: Prism' r (ann, term, Type TyName uni (), Normalized (Type TyName uni ()))
- _FreeTypeVariableE :: Prism' r (ann, TyName)
- _FreeVariableE :: Prism' r (ann, Name)
- _UnknownBuiltinFunctionE :: Prism' r (ann, fun)
data TypeError term uni fun ann
parseTypecheck :: (AsTypeError e (Term TyName Name DefaultUni DefaultFun ()) DefaultUni DefaultFun SourcePos, MonadError e m, MonadQuote m) => TypeCheckConfig DefaultUni DefaultFun -> ByteString -> m (Normalized (Type TyName DefaultUni ()))
typecheckPipeline :: (AsTypeError e (Term TyName Name DefaultUni DefaultFun ()) DefaultUni DefaultFun a, MonadError e m, MonadQuote m) => TypeCheckConfig DefaultUni DefaultFun -> Program TyName Name DefaultUni DefaultFun a -> m (Normalized (Type TyName DefaultUni ()))
data Error uni fun ann
- = ParseErrorE ParseError
- | UniqueCoherencyErrorE (UniqueError ann)
- | TypeErrorE (TypeError (Term TyName Name uni fun ()) uni fun ann)
- | NormCheckErrorE (NormCheckError TyName Name uni fun ann)
- | FreeVariableErrorE FreeVariableError
class AsError r uni fun ann | r -> uni fun ann where
- _Error :: Prism' r (Error uni fun ann)
- _ParseErrorE :: Prism' r ParseError
- _UniqueCoherencyErrorE :: Prism' r (UniqueError ann)
- _TypeErrorE :: Prism' r (TypeError (Term TyName Name uni fun ()) uni fun ann)
- _NormCheckErrorE :: Prism' r (NormCheckError TyName Name uni fun ann)
- _FreeVariableErrorE :: Prism' r FreeVariableError
data NormCheckError tyname name uni fun ann
- = BadType ann (Type tyname uni ann) Text
- | BadTerm ann (Term tyname name uni fun ann) Text
class AsNormCheckError r tyname name uni fun ann | r -> tyname name uni fun ann where
- _NormCheckError :: Prism' r (NormCheckError tyname name uni fun ann)
- _BadType :: Prism' r (ann, Type tyname uni ann, Text)
- _BadTerm :: Prism' r (ann, Term tyname name uni fun ann, Text)
data UniqueError ann
- = MultiplyDefined Unique ann ann
- | IncoherentUsage Unique ann ann
- | FreeVariable Unique ann
class AsUniqueError r ann | r -> ann where
- _UniqueError :: Prism' r (UniqueError ann)
- _MultiplyDefined :: Prism' r (Unique, ann, ann)
- _IncoherentUsage :: Prism' r (Unique, ann, ann)
- _FreeVariable :: Prism' r (Unique, ann)
data FreeVariableError
- = FreeUnique Unique
- | FreeIndex Index
class AsFreeVariableError r where
- _FreeVariableError :: Prism' r FreeVariableError
- _FreeUnique :: Prism' r Unique
- _FreeIndex :: Prism' r Index
data TermF (tyname :: Type) (name :: Type) (uni :: Type -> Type) (fun :: Type) (ann :: Type) r
- = VarF ann name
- | TyAbsF ann tyname (Kind ann) r
- | LamAbsF ann name (Type tyname uni ann) r
- | ApplyF ann r r
- | ConstantF ann (Some (ValueOf uni))
- | BuiltinF ann fun
- | TyInstF ann r (Type tyname uni ann)
- | UnwrapF ann r
- | IWrapF ann (Type tyname uni ann) (Type tyname uni ann) r
- | ErrorF ann (Type tyname uni ann)
data TypeF (tyname :: Type) (uni :: Type -> Type) (ann :: Type) r
- = TyVarF ann tyname
- | TyFunF ann r r
- | TyIFixF ann r r
- | TyForallF ann tyname (Kind ann) r
- | TyBuiltinF ann (SomeTypeIn uni)
- | TyLamF ann tyname (Kind ann) r
- | TyAppF ann r r
type Quote = QuoteT Identity
runQuote :: Quote a -> a
data QuoteT m a
runQuoteT :: Monad m => QuoteT m a -> m a
class Monad m => MonadQuote m
liftQuote :: MonadQuote m => Quote a -> m a
freshUnique :: MonadQuote m => m Unique
freshName :: MonadQuote m => Text -> m Name
freshTyName :: MonadQuote m => Text -> m TyName
data EvaluationResult a
- = EvaluationSuccess a
- | EvaluationFailure
data UnliftingMode
- = UnliftingImmediate
- | UnliftingDeferred
applyProgram :: Monoid a => Program tyname name uni fun a -> Program tyname name uni fun a -> Program tyname name uni fun a
termSize :: Term tyname name uni fun ann -> Size
typeSize :: Type tyname uni ann -> Size
kindSize :: Kind a -> Size
programSize :: Program tyname name uni fun ann -> Size
serialisedSize :: Flat a => a -> Integer
defaultBuiltinCostModel :: BuiltinCostModel
defaultBuiltinsRuntime :: HasConstantIn DefaultUni term => BuiltinsRuntime DefaultFun term
defaultCekCostModel :: CostModel CekMachineCosts BuiltinCostModel
defaultCekMachineCosts :: CekMachineCosts
defaultCekParameters :: MachineParameters CekMachineCosts CekValue DefaultUni DefaultFun
defaultCostModelParams :: Maybe CostModelParams
defaultUnliftingMode :: UnliftingMode
unitCekParameters :: MachineParameters CekMachineCosts CekValue DefaultUni DefaultFun
cekMachineCostsPrefix :: Text
data CekMachineCosts = CekMachineCosts {
- cekStartupCost :: ExBudget
- cekVarCost :: ExBudget
- cekConstCost :: ExBudget
- cekLamCost :: ExBudget
- cekDelayCost :: ExBudget
- cekForceCost :: ExBudget
- cekApplyCost :: ExBudget
- cekBuiltinCost :: ExBudget
}

Parser

parseProgram :: ByteString -> Either (ParseErrorBundle Text ParseError) (Program TyName Name DefaultUni DefaultFun SourcePos) Source #

Parse a PLC program. The resulting program will have fresh names. The underlying monad must be capable of handling any parse errors.

parseTerm :: ByteString -> Either (ParseErrorBundle Text ParseError) (Term TyName Name DefaultUni DefaultFun SourcePos) Source #

Parse a PLC term. The resulting program will have fresh names. The underlying monad must be capable of handling any parse errors.

parseType :: ByteString -> Either (ParseErrorBundle Text ParseError) (Type TyName DefaultUni SourcePos) Source #

Parse a PLC type. The resulting program will have fresh names. The underlying monad must be capable of handling any parse errors.

parseScoped :: MonadQuote f => ByteString -> f (Program TyName Name DefaultUni DefaultFun SourcePos) Source #

Parse and rewrite so that names are globally unique, not just unique within their scope. don't require there to be no free variables at this point, we might be parsing an open term

topSourcePos :: SourcePos Source #

Builtins

data Some (tag :: k -> Type) where #

Bundled Patterns

pattern Some :: forall k tag (a :: k). () => tag a -> Some tag

Instances

Instances details

GEq tag => Eq (Some tag)
Instance details Defined in Data.Some.Newtype Methods (==) :: Some tag -> Some tag -> Bool Source # (/=) :: Some tag -> Some tag -> Bool Source #
GCompare tag => Ord (Some tag)
Instance details Defined in Data.Some.Newtype Methods compare :: Some tag -> Some tag -> Ordering Source # (<) :: Some tag -> Some tag -> Bool Source # (<=) :: Some tag -> Some tag -> Bool Source # (>) :: Some tag -> Some tag -> Bool Source # (>=) :: Some tag -> Some tag -> Bool Source # max :: Some tag -> Some tag -> Some tag Source # min :: Some tag -> Some tag -> Some tag Source #
GRead f => Read (Some f)
Instance details Defined in Data.Some.Newtype Methods readsPrec :: Int -> ReadS (Some f) Source # readList :: ReadS [Some f] Source # readPrec :: ReadPrec (Some f) Source # readListPrec :: ReadPrec [Some f] Source #
GShow tag => Show (Some tag)
Instance details Defined in Data.Some.Newtype Methods showsPrec :: Int -> Some tag -> ShowS Source # show :: Some tag -> String Source # showList :: [Some tag] -> ShowS Source #
Applicative m => Semigroup (Some m)
Instance details Defined in Data.Some.Newtype Methods (<>) :: Some m -> Some m -> Some m Source # sconcat :: NonEmpty (Some m) -> Some m Source # stimes :: Integral b => b -> Some m -> Some m Source #
Applicative m => Monoid (Some m)
Instance details Defined in Data.Some.Newtype Methods mempty :: Some m Source # mappend :: Some m -> Some m -> Some m Source # mconcat :: [Some m] -> Some m Source #
GNFData tag => NFData (Some tag)
Instance details Defined in Data.Some.Newtype Methods rnf :: Some tag -> () Source #
(Closed uni, Everywhere uni PrettyConst) => Pretty (Some (ValueOf uni)) Source #
Instance details Defined in PlutusCore.Pretty.PrettyConst Methods pretty :: Some (ValueOf uni) -> Doc ann # prettyList :: [Some (ValueOf uni)] -> Doc ann #
(Closed uni, Everywhere uni ExMemoryUsage) => ExMemoryUsage (Some (ValueOf uni)) Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods memoryUsage :: Some (ValueOf uni) -> ExMemory Source #
(Closed uni, Everywhere uni Flat) => Flat (Some (ValueOf uni))
Instance details Defined in PlutusCore.Flat Methods encode :: Some (ValueOf uni) -> Encoding decode :: Get (Some (ValueOf uni)) size :: Some (ValueOf uni) -> NumBits -> NumBits

data SomeTypeIn uni Source #

A particular type from a universe.

Constructors

forall k (a :: k). SomeTypeIn !(uni (Esc a))

Instances

Instances details

GEq uni => Eq (SomeTypeIn uni) Source #
Instance details Defined in Universe.Core Methods (==) :: SomeTypeIn uni -> SomeTypeIn uni -> Bool Source # (/=) :: SomeTypeIn uni -> SomeTypeIn uni -> Bool Source #
GCompare uni => Ord (SomeTypeIn uni) Source #
Instance details Defined in Universe.Core Methods compare :: SomeTypeIn uni -> SomeTypeIn uni -> Ordering Source # (<) :: SomeTypeIn uni -> SomeTypeIn uni -> Bool Source # (<=) :: SomeTypeIn uni -> SomeTypeIn uni -> Bool Source # (>) :: SomeTypeIn uni -> SomeTypeIn uni -> Bool Source # (>=) :: SomeTypeIn uni -> SomeTypeIn uni -> Bool Source # max :: SomeTypeIn uni -> SomeTypeIn uni -> SomeTypeIn uni Source # min :: SomeTypeIn uni -> SomeTypeIn uni -> SomeTypeIn uni Source #
GShow uni => Show (SomeTypeIn uni) Source #
Instance details Defined in Universe.Core Methods showsPrec :: Int -> SomeTypeIn uni -> ShowS Source # show :: SomeTypeIn uni -> String Source # showList :: [SomeTypeIn uni] -> ShowS Source #
Closed uni => NFData (SomeTypeIn uni) Source #
Instance details Defined in Universe.Core Methods rnf :: SomeTypeIn uni -> () Source #
GShow uni => Pretty (SomeTypeIn uni) Source #
Instance details Defined in PlutusCore.Pretty.PrettyConst Methods pretty :: SomeTypeIn uni -> Doc ann # prettyList :: [SomeTypeIn uni] -> Doc ann #
ExMemoryUsage (SomeTypeIn uni) Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods memoryUsage :: SomeTypeIn uni -> ExMemory Source #
Closed uni => Flat (SomeTypeIn uni)
Instance details Defined in PlutusCore.Flat Methods encode :: SomeTypeIn uni -> Encoding decode :: Get (SomeTypeIn uni) size :: SomeTypeIn uni -> NumBits -> NumBits

data Kinded uni ta where Source #

Constructors

Kinded :: Typeable k => !(uni (Esc a)) -> Kinded uni (Esc (a :: k))

Instances

Instances details

GShow uni => GShow (Kinded uni :: Type -> Type) Source #
Instance details Defined in Universe.Core Methods gshowsPrec :: forall (a :: k). Int -> Kinded uni a -> ShowS #
GShow uni => Show (Kinded uni ta) Source #
Instance details Defined in Universe.Core Methods showsPrec :: Int -> Kinded uni ta -> ShowS Source # show :: Kinded uni ta -> String Source # showList :: [Kinded uni ta] -> ShowS Source #

data ValueOf uni a Source #

A value of a particular type from a universe.

Constructors

ValueOf !(uni (Esc a)) !a

Instances

Instances details

(GCompare uni, Closed uni, Everywhere uni Ord, Everywhere uni Eq) => GCompare (ValueOf uni :: Type -> Type) Source #
Instance details Defined in Universe.Core Methods gcompare :: forall (a :: k) (b :: k). ValueOf uni a -> ValueOf uni b -> GOrdering a b
(GEq uni, Closed uni, Everywhere uni Eq) => GEq (ValueOf uni :: Type -> Type) Source #
Instance details Defined in Universe.Core Methods geq :: forall (a :: k) (b :: k). ValueOf uni a -> ValueOf uni b -> Maybe (a :~: b) #
(GShow uni, Closed uni, Everywhere uni Show) => GShow (ValueOf uni :: Type -> Type) Source #
Instance details Defined in Universe.Core Methods gshowsPrec :: forall (a :: k). Int -> ValueOf uni a -> ShowS #
(Closed uni, Everywhere uni NFData) => GNFData (ValueOf uni) Source #
Instance details Defined in Universe.Core Methods grnf :: ValueOf uni a -> ()
(GEq uni, Closed uni, Everywhere uni Eq) => Eq (ValueOf uni a) Source #
Instance details Defined in Universe.Core Methods (==) :: ValueOf uni a -> ValueOf uni a -> Bool Source # (/=) :: ValueOf uni a -> ValueOf uni a -> Bool Source #
(GCompare uni, Closed uni, Everywhere uni Ord, Everywhere uni Eq) => Ord (ValueOf uni a) Source #
Instance details Defined in Universe.Core Methods compare :: ValueOf uni a -> ValueOf uni a -> Ordering Source # (<) :: ValueOf uni a -> ValueOf uni a -> Bool Source # (<=) :: ValueOf uni a -> ValueOf uni a -> Bool Source # (>) :: ValueOf uni a -> ValueOf uni a -> Bool Source # (>=) :: ValueOf uni a -> ValueOf uni a -> Bool Source # max :: ValueOf uni a -> ValueOf uni a -> ValueOf uni a Source # min :: ValueOf uni a -> ValueOf uni a -> ValueOf uni a Source #
(GShow uni, Closed uni, Everywhere uni Show) => Show (ValueOf uni a) Source #
Instance details Defined in Universe.Core Methods showsPrec :: Int -> ValueOf uni a -> ShowS Source # show :: ValueOf uni a -> String Source # showList :: [ValueOf uni a] -> ShowS Source #
(Closed uni, Everywhere uni NFData) => NFData (ValueOf uni a) Source #
Instance details Defined in Universe.Core Methods rnf :: ValueOf uni a -> () Source #
(Closed uni, Everywhere uni PrettyConst) => Pretty (Some (ValueOf uni)) Source #
Instance details Defined in PlutusCore.Pretty.PrettyConst Methods pretty :: Some (ValueOf uni) -> Doc ann # prettyList :: [Some (ValueOf uni)] -> Doc ann #
(Closed uni, Everywhere uni PrettyConst) => Pretty (ValueOf uni a) Source #	Special treatment for built-in constants: see the Note in PlutusCore.Pretty.PrettyConst.
Instance details Defined in PlutusCore.Pretty.PrettyConst Methods pretty :: ValueOf uni a -> Doc ann # prettyList :: [ValueOf uni a] -> Doc ann #
(Closed uni, Everywhere uni ExMemoryUsage) => ExMemoryUsage (Some (ValueOf uni)) Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods memoryUsage :: Some (ValueOf uni) -> ExMemory Source #
(Closed uni, Everywhere uni Flat) => Flat (Some (ValueOf uni))
Instance details Defined in PlutusCore.Flat Methods encode :: Some (ValueOf uni) -> Encoding decode :: Get (Some (ValueOf uni)) size :: Some (ValueOf uni) -> NumBits -> NumBits

someValueOf :: forall a uni. uni (Esc a) -> a -> Some (ValueOf uni) Source #

Wrap a value into Some (ValueOf uni), given its explicit type tag.

someValue :: forall a uni. uni `Includes` a => a -> Some (ValueOf uni) Source #

Wrap a value into Some (ValueOf uni), provided its type is in the universe.

someValueType :: Some (ValueOf uni) -> SomeTypeIn uni Source #

data Esc a Source #

"Escapes" a type of an arbitrary kind to fit into Type.

class Contains uni a where Source #

A class for enumerating types and fully instantiated type formers that uni contains. For example, a particular ExampleUni may have monomorphic types in it:

instance ExampleUni Contains Integer where ... instance ExampleUni Contains Bool where ...

as well as polymorphic ones:

instance ExampleUni Contains [] where ... instance ExampleUni Contains (,) where ...

as well as their instantiations:

instance ExampleUni Contains a => ExampleUni Contains [a] where ... instance (ExampleUni Contains a, ExampleUni Contains b) => ExampleUni Contains (a, b) where ...

(a universe can have any subset of the mentioned sorts of types, for example it's fine to have instantiated polymorphic types and not have uninstantiated ones and vice versa)

Note that when used as a constraint of a function Contains does not allow you to directly express things like "uni has the Integer, Bool and [] types and type formers", because [] is not fully instantiated. So you can only say "uni has Integer, Bool, [Integer], [Bool], [[Integer]], [[Bool]] etc" and such manual enumeration is annoying, so we'd really like to be able to say that uni has lists of arbitrary built-in types (including lists of lists etc). Contains does not allow that, but Includes does. For example, in the body of the following definition:

foo :: (uni Includes Integer, uni Includes Bool, uni Includes []) => ... foo = ...

you can make use of the fact that uni has lists of arbitrary included types (integers, booleans and lists).

Hence most of the time opt for using the more flexible Includes.

Includes is defined in terms of Contains, so you only need to provide a Contains instance per type from the universe and you'll get Includes for free.

Methods

knownUni :: uni (Esc a) Source #

Instances

Instances details

(Contains DefaultUni f, Contains DefaultUni a) => Contains DefaultUni (f a :: k2) Source #
Instance details Defined in PlutusCore.Default.Universe Methods knownUni :: DefaultUni (Esc (f a)) Source #
Contains DefaultUni Bool Source #
Instance details Defined in PlutusCore.Default.Universe Methods knownUni :: DefaultUni (Esc Bool) Source #
Contains DefaultUni Integer Source #
Instance details Defined in PlutusCore.Default.Universe Methods knownUni :: DefaultUni (Esc Integer) Source #
Contains DefaultUni () Source #
Instance details Defined in PlutusCore.Default.Universe Methods knownUni :: DefaultUni (Esc ()) Source #
Contains DefaultUni ByteString Source #
Instance details Defined in PlutusCore.Default.Universe Methods knownUni :: DefaultUni (Esc ByteString) Source #
Contains DefaultUni Text Source #
Instance details Defined in PlutusCore.Default.Universe Methods knownUni :: DefaultUni (Esc Text) Source #
Contains DefaultUni Data Source #
Instance details Defined in PlutusCore.Default.Universe Methods knownUni :: DefaultUni (Esc Data) Source #
Contains DefaultUni (,) Source #
Instance details Defined in PlutusCore.Default.Universe Methods knownUni :: DefaultUni (Esc (,)) Source #
Contains DefaultUni [] Source #
Instance details Defined in PlutusCore.Default.Universe Methods knownUni :: DefaultUni (Esc []) Source #
(TypeError NoStandalonePolymorphicDataErrMsg :: Constraint) => Contains uni (TyVarRep :: TyNameRep kind -> kind) Source #
Instance details Defined in PlutusCore.Builtin.Polymorphism Methods knownUni :: uni (Esc TyVarRep) Source #

type Includes uni = Permits (Contains uni) Source #

uni Includes a reads as "a is in the uni". a can be of a higher-kind, see the docs of Contains on why you might want that.

class Closed uni where Source #

A universe is Closed, if it's known how to constrain every type from the universe and every type can be encoded to / decoded from a sequence of integer tags. The universe doesn't have to be finite and providing support for infinite universes is the reason why we encode a type as a sequence of integer tags as opposed to a single integer tag. For example, given

  data U a where
      UList :: !(U a) -> U [a]
      UInt  :: U Int

UList (UList UInt) can be encoded to [0,0,1] where 0 and 1 are the integer tags of the UList and UInt constructors, respectively.

Associated Types

type Everywhere uni (constr :: Type -> Constraint) :: Constraint Source #

A constrant for "constr a holds for any a from uni".

Methods

encodeUni :: uni a -> [Int] Source #

Encode a type as a sequence of Int tags. The opposite of decodeUni.

withDecodedUni :: (forall k (a :: k). Typeable k => uni (Esc a) -> DecodeUniM r) -> DecodeUniM r Source #

Decode a type and feed it to the continuation.

bring :: uni `Everywhere` constr => proxy constr -> uni (Esc a) -> (constr a => r) -> r Source #

Bring a constr a instance in scope, provided a is a type from the universe and constr holds for any type from the universe.

Instances

Instances details

Closed DefaultUni Source #
Instance details Defined in PlutusCore.Default.Universe Associated Types type Everywhere DefaultUni constr Source # Methods encodeUni :: DefaultUni a -> [Int] Source # withDecodedUni :: (forall k (a :: k). Typeable k => DefaultUni (Esc a) -> DecodeUniM r) -> DecodeUniM r Source # bring :: Everywhere DefaultUni constr => proxy constr -> DefaultUni (Esc a) -> (constr a => r) -> r Source #

type family EverywhereAll uni constrs where ... Source #

Equations

EverywhereAll uni '[] = ()
EverywhereAll uni (constr ': constrs) = (uni `Everywhere` constr, uni `EverywhereAll` constrs)

knownUniOf :: uni `Contains` a => proxy a -> uni (Esc a) Source #

Same as knownUni, but receives a proxy.

class GShow (t :: k -> Type) where #

Methods

gshowsPrec :: forall (a :: k). Int -> t a -> ShowS #

Instances

Instances details

GShow DefaultUni Source #
Instance details Defined in PlutusCore.Default.Universe Methods gshowsPrec :: forall (a :: k). Int -> DefaultUni a -> ShowS #
(GShow uni, Closed uni, Everywhere uni Show) => GShow (ValueOf uni :: Type -> Type) Source #
Instance details Defined in Universe.Core Methods gshowsPrec :: forall (a :: k). Int -> ValueOf uni a -> ShowS #
GShow uni => GShow (Kinded uni :: Type -> Type) Source #
Instance details Defined in Universe.Core Methods gshowsPrec :: forall (a :: k). Int -> Kinded uni a -> ShowS #
GShow (TypeRep :: k -> Type)
Instance details Defined in Data.GADT.Internal Methods gshowsPrec :: forall (a :: k0). Int -> TypeRep a -> ShowS #
GShow (GOrdering a :: k -> Type)
Instance details Defined in Data.GADT.Internal Methods gshowsPrec :: forall (a0 :: k0). Int -> GOrdering a a0 -> ShowS #
GShow ((:~:) a :: k -> Type)
Instance details Defined in Data.GADT.Internal Methods gshowsPrec :: forall (a0 :: k0). Int -> (a :~: a0) -> ShowS #
(GShow a, GShow b) => GShow (Sum a b :: k -> Type)
Instance details Defined in Data.GADT.Internal Methods gshowsPrec :: forall (a0 :: k0). Int -> Sum a b a0 -> ShowS #
(GShow a, GShow b) => GShow (Product a b :: k -> Type)
Instance details Defined in Data.GADT.Internal Methods gshowsPrec :: forall (a0 :: k0). Int -> Product a b a0 -> ShowS #

show :: Show a => a -> String Source #

A specialised variant of showsPrec, using precedence context zero, and returning an ordinary String.

class GEq (f :: k -> Type) where #

Methods

geq :: forall (a :: k) (b :: k). f a -> f b -> Maybe (a :~: b) #

Instances

Instances details

GEq DefaultUni Source #
Instance details Defined in PlutusCore.Default.Universe Methods geq :: forall (a :: k) (b :: k). DefaultUni a -> DefaultUni b -> Maybe (a :~: b) #
(GEq uni, Closed uni, Everywhere uni Eq) => GEq (ValueOf uni :: Type -> Type) Source #
Instance details Defined in Universe.Core Methods geq :: forall (a :: k) (b :: k). ValueOf uni a -> ValueOf uni b -> Maybe (a :~: b) #
GEq (TypeRep :: k -> Type)
Instance details Defined in Data.GADT.Internal Methods geq :: forall (a :: k0) (b :: k0). TypeRep a -> TypeRep b -> Maybe (a :~: b) #
GEq ((:~:) a :: k -> Type)
Instance details Defined in Data.GADT.Internal Methods geq :: forall (a0 :: k0) (b :: k0). (a :~: a0) -> (a :~: b) -> Maybe (a0 :~: b) #
(GEq a, GEq b) => GEq (Sum a b :: k -> Type)
Instance details Defined in Data.GADT.Internal Methods geq :: forall (a0 :: k0) (b0 :: k0). Sum a b a0 -> Sum a b b0 -> Maybe (a0 :~: b0) #
(GEq a, GEq b) => GEq (Product a b :: k -> Type)
Instance details Defined in Data.GADT.Internal Methods geq :: forall (a0 :: k0) (b0 :: k0). Product a b a0 -> Product a b b0 -> Maybe (a0 :~: b0) #

deriveGEq :: DeriveGEQ t => t -> Q [Dec] #

class HasUniApply (uni :: Type -> Type) where Source #

A class for "uni has general type application".

Methods

matchUniApply Source #

Arguments

:: uni tb	The type.
-> r	What to return if the type is not an application.
-> (forall k l (f :: k -> l) a. tb ~ Esc (f a) => uni (Esc f) -> uni (Esc a) -> r)	The continuation taking a function and an argument.
-> r

Deconstruct a type application into the function and the argument and feed them to the continuation. If the type is not an application, then return the default value.

Instances

Instances details

HasUniApply DefaultUni Source #
Instance details Defined in PlutusCore.Default.Universe Methods matchUniApply :: DefaultUni tb -> r -> (forall k l (f :: k -> l) (a :: k). tb ~ Esc (f a) => DefaultUni (Esc f) -> DefaultUni (Esc a) -> r) -> r Source #

checkStar :: forall uni a (x :: a). Typeable a => uni (Esc x) -> Maybe (a :~: Type) Source #

Check if the kind of the given type from the universe is Type.

withApplicable :: forall (a :: Type) (ab :: Type) f x uni m r. (Typeable ab, Typeable a, MonadPlus m) => uni (Esc (f :: ab)) -> uni (Esc (x :: a)) -> (forall (b :: Type). (Typeable b, ab ~ (a -> b)) => m r) -> m r Source #

Check if one type from the universe can be applied to another (i.e. check that the expected kind of the argument matches the actual one) and call the continuation in the refined context. Fail with mzero otherwise.

data (a :: k) :~: (b :: k) where infix 4 Source #

Propositional equality. If a :~: b is inhabited by some terminating value, then the type a is the same as the type b. To use this equality in practice, pattern-match on the a :~: b to get out the Refl constructor; in the body of the pattern-match, the compiler knows that a ~ b.

Since: base-4.7.0.0

Constructors

Refl :: forall k (a :: k). a :~: a

Instances

Instances details

Category ((:~:) :: k -> k -> Type)	Since: base-4.7.0.0
Instance details Defined in Control.Category Methods id :: forall (a :: k0). a :~: a Source # (.) :: forall (b :: k0) (c :: k0) (a :: k0). (b :~: c) -> (a :~: b) -> a :~: c Source #
Semigroupoid ((:~:) :: k -> k -> Type)
Instance details Defined in Data.Semigroupoid Methods o :: forall (j :: k0) (k1 :: k0) (i :: k0). (j :~: k1) -> (i :~: j) -> i :~: k1
TestEquality ((:~:) a :: k -> Type)	Since: base-4.7.0.0
Instance details Defined in Data.Type.Equality Methods testEquality :: forall (a0 :: k0) (b :: k0). (a :~: a0) -> (a :~: b) -> Maybe (a0 :~: b) Source #
GCompare ((:~:) a :: k -> Type)
Instance details Defined in Data.GADT.Internal Methods gcompare :: forall (a0 :: k0) (b :: k0). (a :~: a0) -> (a :~: b) -> GOrdering a0 b
GEq ((:~:) a :: k -> Type)
Instance details Defined in Data.GADT.Internal Methods geq :: forall (a0 :: k0) (b :: k0). (a :~: a0) -> (a :~: b) -> Maybe (a0 :~: b) #
GRead ((:~:) a :: k -> Type)
Instance details Defined in Data.GADT.Internal Methods greadsPrec :: Int -> GReadS ((:~:) a)
GShow ((:~:) a :: k -> Type)
Instance details Defined in Data.GADT.Internal Methods gshowsPrec :: forall (a0 :: k0). Int -> (a :~: a0) -> ShowS #
NFData2 ((:~:) :: Type -> Type -> Type)	Since: deepseq-1.4.3.0
Instance details Defined in Control.DeepSeq Methods liftRnf2 :: (a -> ()) -> (b -> ()) -> (a :~: b) -> () Source #
NFData1 ((:~:) a)	Since: deepseq-1.4.3.0
Instance details Defined in Control.DeepSeq Methods liftRnf :: (a0 -> ()) -> (a :~: a0) -> () Source #
a ~ b => Bounded (a :~: b)	Since: base-4.7.0.0
Instance details Defined in Data.Type.Equality Methods minBound :: a :~: b Source # maxBound :: a :~: b Source #
a ~ b => Enum (a :~: b)	Since: base-4.7.0.0
Instance details Defined in Data.Type.Equality Methods succ :: (a :~: b) -> a :~: b Source # pred :: (a :~: b) -> a :~: b Source # toEnum :: Int -> a :~: b Source # fromEnum :: (a :~: b) -> Int Source # enumFrom :: (a :~: b) -> [a :~: b] Source # enumFromThen :: (a :~: b) -> (a :~: b) -> [a :~: b] Source # enumFromTo :: (a :~: b) -> (a :~: b) -> [a :~: b] Source # enumFromThenTo :: (a :~: b) -> (a :~: b) -> (a :~: b) -> [a :~: b] Source #
Eq (a :~: b)	Since: base-4.7.0.0
Instance details Defined in Data.Type.Equality Methods (==) :: (a :~: b) -> (a :~: b) -> Bool Source # (/=) :: (a :~: b) -> (a :~: b) -> Bool Source #
(a ~ b, Data a) => Data (a :~: b)	Since: base-4.7.0.0
Instance details Defined in Data.Data Methods gfoldl :: (forall d b0. Data d => c (d -> b0) -> d -> c b0) -> (forall g. g -> c g) -> (a :~: b) -> c (a :~: b) Source # gunfold :: (forall b0 r. Data b0 => c (b0 -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (a :~: b) Source # toConstr :: (a :~: b) -> Constr Source # dataTypeOf :: (a :~: b) -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (a :~: b)) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (a :~: b)) Source # gmapT :: (forall b0. Data b0 => b0 -> b0) -> (a :~: b) -> a :~: b Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> (a :~: b) -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> (a :~: b) -> r Source # gmapQ :: (forall d. Data d => d -> u) -> (a :~: b) -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> (a :~: b) -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> (a :~: b) -> m (a :~: b) Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> (a :~: b) -> m (a :~: b) Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> (a :~: b) -> m (a :~: b) Source #
Ord (a :~: b)	Since: base-4.7.0.0
Instance details Defined in Data.Type.Equality Methods compare :: (a :~: b) -> (a :~: b) -> Ordering Source # (<) :: (a :~: b) -> (a :~: b) -> Bool Source # (<=) :: (a :~: b) -> (a :~: b) -> Bool Source # (>) :: (a :~: b) -> (a :~: b) -> Bool Source # (>=) :: (a :~: b) -> (a :~: b) -> Bool Source # max :: (a :~: b) -> (a :~: b) -> a :~: b Source # min :: (a :~: b) -> (a :~: b) -> a :~: b Source #
a ~ b => Read (a :~: b)	Since: base-4.7.0.0
Instance details Defined in Data.Type.Equality Methods readsPrec :: Int -> ReadS (a :~: b) Source # readList :: ReadS [a :~: b] Source # readPrec :: ReadPrec (a :~: b) Source # readListPrec :: ReadPrec [a :~: b] Source #
Show (a :~: b)	Since: base-4.7.0.0
Instance details Defined in Data.Type.Equality Methods showsPrec :: Int -> (a :~: b) -> ShowS Source # show :: (a :~: b) -> String Source # showList :: [a :~: b] -> ShowS Source #
NFData (a :~: b)	Since: deepseq-1.4.3.0
Instance details Defined in Control.DeepSeq Methods rnf :: (a :~: b) -> () Source #

type (<:) uni1 uni2 = uni1 `Everywhere` Includes uni2 Source #

A constraint for "uni1 is a subuniverse of uni2".

data DefaultUni a where Source #

The universe used by default.

Constructors

DefaultUniInteger :: DefaultUni (Esc Integer)
DefaultUniByteString :: DefaultUni (Esc ByteString)
DefaultUniString :: DefaultUni (Esc Text)
DefaultUniUnit :: DefaultUni (Esc ())
DefaultUniBool :: DefaultUni (Esc Bool)
DefaultUniProtoList :: DefaultUni (Esc [])
DefaultUniProtoPair :: DefaultUni (Esc (,))
DefaultUniApply :: !(DefaultUni (Esc f)) -> !(DefaultUni (Esc a)) -> DefaultUni (Esc (f a))
DefaultUniData :: DefaultUni (Esc Data)

Instances

Instances details

HasUniApply DefaultUni Source #
Instance details Defined in PlutusCore.Default.Universe Methods matchUniApply :: DefaultUni tb -> r -> (forall k l (f :: k -> l) (a :: k). tb ~ Esc (f a) => DefaultUni (Esc f) -> DefaultUni (Esc a) -> r) -> r Source #
Closed DefaultUni Source #
Instance details Defined in PlutusCore.Default.Universe Associated Types type Everywhere DefaultUni constr Source # Methods encodeUni :: DefaultUni a -> [Int] Source # withDecodedUni :: (forall k (a :: k). Typeable k => DefaultUni (Esc a) -> DecodeUniM r) -> DecodeUniM r Source # bring :: Everywhere DefaultUni constr => proxy constr -> DefaultUni (Esc a) -> (constr a => r) -> r Source #
ToKind DefaultUni Source #
Instance details Defined in PlutusCore.Default.Universe Methods toSingKind :: forall k (a :: k). DefaultUni (Esc a) -> SingKind k Source #
TestTypesFromTheUniverseAreAllKnown DefaultUni Source #
Instance details Defined in PlutusCore.Default.Universe
GCompare DefaultUni Source #
Instance details Defined in PlutusCore.Default.Universe Methods gcompare :: forall (a :: k) (b :: k). DefaultUni a -> DefaultUni b -> GOrdering a b
GEq DefaultUni Source #
Instance details Defined in PlutusCore.Default.Universe Methods geq :: forall (a :: k) (b :: k). DefaultUni a -> DefaultUni b -> Maybe (a :~: b) #
GShow DefaultUni Source #
Instance details Defined in PlutusCore.Default.Universe Methods gshowsPrec :: forall (a :: k). Int -> DefaultUni a -> ShowS #
HasConstantIn DefaultUni term => ReadKnownIn DefaultUni term Int Source #
Instance details Defined in PlutusCore.Default.Universe Methods readKnown :: Maybe cause -> term -> ReadKnownM cause Int Source #
HasConstantIn DefaultUni term => ReadKnownIn DefaultUni term Int64 Source #
Instance details Defined in PlutusCore.Default.Universe Methods readKnown :: Maybe cause -> term -> ReadKnownM cause Int64 Source #
HasConstantIn DefaultUni term => ReadKnownIn DefaultUni term Data Source #
Instance details Defined in PlutusCore.Default.Universe Methods readKnown :: Maybe cause -> term -> ReadKnownM cause Data Source #
HasConstantIn DefaultUni term => ReadKnownIn DefaultUni term Bool Source #
Instance details Defined in PlutusCore.Default.Universe Methods readKnown :: Maybe cause -> term -> ReadKnownM cause Bool Source #
HasConstantIn DefaultUni term => ReadKnownIn DefaultUni term () Source #
Instance details Defined in PlutusCore.Default.Universe Methods readKnown :: Maybe cause -> term -> ReadKnownM cause () Source #
HasConstantIn DefaultUni term => ReadKnownIn DefaultUni term Text Source #
Instance details Defined in PlutusCore.Default.Universe Methods readKnown :: Maybe cause -> term -> ReadKnownM cause Text Source #
HasConstantIn DefaultUni term => ReadKnownIn DefaultUni term ByteString Source #
Instance details Defined in PlutusCore.Default.Universe Methods readKnown :: Maybe cause -> term -> ReadKnownM cause ByteString Source #
HasConstantIn DefaultUni term => ReadKnownIn DefaultUni term Integer Source #
Instance details Defined in PlutusCore.Default.Universe Methods readKnown :: Maybe cause -> term -> ReadKnownM cause Integer Source #
UniOf term ~ DefaultUni => ReadKnownIn DefaultUni term Void Source #
Instance details Defined in PlutusCore.Examples.Builtins Methods readKnown :: Maybe cause -> term -> ReadKnownM cause Void Source #
HasConstantIn DefaultUni term => MakeKnownIn DefaultUni term Int Source #
Instance details Defined in PlutusCore.Default.Universe Methods makeKnown :: Maybe cause -> Int -> MakeKnownM cause term Source #
HasConstantIn DefaultUni term => MakeKnownIn DefaultUni term Int64 Source #
Instance details Defined in PlutusCore.Default.Universe Methods makeKnown :: Maybe cause -> Int64 -> MakeKnownM cause term Source #
HasConstantIn DefaultUni term => MakeKnownIn DefaultUni term Data Source #
Instance details Defined in PlutusCore.Default.Universe Methods makeKnown :: Maybe cause -> Data -> MakeKnownM cause term Source #
HasConstantIn DefaultUni term => MakeKnownIn DefaultUni term Bool Source #
Instance details Defined in PlutusCore.Default.Universe Methods makeKnown :: Maybe cause -> Bool -> MakeKnownM cause term Source #
HasConstantIn DefaultUni term => MakeKnownIn DefaultUni term () Source #
Instance details Defined in PlutusCore.Default.Universe Methods makeKnown :: Maybe cause -> () -> MakeKnownM cause term Source #
HasConstantIn DefaultUni term => MakeKnownIn DefaultUni term Text Source #
Instance details Defined in PlutusCore.Default.Universe Methods makeKnown :: Maybe cause -> Text -> MakeKnownM cause term Source #
HasConstantIn DefaultUni term => MakeKnownIn DefaultUni term ByteString Source #
Instance details Defined in PlutusCore.Default.Universe Methods makeKnown :: Maybe cause -> ByteString -> MakeKnownM cause term Source #
HasConstantIn DefaultUni term => MakeKnownIn DefaultUni term Integer Source #
Instance details Defined in PlutusCore.Default.Universe Methods makeKnown :: Maybe cause -> Integer -> MakeKnownM cause term Source #
UniOf term ~ DefaultUni => MakeKnownIn DefaultUni term Void Source #
Instance details Defined in PlutusCore.Examples.Builtins Methods makeKnown :: Maybe cause -> Void -> MakeKnownM cause term Source #
(Contains DefaultUni f, Contains DefaultUni a) => Contains DefaultUni (f a :: k2) Source #
Instance details Defined in PlutusCore.Default.Universe Methods knownUni :: DefaultUni (Esc (f a)) Source #
(HasConstantIn DefaultUni term, Contains DefaultUni [a]) => ReadKnownIn DefaultUni term [a] Source #
Instance details Defined in PlutusCore.Default.Universe Methods readKnown :: Maybe cause -> term -> ReadKnownM cause [a] Source #
(HasConstantIn DefaultUni term, Contains DefaultUni [a]) => MakeKnownIn DefaultUni term [a] Source #
Instance details Defined in PlutusCore.Default.Universe Methods makeKnown :: Maybe cause -> [a] -> MakeKnownM cause term Source #
(HasConstantIn DefaultUni term, Contains DefaultUni (a, b)) => ReadKnownIn DefaultUni term (a, b) Source #
Instance details Defined in PlutusCore.Default.Universe Methods readKnown :: Maybe cause -> term -> ReadKnownM cause (a, b) Source #
(HasConstantIn DefaultUni term, Contains DefaultUni (a, b)) => MakeKnownIn DefaultUni term (a, b) Source #
Instance details Defined in PlutusCore.Default.Universe Methods makeKnown :: Maybe cause -> (a, b) -> MakeKnownM cause term Source #
Show (DefaultUni a) Source #
Instance details Defined in PlutusCore.Default.Universe Methods showsPrec :: Int -> DefaultUni a -> ShowS Source # show :: DefaultUni a -> String Source # showList :: [DefaultUni a] -> ShowS Source #
Contains DefaultUni Bool Source #
Instance details Defined in PlutusCore.Default.Universe Methods knownUni :: DefaultUni (Esc Bool) Source #
Contains DefaultUni Integer Source #
Instance details Defined in PlutusCore.Default.Universe Methods knownUni :: DefaultUni (Esc Integer) Source #
Contains DefaultUni () Source #
Instance details Defined in PlutusCore.Default.Universe Methods knownUni :: DefaultUni (Esc ()) Source #
Contains DefaultUni ByteString Source #
Instance details Defined in PlutusCore.Default.Universe Methods knownUni :: DefaultUni (Esc ByteString) Source #
Contains DefaultUni Text Source #
Instance details Defined in PlutusCore.Default.Universe Methods knownUni :: DefaultUni (Esc Text) Source #
Contains DefaultUni Data Source #
Instance details Defined in PlutusCore.Default.Universe Methods knownUni :: DefaultUni (Esc Data) Source #
KnownBuiltinTypeAst DefaultUni Bool => KnownTypeAst DefaultUni Bool Source #
Instance details Defined in PlutusCore.Default.Universe Associated Types type ToHoles Bool :: [Hole] Source # type ToBinds Bool :: [Some TyNameRep] Source # Methods toTypeAst :: proxy Bool -> Type TyName DefaultUni () Source #
KnownTypeAst DefaultUni Int Source #
Instance details Defined in PlutusCore.Default.Universe Associated Types type ToHoles Int :: [Hole] Source # type ToBinds Int :: [Some TyNameRep] Source # Methods toTypeAst :: proxy Int -> Type TyName DefaultUni () Source #
KnownTypeAst DefaultUni Int64 Source #
Instance details Defined in PlutusCore.Default.Universe Associated Types type ToHoles Int64 :: [Hole] Source # type ToBinds Int64 :: [Some TyNameRep] Source # Methods toTypeAst :: proxy Int64 -> Type TyName DefaultUni () Source #
KnownBuiltinTypeAst DefaultUni Integer => KnownTypeAst DefaultUni Integer Source #
Instance details Defined in PlutusCore.Default.Universe Associated Types type ToHoles Integer :: [Hole] Source # type ToBinds Integer :: [Some TyNameRep] Source # Methods toTypeAst :: proxy Integer -> Type TyName DefaultUni () Source #
KnownBuiltinTypeAst DefaultUni () => KnownTypeAst DefaultUni () Source #
Instance details Defined in PlutusCore.Default.Universe Associated Types type ToHoles () :: [Hole] Source # type ToBinds () :: [Some TyNameRep] Source # Methods toTypeAst :: proxy () -> Type TyName DefaultUni () Source #
KnownTypeAst DefaultUni Void Source #
Instance details Defined in PlutusCore.Examples.Builtins Associated Types type ToHoles Void :: [Hole] Source # type ToBinds Void :: [Some TyNameRep] Source # Methods toTypeAst :: proxy Void -> Type TyName DefaultUni () Source #
KnownBuiltinTypeAst DefaultUni ByteString => KnownTypeAst DefaultUni ByteString Source #
Instance details Defined in PlutusCore.Default.Universe Associated Types type ToHoles ByteString :: [Hole] Source # type ToBinds ByteString :: [Some TyNameRep] Source # Methods toTypeAst :: proxy ByteString -> Type TyName DefaultUni () Source #
KnownBuiltinTypeAst DefaultUni Text => KnownTypeAst DefaultUni Text Source #
Instance details Defined in PlutusCore.Default.Universe Associated Types type ToHoles Text :: [Hole] Source # type ToBinds Text :: [Some TyNameRep] Source # Methods toTypeAst :: proxy Text -> Type TyName DefaultUni () Source #
KnownBuiltinTypeAst DefaultUni Data => KnownTypeAst DefaultUni Data Source #
Instance details Defined in PlutusCore.Default.Universe Associated Types type ToHoles Data :: [Hole] Source # type ToBinds Data :: [Some TyNameRep] Source # Methods toTypeAst :: proxy Data -> Type TyName DefaultUni () Source #
KnownBuiltinTypeAst DefaultUni [a] => KnownTypeAst DefaultUni ([a] :: Type) Source #
Instance details Defined in PlutusCore.Default.Universe Associated Types type ToHoles [a] :: [Hole] Source # type ToBinds [a] :: [Some TyNameRep] Source # Methods toTypeAst :: proxy [a] -> Type0 TyName DefaultUni () Source #
KnownBuiltinTypeAst DefaultUni (a, b) => KnownTypeAst DefaultUni ((a, b) :: Type) Source #
Instance details Defined in PlutusCore.Default.Universe Associated Types type ToHoles (a, b) :: [Hole] Source # type ToBinds (a, b) :: [Some TyNameRep] Source # Methods toTypeAst :: proxy (a, b) -> Type0 TyName DefaultUni () Source #
Contains DefaultUni (,) Source #
Instance details Defined in PlutusCore.Default.Universe Methods knownUni :: DefaultUni (Esc (,)) Source #
Contains DefaultUni [] Source #
Instance details Defined in PlutusCore.Default.Universe Methods knownUni :: DefaultUni (Esc []) Source #
type Everywhere DefaultUni constr Source #
Instance details Defined in PlutusCore.Default.Universe type Everywhere DefaultUni constr = (Permits constr Integer, Permits constr ByteString, Permits constr Text, Permits constr (), Permits constr Bool, Permits constr [], Permits constr (,), Permits constr Data)

pattern DefaultUniList :: forall a k1 k2 (f :: k1 -> k2) (a1 :: k1). () => forall. (a ~ Esc (f a1), Esc f ~ Esc []) => DefaultUni (Esc a1) -> DefaultUni a Source #

pattern DefaultUniPair :: forall a k1 k2 (f1 :: k1 -> k2) (a1 :: k1) k3 k4 (f2 :: k3 -> k4) (a2 :: k3). () => forall. (a ~ Esc (f1 a1), Esc f1 ~ Esc (f2 a2), Esc f2 ~ Esc (,)) => DefaultUni (Esc a2) -> DefaultUni (Esc a1) -> DefaultUni a Source #

data DefaultFun Source #

Default built-in functions.

When updating these, make sure to add them to the protocol version listing! See Note [New builtins and protocol versions]

Instances

Instances details

Bounded DefaultFun Source #
Instance details Defined in PlutusCore.Default.Builtins Methods minBound :: DefaultFun Source # maxBound :: DefaultFun Source #
Enum DefaultFun Source #
Instance details Defined in PlutusCore.Default.Builtins Methods succ :: DefaultFun -> DefaultFun Source # pred :: DefaultFun -> DefaultFun Source # toEnum :: Int -> DefaultFun Source # fromEnum :: DefaultFun -> Int Source # enumFrom :: DefaultFun -> [DefaultFun] Source # enumFromThen :: DefaultFun -> DefaultFun -> [DefaultFun] Source # enumFromTo :: DefaultFun -> DefaultFun -> [DefaultFun] Source # enumFromThenTo :: DefaultFun -> DefaultFun -> DefaultFun -> [DefaultFun] Source #
Eq DefaultFun Source #
Instance details Defined in PlutusCore.Default.Builtins Methods (==) :: DefaultFun -> DefaultFun -> Bool Source # (/=) :: DefaultFun -> DefaultFun -> Bool Source #
Ord DefaultFun Source #
Instance details Defined in PlutusCore.Default.Builtins Methods compare :: DefaultFun -> DefaultFun -> Ordering Source # (<) :: DefaultFun -> DefaultFun -> Bool Source # (<=) :: DefaultFun -> DefaultFun -> Bool Source # (>) :: DefaultFun -> DefaultFun -> Bool Source # (>=) :: DefaultFun -> DefaultFun -> Bool Source # max :: DefaultFun -> DefaultFun -> DefaultFun Source # min :: DefaultFun -> DefaultFun -> DefaultFun Source #
Show DefaultFun Source #
Instance details Defined in PlutusCore.Default.Builtins Methods showsPrec :: Int -> DefaultFun -> ShowS Source # show :: DefaultFun -> String Source # showList :: [DefaultFun] -> ShowS Source #
Ix DefaultFun Source #
Instance details Defined in PlutusCore.Default.Builtins Methods range :: (DefaultFun, DefaultFun) -> [DefaultFun] Source # index :: (DefaultFun, DefaultFun) -> DefaultFun -> Int Source # unsafeIndex :: (DefaultFun, DefaultFun) -> DefaultFun -> Int Source # inRange :: (DefaultFun, DefaultFun) -> DefaultFun -> Bool Source # rangeSize :: (DefaultFun, DefaultFun) -> Int Source # unsafeRangeSize :: (DefaultFun, DefaultFun) -> Int Source #
Generic DefaultFun Source #
Instance details Defined in PlutusCore.Default.Builtins Associated Types type Rep DefaultFun :: Type -> Type Source # Methods from :: DefaultFun -> Rep DefaultFun x Source # to :: Rep DefaultFun x -> DefaultFun Source #
NFData DefaultFun Source #
Instance details Defined in PlutusCore.Default.Builtins Methods rnf :: DefaultFun -> () Source #
Hashable DefaultFun Source #
Instance details Defined in PlutusCore.Default.Builtins Methods hashWithSalt :: Int -> DefaultFun -> Int hash :: DefaultFun -> Int
Pretty DefaultFun Source #
Instance details Defined in PlutusCore.Default.Builtins Methods pretty :: DefaultFun -> Doc ann # prettyList :: [DefaultFun] -> Doc ann #
ExMemoryUsage DefaultFun Source #
Instance details Defined in PlutusCore.Default.Builtins Methods memoryUsage :: DefaultFun -> ExMemory Source #
Flat DefaultFun Source #
Instance details Defined in PlutusCore.Default.Builtins Methods encode :: DefaultFun -> Encoding decode :: Get DefaultFun size :: DefaultFun -> NumBits -> NumBits
PrettyBy PrettyConfigPlc DefaultFun Source #
Instance details Defined in PlutusCore.Default.Builtins Methods prettyBy :: PrettyConfigPlc -> DefaultFun -> Doc ann # prettyListBy :: PrettyConfigPlc -> [DefaultFun] -> Doc ann #
uni ~ DefaultUni => ToBuiltinMeaning uni DefaultFun Source #
Instance details Defined in PlutusCore.Default.Builtins Associated Types type CostingPart uni DefaultFun Source # Methods toBuiltinMeaning :: HasConstantIn uni val => DefaultFun -> BuiltinMeaning val (CostingPart uni DefaultFun) Source #
type Rep DefaultFun Source #
Instance details Defined in PlutusCore.Default.Builtins type Rep DefaultFun = D1 ('MetaData "DefaultFun" "PlutusCore.Default.Builtins" "plutus-core-1.0.0.1-6wMiyL0yerXJu56t8zBoKx" 'False) (((((C1 ('MetaCons "AddInteger" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "SubtractInteger" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MultiplyInteger" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "DivideInteger" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "QuotientInteger" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "RemainderInteger" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "ModInteger" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "EqualsInteger" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LessThanInteger" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "LessThanEqualsInteger" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "AppendByteString" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "ConsByteString" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SliceByteString" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "LengthOfByteString" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "IndexByteString" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "EqualsByteString" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "LessThanByteString" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LessThanEqualsByteString" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Sha2_256" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Sha3_256" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Blake2b_256" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "VerifyEd25519Signature" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "VerifyEcdsaSecp256k1Signature" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "VerifySchnorrSecp256k1Signature" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "AppendString" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "EqualsString" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "EncodeUtf8" 'PrefixI 'False) (U1 :: Type -> Type)))))) :+: ((((C1 ('MetaCons "DecodeUtf8" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "IfThenElse" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ChooseUnit" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "Trace" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "FstPair" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SndPair" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "ChooseList" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "MkCons" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "HeadList" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "TailList" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NullList" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "ChooseData" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ConstrData" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "MapData" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "ListData" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "IData" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "BData" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "UnConstrData" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "UnMapData" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "UnListData" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "UnIData" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "UnBData" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "EqualsData" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "SerialiseData" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MkPairData" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "MkNilData" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MkNilPairData" 'PrefixI 'False) (U1 :: Type -> Type)))))))
type CostingPart uni DefaultFun Source #
Instance details Defined in PlutusCore.Default.Builtins type CostingPart uni DefaultFun = BuiltinCostModel

AST

data Term tyname name uni fun ann Source #

Constructors

Var ann name	a named variable
TyAbs ann tyname (Kind ann) (Term tyname name uni fun ann)
LamAbs ann name (Type tyname uni ann) (Term tyname name uni fun ann)
Apply ann (Term tyname name uni fun ann) (Term tyname name uni fun ann)
Constant ann (Some (ValueOf uni))	a constant term
Builtin ann fun
TyInst ann (Term tyname name uni fun ann) (Type tyname uni ann)
Unwrap ann (Term tyname name uni fun ann)
IWrap ann (Type tyname uni ann) (Type tyname uni ann) (Term tyname name uni fun ann)
Error ann (Type tyname uni ann)

Instances

Instances details

tyname ~ TyName => Reference TyName (Term tyname name uni fun) Source #
Instance details Defined in PlutusCore.Core.Instance.Scoping Methods referenceVia :: (forall name0. ToScopedName name0 => name0 -> NameAnn) -> TyName -> Term tyname name uni fun NameAnn -> Term tyname name uni fun NameAnn Source #
name ~ Name => Reference Name (Term tyname name uni fun) Source #
Instance details Defined in PlutusCore.Core.Instance.Scoping Methods referenceVia :: (forall name0. ToScopedName name0 => name0 -> NameAnn) -> Name -> Term tyname name uni fun NameAnn -> Term tyname name uni fun NameAnn Source #
DefaultPrettyPlcStrategy (Term tyname name uni fun ann) => PrettyBy PrettyConfigPlc (Term tyname name uni fun ann) Source #
Instance details Defined in PlutusCore.Core.Instance.Pretty.Plc Methods prettyBy :: PrettyConfigPlc -> Term tyname name uni fun ann -> Doc ann0 # prettyListBy :: PrettyConfigPlc -> [Term tyname name uni fun ann] -> Doc ann0 #
(PrettyReadableBy configName tyname, PrettyReadableBy configName name, GShow uni, Closed uni, Everywhere uni PrettyConst, Pretty fun) => PrettyBy (PrettyConfigReadable configName) (Term tyname name uni fun a) Source #
Instance details Defined in PlutusCore.Core.Instance.Pretty.Readable Methods prettyBy :: PrettyConfigReadable configName -> Term tyname name uni fun a -> Doc ann # prettyListBy :: PrettyConfigReadable configName -> [Term tyname name uni fun a] -> Doc ann #
(PrettyClassicBy configName tyname, PrettyClassicBy configName name, GShow uni, Closed uni, Everywhere uni PrettyConst, Pretty fun, Pretty ann) => PrettyBy (PrettyConfigClassic configName) (Term tyname name uni fun ann) Source #
Instance details Defined in PlutusCore.Core.Instance.Pretty.Classic Methods prettyBy :: PrettyConfigClassic configName -> Term tyname name uni fun ann -> Doc ann0 # prettyListBy :: PrettyConfigClassic configName -> [Term tyname name uni fun ann] -> Doc ann0 #
AsTypeError (Error uni fun ann) (Term TyName Name uni fun ()) uni fun ann Source #
Instance details Defined in PlutusCore.Error Methods _TypeError :: Prism' (Error uni fun ann) (TypeError (Term TyName Name uni fun ()) uni fun ann) Source # _KindMismatch :: Prism' (Error uni fun ann) (ann, Type TyName uni (), Kind (), Kind ()) Source # _TypeMismatch :: Prism' (Error uni fun ann) (ann, Term TyName Name uni fun (), Type TyName uni (), Normalized (Type TyName uni ())) Source # _FreeTypeVariableE :: Prism' (Error uni fun ann) (ann, TyName) Source # _FreeVariableE :: Prism' (Error uni fun ann) (ann, Name) Source # _UnknownBuiltinFunctionE :: Prism' (Error uni fun ann) (ann, fun) Source #
Functor (Term tyname name uni fun) Source #
Instance details Defined in PlutusCore.Core.Type Methods fmap :: (a -> b) -> Term tyname name uni fun a -> Term tyname name uni fun b Source # (<$) :: a -> Term tyname name uni fun b -> Term tyname name uni fun a Source #
(tyname ~ TyName, name ~ Name) => CollectScopeInfo (Term tyname name uni fun) Source #
Instance details Defined in PlutusCore.Core.Instance.Scoping Methods collectScopeInfo :: Term tyname name uni fun NameAnn -> ScopeErrorOrInfo Source #
(tyname ~ TyName, name ~ Name) => EstablishScoping (Term tyname name uni fun) Source #
Instance details Defined in PlutusCore.Core.Instance.Scoping Methods establishScoping :: Term tyname name uni fun ann -> Quote (Term tyname name uni fun NameAnn) Source #
TermLike (Term tyname name uni fun) tyname name uni fun Source #
Instance details Defined in PlutusCore.MkPlc Methods var :: ann -> name -> Term tyname name uni fun ann Source # tyAbs :: ann -> tyname -> Kind ann -> Term tyname name uni fun ann -> Term tyname name uni fun ann Source # lamAbs :: ann -> name -> Type tyname uni ann -> Term tyname name uni fun ann -> Term tyname name uni fun ann Source # apply :: ann -> Term tyname name uni fun ann -> Term tyname name uni fun ann -> Term tyname name uni fun ann Source # constant :: ann -> Some (ValueOf uni) -> Term tyname name uni fun ann Source # builtin :: ann -> fun -> Term tyname name uni fun ann Source # tyInst :: ann -> Term tyname name uni fun ann -> Type tyname uni ann -> Term tyname name uni fun ann Source # unwrap :: ann -> Term tyname name uni fun ann -> Term tyname name uni fun ann Source # iWrap :: ann -> Type tyname uni ann -> Type tyname uni ann -> Term tyname name uni fun ann -> Term tyname name uni fun ann Source # error :: ann -> Type tyname uni ann -> Term tyname name uni fun ann Source # termLet :: ann -> TermDef (Term tyname name uni fun) tyname name uni fun ann -> Term tyname name uni fun ann -> Term tyname name uni fun ann Source # typeLet :: ann -> TypeDef tyname uni ann -> Term tyname name uni fun ann -> Term tyname name uni fun ann Source #
(GEq uni, Closed uni, Everywhere uni Eq, Eq fun, Eq ann) => Eq (Term TyName Name uni fun ann) Source #
Instance details Defined in PlutusCore.Core.Instance.Eq Methods (==) :: Term TyName Name uni fun ann -> Term TyName Name uni fun ann -> Bool Source # (/=) :: Term TyName Name uni fun ann -> Term TyName Name uni fun ann -> Bool Source #
(GEq uni, Closed uni, Everywhere uni Eq, Eq fun, Eq ann) => Eq (Term TyDeBruijn DeBruijn uni fun ann) Source #
Instance details Defined in PlutusCore.Core.Instance.Eq Methods (==) :: Term TyDeBruijn DeBruijn uni fun ann -> Term TyDeBruijn DeBruijn uni fun ann -> Bool Source # (/=) :: Term TyDeBruijn DeBruijn uni fun ann -> Term TyDeBruijn DeBruijn uni fun ann -> Bool Source #
(GEq uni, Closed uni, Everywhere uni Eq, Eq fun, Eq ann) => Eq (Term NamedTyDeBruijn NamedDeBruijn uni fun ann) Source #
Instance details Defined in PlutusCore.Core.Instance.Eq Methods (==) :: Term NamedTyDeBruijn NamedDeBruijn uni fun ann -> Term NamedTyDeBruijn NamedDeBruijn uni fun ann -> Bool Source # (/=) :: Term NamedTyDeBruijn NamedDeBruijn uni fun ann -> Term NamedTyDeBruijn NamedDeBruijn uni fun ann -> Bool Source #
(Everywhere uni Show, GShow uni, Closed uni, Show ann, Show name, Show tyname, Show fun) => Show (Term tyname name uni fun ann) Source #
Instance details Defined in PlutusCore.Core.Type Methods showsPrec :: Int -> Term tyname name uni fun ann -> ShowS Source # show :: Term tyname name uni fun ann -> String Source # showList :: [Term tyname name uni fun ann] -> ShowS Source #
Generic (Term tyname name uni fun ann) Source #
Instance details Defined in PlutusCore.Core.Type Associated Types type Rep (Term tyname name uni fun ann) :: Type -> Type Source # Methods from :: Term tyname name uni fun ann -> Rep (Term tyname name uni fun ann) x Source # to :: Rep (Term tyname name uni fun ann) x -> Term tyname name uni fun ann Source #
(Everywhere uni NFData, Closed uni, NFData ann, NFData name, NFData tyname, NFData fun) => NFData (Term tyname name uni fun ann) Source #
Instance details Defined in PlutusCore.Core.Type Methods rnf :: Term tyname name uni fun ann -> () Source #
(PrettyClassic tyname, PrettyClassic name, GShow uni, Closed uni, Everywhere uni PrettyConst, Pretty fun, Pretty ann) => Pretty (Term tyname name uni fun ann) Source #
Instance details Defined in PlutusCore.Core.Instance.Pretty.Default Methods pretty :: Term tyname name uni fun ann -> Doc ann0 # prettyList :: [Term tyname name uni fun ann] -> Doc ann0 #
Corecursive (Term tyname name uni fun ann)
Instance details Defined in PlutusCore.Core.Instance.Recursive Methods embed :: Base (Term tyname name uni fun ann) (Term tyname name uni fun ann) -> Term tyname name uni fun ann ana :: (a -> Base (Term tyname name uni fun ann) a) -> a -> Term tyname name uni fun ann apo :: (a -> Base (Term tyname name uni fun ann) (Either (Term tyname name uni fun ann) a)) -> a -> Term tyname name uni fun ann postpro :: Recursive (Term tyname name uni fun ann) => (forall b. Base (Term tyname name uni fun ann) b -> Base (Term tyname name uni fun ann) b) -> (a -> Base (Term tyname name uni fun ann) a) -> a -> Term tyname name uni fun ann gpostpro :: (Recursive (Term tyname name uni fun ann), Monad m) => (forall b. m (Base (Term tyname name uni fun ann) b) -> Base (Term tyname name uni fun ann) (m b)) -> (forall c. Base (Term tyname name uni fun ann) c -> Base (Term tyname name uni fun ann) c) -> (a -> Base (Term tyname name uni fun ann) (m a)) -> a -> Term tyname name uni fun ann
Recursive (Term tyname name uni fun ann)
Instance details Defined in PlutusCore.Core.Instance.Recursive Methods project :: Term tyname name uni fun ann -> Base (Term tyname name uni fun ann) (Term tyname name uni fun ann) cata :: (Base (Term tyname name uni fun ann) a -> a) -> Term tyname name uni fun ann -> a para :: (Base (Term tyname name uni fun ann) (Term tyname name uni fun ann, a) -> a) -> Term tyname name uni fun ann -> a gpara :: (Corecursive (Term tyname name uni fun ann), Comonad w) => (forall b. Base (Term tyname name uni fun ann) (w b) -> w (Base (Term tyname name uni fun ann) b)) -> (Base (Term tyname name uni fun ann) (EnvT (Term tyname name uni fun ann) w a) -> a) -> Term tyname name uni fun ann -> a prepro :: Corecursive (Term tyname name uni fun ann) => (forall b. Base (Term tyname name uni fun ann) b -> Base (Term tyname name uni fun ann) b) -> (Base (Term tyname name uni fun ann) a -> a) -> Term tyname name uni fun ann -> a gprepro :: (Corecursive (Term tyname name uni fun ann), Comonad w) => (forall b. Base (Term tyname name uni fun ann) (w b) -> w (Base (Term tyname name uni fun ann) b)) -> (forall c. Base (Term tyname name uni fun ann) c -> Base (Term tyname name uni fun ann) c) -> (Base (Term tyname name uni fun ann) (w a) -> a) -> Term tyname name uni fun ann -> a
(Closed uni, Everywhere uni Flat, Flat fun, Flat ann, Flat tyname, Flat name) => Flat (Term tyname name uni fun ann)
Instance details Defined in PlutusCore.Flat Methods encode :: Term tyname name uni fun ann -> Encoding decode :: Get (Term tyname name uni fun ann) size :: Term tyname name uni fun ann -> NumBits -> NumBits
HasUniques (Term tyname name uni fun ann) => Rename (Term tyname name uni fun ann) Source #
Instance details Defined in PlutusCore.Rename Methods rename :: MonadQuote m => Term tyname name uni fun ann -> m (Term tyname name uni fun ann) Source #
HasConstant (Term TyName Name uni fun ()) Source #
Instance details Defined in PlutusCore.Builtin.HasConstant Methods asConstant :: AsUnliftingError err => Maybe cause -> Term TyName Name uni fun () -> Either (ErrorWithCause err cause) (Some (ValueOf (UniOf (Term TyName Name uni fun ())))) Source # fromConstant :: Some (ValueOf (UniOf (Term TyName Name uni fun ()))) -> Term TyName Name uni fun () Source #
type Rep (Term tyname name uni fun ann) Source #
Instance details Defined in PlutusCore.Core.Type type Rep (Term tyname name uni fun ann) = D1 ('MetaData "Term" "PlutusCore.Core.Type" "plutus-core-1.0.0.1-6wMiyL0yerXJu56t8zBoKx" 'False) (((C1 ('MetaCons "Var" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ann) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 name)) :+: C1 ('MetaCons "TyAbs" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ann) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 tyname)) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Kind ann)) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term tyname name uni fun ann))))) :+: (C1 ('MetaCons "LamAbs" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ann) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 name)) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Type tyname uni ann)) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term tyname name uni fun ann)))) :+: (C1 ('MetaCons "Apply" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ann) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term tyname name uni fun ann)) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term tyname name uni fun ann)))) :+: C1 ('MetaCons "Constant" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ann) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Some (ValueOf uni))))))) :+: ((C1 ('MetaCons "Builtin" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ann) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 fun)) :+: C1 ('MetaCons "TyInst" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ann) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term tyname name uni fun ann)) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Type tyname uni ann))))) :+: (C1 ('MetaCons "Unwrap" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ann) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term tyname name uni fun ann))) :+: (C1 ('MetaCons "IWrap" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ann) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Type tyname uni ann))) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Type tyname uni ann)) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term tyname name uni fun ann)))) :+: C1 ('MetaCons "Error" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ann) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Type tyname uni ann)))))))
type Base (Term tyname name uni fun ann)
Instance details Defined in PlutusCore.Core.Instance.Recursive type Base (Term tyname name uni fun ann) = TermF tyname name uni fun ann
type UniOf (Term tyname name uni fun ann) Source #
Instance details Defined in PlutusCore.Core.Type type UniOf (Term tyname name uni fun ann) = uni
type HasUniques (Term tyname name uni fun ann) Source #
Instance details Defined in PlutusCore.Core.Type type HasUniques (Term tyname name uni fun ann) = (HasUnique tyname TypeUnique, HasUnique name TermUnique)

termSubterms :: Traversal' (Term tyname name uni fun ann) (Term tyname name uni fun ann) Source #

Get all the direct child Terms of the given Term.

termSubtypes :: Traversal' (Term tyname name uni fun ann) (Type tyname uni ann) Source #

Get all the direct child Types of the given Term.

type family UniOf a :: Type -> Type Source #

Extract the universe from a type.

Instances

Instances details

type UniOf (Opaque val rep) Source #
Instance details Defined in PlutusCore.Builtin.Polymorphism type UniOf (Opaque val rep) = UniOf val
type UniOf (CkValue uni fun) Source #
Instance details Defined in PlutusCore.Evaluation.Machine.Ck type UniOf (CkValue uni fun) = uni
type UniOf (CekValue uni fun) Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.Internal type UniOf (CekValue uni fun) = uni
type UniOf (Term name uni fun ann) Source #
Instance details Defined in UntypedPlutusCore.Core.Type type UniOf (Term name uni fun ann) = uni
type UniOf (Term tyname name uni fun ann) Source #
Instance details Defined in PlutusCore.Core.Type type UniOf (Term tyname name uni fun ann) = uni
type UniOf (Term tyname name uni fun ann) Source #
Instance details Defined in PlutusIR.Core.Type type UniOf (Term tyname name uni fun ann) = uni

data Type tyname uni ann Source #

A Type assigned to expressions.

Constructors

TyVar ann tyname
TyFun ann (Type tyname uni ann) (Type tyname uni ann)
TyIFix ann (Type tyname uni ann) (Type tyname uni ann)	Fix-point type, for constructing self-recursive types
TyForall ann tyname (Kind ann) (Type tyname uni ann)
TyBuiltin ann (SomeTypeIn uni)	Builtin type
TyLam ann tyname (Kind ann) (Type tyname uni ann)
TyApp ann (Type tyname uni ann) (Type tyname uni ann)

Instances

Instances details

tyname ~ TyName => Reference TyName (Type tyname uni) Source #
Instance details Defined in PlutusCore.Core.Instance.Scoping Methods referenceVia :: (forall name. ToScopedName name => name -> NameAnn) -> TyName -> Type tyname uni NameAnn -> Type tyname uni NameAnn Source #
DefaultPrettyPlcStrategy (Type tyname uni ann) => PrettyBy PrettyConfigPlc (Type tyname uni ann) Source #
Instance details Defined in PlutusCore.Core.Instance.Pretty.Plc Methods prettyBy :: PrettyConfigPlc -> Type tyname uni ann -> Doc ann0 # prettyListBy :: PrettyConfigPlc -> [Type tyname uni ann] -> Doc ann0 #
(PrettyReadableBy configName tyname, GShow uni) => PrettyBy (PrettyConfigReadable configName) (Type tyname uni a) Source #
Instance details Defined in PlutusCore.Core.Instance.Pretty.Readable Methods prettyBy :: PrettyConfigReadable configName -> Type tyname uni a -> Doc ann # prettyListBy :: PrettyConfigReadable configName -> [Type tyname uni a] -> Doc ann #
(PrettyClassicBy configName tyname, GShow uni, Pretty ann) => PrettyBy (PrettyConfigClassic configName) (Type tyname uni ann) Source #
Instance details Defined in PlutusCore.Core.Instance.Pretty.Classic Methods prettyBy :: PrettyConfigClassic configName -> Type tyname uni ann -> Doc ann0 # prettyListBy :: PrettyConfigClassic configName -> [Type tyname uni ann] -> Doc ann0 #
Functor (Type tyname uni) Source #
Instance details Defined in PlutusCore.Core.Type Methods fmap :: (a -> b) -> Type tyname uni a -> Type tyname uni b Source # (<$) :: a -> Type tyname uni b -> Type tyname uni a Source #
tyname ~ TyName => CollectScopeInfo (Type tyname uni) Source #
Instance details Defined in PlutusCore.Core.Instance.Scoping Methods collectScopeInfo :: Type tyname uni NameAnn -> ScopeErrorOrInfo Source #
tyname ~ TyName => EstablishScoping (Type tyname uni) Source #
Instance details Defined in PlutusCore.Core.Instance.Scoping Methods establishScoping :: Type tyname uni ann -> Quote (Type tyname uni NameAnn) Source #
(GEq uni, Eq ann) => Eq (Type TyName uni ann) Source #
Instance details Defined in PlutusCore.Core.Instance.Eq Methods (==) :: Type TyName uni ann -> Type TyName uni ann -> Bool Source # (/=) :: Type TyName uni ann -> Type TyName uni ann -> Bool Source #
(GEq uni, Closed uni, Everywhere uni Eq, Eq ann) => Eq (Type TyDeBruijn uni ann) Source #
Instance details Defined in PlutusCore.Core.Instance.Eq Methods (==) :: Type TyDeBruijn uni ann -> Type TyDeBruijn uni ann -> Bool Source # (/=) :: Type TyDeBruijn uni ann -> Type TyDeBruijn uni ann -> Bool Source #
(GEq uni, Closed uni, Everywhere uni Eq, Eq ann) => Eq (Type NamedTyDeBruijn uni ann) Source #
Instance details Defined in PlutusCore.Core.Instance.Eq Methods (==) :: Type NamedTyDeBruijn uni ann -> Type NamedTyDeBruijn uni ann -> Bool Source # (/=) :: Type NamedTyDeBruijn uni ann -> Type NamedTyDeBruijn uni ann -> Bool Source #
(Show ann, Show tyname, GShow uni) => Show (Type tyname uni ann) Source #
Instance details Defined in PlutusCore.Core.Type Methods showsPrec :: Int -> Type tyname uni ann -> ShowS Source # show :: Type tyname uni ann -> String Source # showList :: [Type tyname uni ann] -> ShowS Source #
Generic (Type tyname uni ann) Source #
Instance details Defined in PlutusCore.Core.Type Associated Types type Rep (Type tyname uni ann) :: Type -> Type Source # Methods from :: Type tyname uni ann -> Rep (Type tyname uni ann) x Source # to :: Rep (Type tyname uni ann) x -> Type tyname uni ann Source #
(NFData ann, NFData tyname, Closed uni) => NFData (Type tyname uni ann) Source #
Instance details Defined in PlutusCore.Core.Type Methods rnf :: Type tyname uni ann -> () Source #
(PrettyClassic tyname, GShow uni, Pretty ann) => Pretty (Type tyname uni ann) Source #
Instance details Defined in PlutusCore.Core.Instance.Pretty.Default Methods pretty :: Type tyname uni ann -> Doc ann0 # prettyList :: [Type tyname uni ann] -> Doc ann0 #
Corecursive (Type tyname uni ann)
Instance details Defined in PlutusCore.Core.Instance.Recursive Methods embed :: Base (Type tyname uni ann) (Type tyname uni ann) -> Type tyname uni ann ana :: (a -> Base (Type tyname uni ann) a) -> a -> Type tyname uni ann apo :: (a -> Base (Type tyname uni ann) (Either (Type tyname uni ann) a)) -> a -> Type tyname uni ann postpro :: Recursive (Type tyname uni ann) => (forall b. Base (Type tyname uni ann) b -> Base (Type tyname uni ann) b) -> (a -> Base (Type tyname uni ann) a) -> a -> Type tyname uni ann gpostpro :: (Recursive (Type tyname uni ann), Monad m) => (forall b. m (Base (Type tyname uni ann) b) -> Base (Type tyname uni ann) (m b)) -> (forall c. Base (Type tyname uni ann) c -> Base (Type tyname uni ann) c) -> (a -> Base (Type tyname uni ann) (m a)) -> a -> Type tyname uni ann
Recursive (Type tyname uni ann)
Instance details Defined in PlutusCore.Core.Instance.Recursive Methods project :: Type tyname uni ann -> Base (Type tyname uni ann) (Type tyname uni ann) cata :: (Base (Type tyname uni ann) a -> a) -> Type tyname uni ann -> a para :: (Base (Type tyname uni ann) (Type tyname uni ann, a) -> a) -> Type tyname uni ann -> a gpara :: (Corecursive (Type tyname uni ann), Comonad w) => (forall b. Base (Type tyname uni ann) (w b) -> w (Base (Type tyname uni ann) b)) -> (Base (Type tyname uni ann) (EnvT (Type tyname uni ann) w a) -> a) -> Type tyname uni ann -> a prepro :: Corecursive (Type tyname uni ann) => (forall b. Base (Type tyname uni ann) b -> Base (Type tyname uni ann) b) -> (Base (Type tyname uni ann) a -> a) -> Type tyname uni ann -> a gprepro :: (Corecursive (Type tyname uni ann), Comonad w) => (forall b. Base (Type tyname uni ann) (w b) -> w (Base (Type tyname uni ann) b)) -> (forall c. Base (Type tyname uni ann) c -> Base (Type tyname uni ann) c) -> (Base (Type tyname uni ann) (w a) -> a) -> Type tyname uni ann -> a
(Closed uni, Flat ann, Flat tyname) => Flat (Type tyname uni ann)
Instance details Defined in PlutusCore.Flat Methods encode :: Type tyname uni ann -> Encoding decode :: Get (Type tyname uni ann) size :: Type tyname uni ann -> NumBits -> NumBits
HasUniques (Type tyname uni ann) => Rename (Type tyname uni ann) Source #
Instance details Defined in PlutusCore.Rename Methods rename :: MonadQuote m => Type tyname uni ann -> m (Type tyname uni ann) Source #
type Rep (Type tyname uni ann) Source #
Instance details Defined in PlutusCore.Core.Type type Rep (Type tyname uni ann) = D1 ('MetaData "Type" "PlutusCore.Core.Type" "plutus-core-1.0.0.1-6wMiyL0yerXJu56t8zBoKx" 'False) ((C1 ('MetaCons "TyVar" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ann) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 tyname)) :+: (C1 ('MetaCons "TyFun" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ann) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Type tyname uni ann)) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Type tyname uni ann)))) :+: C1 ('MetaCons "TyIFix" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ann) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Type tyname uni ann)) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Type tyname uni ann)))))) :+: ((C1 ('MetaCons "TyForall" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ann) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 tyname)) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Kind ann)) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Type tyname uni ann)))) :+: C1 ('MetaCons "TyBuiltin" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ann) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SomeTypeIn uni)))) :+: (C1 ('MetaCons "TyLam" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ann) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 tyname)) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Kind ann)) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Type tyname uni ann)))) :+: C1 ('MetaCons "TyApp" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ann) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Type tyname uni ann)) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Type tyname uni ann)))))))
type Base (Type tyname uni ann)
Instance details Defined in PlutusCore.Core.Instance.Recursive type Base (Type tyname uni ann) = TypeF tyname uni ann
type HasUniques (Type tyname uni ann) Source #
Instance details Defined in PlutusCore.Core.Type type HasUniques (Type tyname uni ann) = HasUnique tyname TypeUnique

typeSubtypes :: Traversal' (Type tyname uni ann) (Type tyname uni ann) Source #

Get all the direct child Types of the given Type.

data Kind ann Source #

Constructors

Type ann
KindArrow ann (Kind ann) (Kind ann)

Instances

Instances details

Functor Kind Source #
Instance details Defined in PlutusCore.Core.Type Methods fmap :: (a -> b) -> Kind a -> Kind b Source # (<$) :: a -> Kind b -> Kind a Source #
CollectScopeInfo Kind Source #
Instance details Defined in PlutusCore.Core.Instance.Scoping Methods collectScopeInfo :: Kind NameAnn -> ScopeErrorOrInfo Source #
EstablishScoping Kind Source #
Instance details Defined in PlutusCore.Core.Instance.Scoping Methods establishScoping :: Kind ann -> Quote (Kind NameAnn) Source #
Lift ann => Lift (Kind ann :: Type) Source #
Instance details Defined in PlutusCore.Core.Type Methods lift :: Kind ann -> Q Exp Source # liftTyped :: Kind ann -> Q (TExp (Kind ann)) Source #
DefaultPrettyPlcStrategy (Kind ann) => PrettyBy PrettyConfigPlc (Kind ann) Source #
Instance details Defined in PlutusCore.Core.Instance.Pretty.Plc Methods prettyBy :: PrettyConfigPlc -> Kind ann -> Doc ann0 # prettyListBy :: PrettyConfigPlc -> [Kind ann] -> Doc ann0 #
Eq ann => Eq (Kind ann) Source #
Instance details Defined in PlutusCore.Core.Type Methods (==) :: Kind ann -> Kind ann -> Bool Source # (/=) :: Kind ann -> Kind ann -> Bool Source #
Show ann => Show (Kind ann) Source #
Instance details Defined in PlutusCore.Core.Type Methods showsPrec :: Int -> Kind ann -> ShowS Source # show :: Kind ann -> String Source # showList :: [Kind ann] -> ShowS Source #
Generic (Kind ann) Source #
Instance details Defined in PlutusCore.Core.Type Associated Types type Rep (Kind ann) :: Type -> Type Source # Methods from :: Kind ann -> Rep (Kind ann) x Source # to :: Rep (Kind ann) x -> Kind ann Source #
NFData ann => NFData (Kind ann) Source #
Instance details Defined in PlutusCore.Core.Type Methods rnf :: Kind ann -> () Source #
Hashable ann => Hashable (Kind ann) Source #
Instance details Defined in PlutusCore.Core.Type Methods hashWithSalt :: Int -> Kind ann -> Int hash :: Kind ann -> Int
Pretty ann => Pretty (Kind ann) Source #
Instance details Defined in PlutusCore.Core.Instance.Pretty.Default Methods pretty :: Kind ann -> Doc ann0 # prettyList :: [Kind ann] -> Doc ann0 #
Corecursive (Kind ann)
Instance details Defined in PlutusCore.Core.Instance.Recursive Methods embed :: Base (Kind ann) (Kind ann) -> Kind ann ana :: (a -> Base (Kind ann) a) -> a -> Kind ann apo :: (a -> Base (Kind ann) (Either (Kind ann) a)) -> a -> Kind ann postpro :: Recursive (Kind ann) => (forall b. Base (Kind ann) b -> Base (Kind ann) b) -> (a -> Base (Kind ann) a) -> a -> Kind ann gpostpro :: (Recursive (Kind ann), Monad m) => (forall b. m (Base (Kind ann) b) -> Base (Kind ann) (m b)) -> (forall c. Base (Kind ann) c -> Base (Kind ann) c) -> (a -> Base (Kind ann) (m a)) -> a -> Kind ann
Recursive (Kind ann)
Instance details Defined in PlutusCore.Core.Instance.Recursive Methods project :: Kind ann -> Base (Kind ann) (Kind ann) cata :: (Base (Kind ann) a -> a) -> Kind ann -> a para :: (Base (Kind ann) (Kind ann, a) -> a) -> Kind ann -> a gpara :: (Corecursive (Kind ann), Comonad w) => (forall b. Base (Kind ann) (w b) -> w (Base (Kind ann) b)) -> (Base (Kind ann) (EnvT (Kind ann) w a) -> a) -> Kind ann -> a prepro :: Corecursive (Kind ann) => (forall b. Base (Kind ann) b -> Base (Kind ann) b) -> (Base (Kind ann) a -> a) -> Kind ann -> a gprepro :: (Corecursive (Kind ann), Comonad w) => (forall b. Base (Kind ann) (w b) -> w (Base (Kind ann) b)) -> (forall c. Base (Kind ann) c -> Base (Kind ann) c) -> (Base (Kind ann) (w a) -> a) -> Kind ann -> a
Flat ann => Flat (Kind ann)
Instance details Defined in PlutusCore.Flat Methods encode :: Kind ann -> Encoding decode :: Get (Kind ann) size :: Kind ann -> NumBits -> NumBits
PrettyBy (PrettyConfigReadable configName) (Kind a) Source #
Instance details Defined in PlutusCore.Core.Instance.Pretty.Readable Methods prettyBy :: PrettyConfigReadable configName -> Kind a -> Doc ann # prettyListBy :: PrettyConfigReadable configName -> [Kind a] -> Doc ann #
Pretty ann => PrettyBy (PrettyConfigClassic configName) (Kind ann) Source #
Instance details Defined in PlutusCore.Core.Instance.Pretty.Classic Methods prettyBy :: PrettyConfigClassic configName -> Kind ann -> Doc ann0 # prettyListBy :: PrettyConfigClassic configName -> [Kind ann] -> Doc ann0 #
type Rep (Kind ann) Source #
Instance details Defined in PlutusCore.Core.Type type Rep (Kind ann) = D1 ('MetaData "Kind" "PlutusCore.Core.Type" "plutus-core-1.0.0.1-6wMiyL0yerXJu56t8zBoKx" 'False) (C1 ('MetaCons "Type" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ann)) :+: C1 ('MetaCons "KindArrow" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ann) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Kind ann)) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Kind ann)))))
type Base (Kind ann)
Instance details Defined in PlutusCore.Core.Instance.Recursive type Base (Kind ann) = KindF ann
type HasUniques (Kind ann) Source #
Instance details Defined in PlutusCore.Core.Type type HasUniques (Kind ann) = ()

data ParseError Source #

An error encountered during parsing.

Constructors

UnknownBuiltinType Text SourcePos
BuiltinTypeNotAStar Text SourcePos
UnknownBuiltinFunction Text SourcePos
InvalidBuiltinConstant Text Text SourcePos

Instances

Instances details

Eq ParseError Source #
Instance details Defined in PlutusCore.Error Methods (==) :: ParseError -> ParseError -> Bool Source # (/=) :: ParseError -> ParseError -> Bool Source #
Ord ParseError Source #
Instance details Defined in PlutusCore.Error Methods compare :: ParseError -> ParseError -> Ordering Source # (<) :: ParseError -> ParseError -> Bool Source # (<=) :: ParseError -> ParseError -> Bool Source # (>) :: ParseError -> ParseError -> Bool Source # (>=) :: ParseError -> ParseError -> Bool Source # max :: ParseError -> ParseError -> ParseError Source # min :: ParseError -> ParseError -> ParseError Source #
Show ParseError Source #
Instance details Defined in PlutusCore.Error Methods showsPrec :: Int -> ParseError -> ShowS Source # show :: ParseError -> String Source # showList :: [ParseError] -> ShowS Source #
Generic ParseError Source #
Instance details Defined in PlutusCore.Error Associated Types type Rep ParseError :: Type -> Type Source # Methods from :: ParseError -> Rep ParseError x Source # to :: Rep ParseError x -> ParseError Source #
NFData ParseError Source #
Instance details Defined in PlutusCore.Error Methods rnf :: ParseError -> () Source #
Pretty ParseError Source #
Instance details Defined in PlutusCore.Error Methods pretty :: ParseError -> Doc ann # prettyList :: [ParseError] -> Doc ann #
HasErrorCode ParseError Source #
Instance details Defined in PlutusCore.Error Methods errorCode :: ParseError -> ErrorCode Source #
ShowErrorComponent ParseError Source #
Instance details Defined in PlutusCore.Error Methods showErrorComponent :: ParseError -> String # errorComponentLen :: ParseError -> Int
AsParseError ParseError Source #
Instance details Defined in PlutusCore.Error Methods _ParseError :: Prism' ParseError ParseError Source # _UnknownBuiltinType :: Prism' ParseError (Text, SourcePos) Source # _BuiltinTypeNotAStar :: Prism' ParseError (Text, SourcePos) Source # _UnknownBuiltinFunction :: Prism' ParseError (Text, SourcePos) Source # _InvalidBuiltinConstant :: Prism' ParseError (Text, Text, SourcePos) Source #
type Rep ParseError Source #
Instance details Defined in PlutusCore.Error type Rep ParseError = D1 ('MetaData "ParseError" "PlutusCore.Error" "plutus-core-1.0.0.1-6wMiyL0yerXJu56t8zBoKx" 'False) ((C1 ('MetaCons "UnknownBuiltinType" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourcePos)) :+: C1 ('MetaCons "BuiltinTypeNotAStar" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourcePos))) :+: (C1 ('MetaCons "UnknownBuiltinFunction" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourcePos)) :+: C1 ('MetaCons "InvalidBuiltinConstant" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourcePos)))))

data Version ann Source #

Version of Plutus Core to be used for the program.

Constructors

Version ann Natural Natural Natural

Instances

Instances details

Functor Version Source #
Instance details Defined in PlutusCore.Core.Type Methods fmap :: (a -> b) -> Version a -> Version b Source # (<$) :: a -> Version b -> Version a Source #
Eq ann => Eq (Version ann) Source #
Instance details Defined in PlutusCore.Core.Type Methods (==) :: Version ann -> Version ann -> Bool Source # (/=) :: Version ann -> Version ann -> Bool Source #
Show ann => Show (Version ann) Source #
Instance details Defined in PlutusCore.Core.Type Methods showsPrec :: Int -> Version ann -> ShowS Source # show :: Version ann -> String Source # showList :: [Version ann] -> ShowS Source #
Generic (Version ann) Source #
Instance details Defined in PlutusCore.Core.Type Associated Types type Rep (Version ann) :: Type -> Type Source # Methods from :: Version ann -> Rep (Version ann) x Source # to :: Rep (Version ann) x -> Version ann Source #
NFData ann => NFData (Version ann) Source #
Instance details Defined in PlutusCore.Core.Type Methods rnf :: Version ann -> () Source #
Hashable ann => Hashable (Version ann) Source #
Instance details Defined in PlutusCore.Core.Type Methods hashWithSalt :: Int -> Version ann -> Int hash :: Version ann -> Int
Pretty (Version ann) Source #
Instance details Defined in PlutusCore.Core.Instance.Pretty.Common Methods pretty :: Version ann -> Doc ann0 # prettyList :: [Version ann] -> Doc ann0 #
Flat ann => Flat (Version ann)
Instance details Defined in PlutusCore.Flat Methods encode :: Version ann -> Encoding decode :: Get (Version ann) size :: Version ann -> NumBits -> NumBits
type Rep (Version ann) Source #
Instance details Defined in PlutusCore.Core.Type type Rep (Version ann) = D1 ('MetaData "Version" "PlutusCore.Core.Type" "plutus-core-1.0.0.1-6wMiyL0yerXJu56t8zBoKx" 'False) (C1 ('MetaCons "Version" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ann) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Natural)) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Natural) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Natural))))

data Program tyname name uni fun ann Source #

A Program is simply a Term coupled with a Version of the core language.

Constructors

Program
Fields _progAnn :: ann _progVer :: Version ann _progTerm :: Term tyname name uni fun ann

Instances

Instances details

DefaultPrettyPlcStrategy (Program tyname name uni fun ann) => PrettyBy PrettyConfigPlc (Program tyname name uni fun ann) Source #
Instance details Defined in PlutusCore.Core.Instance.Pretty.Plc Methods prettyBy :: PrettyConfigPlc -> Program tyname name uni fun ann -> Doc ann0 # prettyListBy :: PrettyConfigPlc -> [Program tyname name uni fun ann] -> Doc ann0 #
PrettyReadableBy configName (Term tyname name uni fun a) => PrettyBy (PrettyConfigReadable configName) (Program tyname name uni fun a) Source #
Instance details Defined in PlutusCore.Core.Instance.Pretty.Readable Methods prettyBy :: PrettyConfigReadable configName -> Program tyname name uni fun a -> Doc ann # prettyListBy :: PrettyConfigReadable configName -> [Program tyname name uni fun a] -> Doc ann #
(PrettyClassicBy configName (Term tyname name uni fun ann), Pretty ann) => PrettyBy (PrettyConfigClassic configName) (Program tyname name uni fun ann) Source #
Instance details Defined in PlutusCore.Core.Instance.Pretty.Classic Methods prettyBy :: PrettyConfigClassic configName -> Program tyname name uni fun ann -> Doc ann0 # prettyListBy :: PrettyConfigClassic configName -> [Program tyname name uni fun ann] -> Doc ann0 #
Functor (Program tyname name uni fun) Source #
Instance details Defined in PlutusCore.Core.Type Methods fmap :: (a -> b) -> Program tyname name uni fun a -> Program tyname name uni fun b Source # (<$) :: a -> Program tyname name uni fun b -> Program tyname name uni fun a Source #
(tyname ~ TyName, name ~ Name) => CollectScopeInfo (Program tyname name uni fun) Source #
Instance details Defined in PlutusCore.Core.Instance.Scoping Methods collectScopeInfo :: Program tyname name uni fun NameAnn -> ScopeErrorOrInfo Source #
(tyname ~ TyName, name ~ Name) => EstablishScoping (Program tyname name uni fun) Source #
Instance details Defined in PlutusCore.Core.Instance.Scoping Methods establishScoping :: Program tyname name uni fun ann -> Quote (Program tyname name uni fun NameAnn) Source #
(GEq uni, Closed uni, Everywhere uni Eq, Eq fun, Eq ann, Eq (Term tyname name uni fun ann)) => Eq (Program tyname name uni fun ann) Source #
Instance details Defined in PlutusCore.Core.Instance.Eq Methods (==) :: Program tyname name uni fun ann -> Program tyname name uni fun ann -> Bool Source # (/=) :: Program tyname name uni fun ann -> Program tyname name uni fun ann -> Bool Source #
(Everywhere uni Show, GShow uni, Closed uni, Show ann, Show name, Show tyname, Show fun) => Show (Program tyname name uni fun ann) Source #
Instance details Defined in PlutusCore.Core.Type Methods showsPrec :: Int -> Program tyname name uni fun ann -> ShowS Source # show :: Program tyname name uni fun ann -> String Source # showList :: [Program tyname name uni fun ann] -> ShowS Source #
Generic (Program tyname name uni fun ann) Source #
Instance details Defined in PlutusCore.Core.Type Associated Types type Rep (Program tyname name uni fun ann) :: Type -> Type Source # Methods from :: Program tyname name uni fun ann -> Rep (Program tyname name uni fun ann) x Source # to :: Rep (Program tyname name uni fun ann) x -> Program tyname name uni fun ann Source #
(Everywhere uni NFData, Closed uni, NFData ann, NFData name, NFData tyname, NFData fun) => NFData (Program tyname name uni fun ann) Source #
Instance details Defined in PlutusCore.Core.Type Methods rnf :: Program tyname name uni fun ann -> () Source #
(PrettyClassic tyname, PrettyClassic name, GShow uni, Closed uni, Everywhere uni PrettyConst, Pretty fun, Pretty ann) => Pretty (Program tyname name uni fun ann) Source #
Instance details Defined in PlutusCore.Core.Instance.Pretty.Default Methods pretty :: Program tyname name uni fun ann -> Doc ann0 # prettyList :: [Program tyname name uni fun ann] -> Doc ann0 #
(Flat ann, Flat (Term tyname name uni fun ann)) => Flat (Program tyname name uni fun ann)
Instance details Defined in PlutusCore.Flat Methods encode :: Program tyname name uni fun ann -> Encoding decode :: Get (Program tyname name uni fun ann) size :: Program tyname name uni fun ann -> NumBits -> NumBits
HasUniques (Program tyname name uni fun ann) => Rename (Program tyname name uni fun ann) Source #
Instance details Defined in PlutusCore.Rename Methods rename :: MonadQuote m => Program tyname name uni fun ann -> m (Program tyname name uni fun ann) Source #
type Rep (Program tyname name uni fun ann) Source #
Instance details Defined in PlutusCore.Core.Type type Rep (Program tyname name uni fun ann) = D1 ('MetaData "Program" "PlutusCore.Core.Type" "plutus-core-1.0.0.1-6wMiyL0yerXJu56t8zBoKx" 'False) (C1 ('MetaCons "Program" 'PrefixI 'True) (S1 ('MetaSel ('Just "_progAnn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ann) :: (S1 ('MetaSel ('Just "_progVer") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Version ann)) :: S1 ('MetaSel ('Just "_progTerm") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term tyname name uni fun ann)))))
type HasUniques (Program tyname name uni fun ann) Source #
Instance details Defined in PlutusCore.Core.Type type HasUniques (Program tyname name uni fun ann) = HasUniques (Term tyname name uni fun ann)

data Name Source #

A Name represents variables/names in Plutus Core.

Constructors

Name
Fields nameString :: Text The identifier name, for use in error messages. nameUnique :: Unique A `Unique` assigned to the name, allowing for cheap comparisons in the compiler.

Instances

Instances details

Eq Name Source #
Instance details Defined in PlutusCore.Name Methods (==) :: Name -> Name -> Bool Source # (/=) :: Name -> Name -> Bool Source #
Ord Name Source #
Instance details Defined in PlutusCore.Name Methods compare :: Name -> Name -> Ordering Source # (<) :: Name -> Name -> Bool Source # (<=) :: Name -> Name -> Bool Source # (>) :: Name -> Name -> Bool Source # (>=) :: Name -> Name -> Bool Source # max :: Name -> Name -> Name Source # min :: Name -> Name -> Name Source #
Show Name Source #
Instance details Defined in PlutusCore.Name Methods showsPrec :: Int -> Name -> ShowS Source # show :: Name -> String Source # showList :: [Name] -> ShowS Source #
Generic Name Source #
Instance details Defined in PlutusCore.Name Associated Types type Rep Name :: Type -> Type Source # Methods from :: Name -> Rep Name x Source # to :: Rep Name x -> Name Source #
NFData Name Source #
Instance details Defined in PlutusCore.Name Methods rnf :: Name -> () Source #
Hashable Name Source #
Instance details Defined in PlutusCore.Name Methods hashWithSalt :: Int -> Name -> Int hash :: Name -> Int
ToScopedName Name Source #
Instance details Defined in PlutusCore.Check.Scoping Methods toScopedName :: Name -> ScopedName Source #
Flat Name
Instance details Defined in PlutusCore.Flat Methods encode :: Name -> Encoding decode :: Get Name size :: Name -> NumBits -> NumBits
Lift Name Source #
Instance details Defined in PlutusCore.Name Methods lift :: Name -> Q Exp Source # liftTyped :: Name -> Q (TExp Name) Source #
HasPrettyConfigName config => PrettyBy config Name Source #
Instance details Defined in PlutusCore.Name Methods prettyBy :: config -> Name -> Doc ann # prettyListBy :: config -> [Name] -> Doc ann #
HasUnique Name TermUnique Source #
Instance details Defined in PlutusCore.Name Methods unique :: Lens' Name TermUnique Source #
name ~ Name => Reference Name (Term tyname name uni fun) Source #
Instance details Defined in PlutusCore.Core.Instance.Scoping Methods referenceVia :: (forall name0. ToScopedName name0 => name0 -> NameAnn) -> Name -> Term tyname name uni fun NameAnn -> Term tyname name uni fun NameAnn Source #
name ~ Name => Reference Name (Term tyname name uni fun) Source #
Instance details Defined in PlutusIR.Core.Instance.Scoping Methods referenceVia :: (forall name0. ToScopedName name0 => name0 -> NameAnn) -> Name -> Term tyname name uni fun NameAnn -> Term tyname name uni fun NameAnn Source #
name ~ Name => Reference Name (Binding tyname name uni fun) Source #	Unlike other `Reference` instances this one does not guarantee that the name will actually be referenced, but it's too convenient to have this instance to give up on it, without it would be awkward to express "reference this binding in this thing".
Instance details Defined in PlutusIR.Core.Instance.Scoping Methods referenceVia :: (forall name0. ToScopedName name0 => name0 -> NameAnn) -> Name -> Binding tyname name uni fun NameAnn -> Binding tyname name uni fun NameAnn Source #
Flat (Binder Name)
Instance details Defined in PlutusCore.Flat Methods encode :: Binder Name -> Encoding decode :: Get (Binder Name) size :: Binder Name -> NumBits -> NumBits
AsTypeError (Error uni fun ann) (Term TyName Name uni fun ()) uni fun ann Source #
Instance details Defined in PlutusCore.Error Methods _TypeError :: Prism' (Error uni fun ann) (TypeError (Term TyName Name uni fun ()) uni fun ann) Source # _KindMismatch :: Prism' (Error uni fun ann) (ann, Type TyName uni (), Kind (), Kind ()) Source # _TypeMismatch :: Prism' (Error uni fun ann) (ann, Term TyName Name uni fun (), Type TyName uni (), Normalized (Type TyName uni ())) Source # _FreeTypeVariableE :: Prism' (Error uni fun ann) (ann, TyName) Source # _FreeVariableE :: Prism' (Error uni fun ann) (ann, Name) Source # _UnknownBuiltinFunctionE :: Prism' (Error uni fun ann) (ann, fun) Source #
AsTypeError (Error uni fun a) (Term TyName Name uni fun ()) uni fun a Source #
Instance details Defined in PlutusIR.Error Methods _TypeError :: Prism' (Error uni fun a) (TypeError (Term TyName Name uni fun ()) uni fun a) Source # _KindMismatch :: Prism' (Error uni fun a) (a, Type TyName uni (), Kind (), Kind ()) Source # _TypeMismatch :: Prism' (Error uni fun a) (a, Term TyName Name uni fun (), Type TyName uni (), Normalized (Type TyName uni ())) Source # _FreeTypeVariableE :: Prism' (Error uni fun a) (a, TyName) Source # _FreeVariableE :: Prism' (Error uni fun a) (a, Name) Source # _UnknownBuiltinFunctionE :: Prism' (Error uni fun a) (a, fun) Source #
(GEq uni, Closed uni, Everywhere uni Eq, Eq fun, Eq ann) => Eq (Term Name uni fun ann) Source #
Instance details Defined in UntypedPlutusCore.Core.Instance.Eq Methods (==) :: Term Name uni fun ann -> Term Name uni fun ann -> Bool Source # (/=) :: Term Name uni fun ann -> Term Name uni fun ann -> Bool Source #
(GEq uni, Closed uni, Everywhere uni Eq, Eq fun, Eq ann) => Eq (Term TyName Name uni fun ann) Source #
Instance details Defined in PlutusCore.Core.Instance.Eq Methods (==) :: Term TyName Name uni fun ann -> Term TyName Name uni fun ann -> Bool Source # (/=) :: Term TyName Name uni fun ann -> Term TyName Name uni fun ann -> Bool Source #
HasConstant (Term TyName Name uni fun ()) Source #
Instance details Defined in PlutusCore.Builtin.HasConstant Methods asConstant :: AsUnliftingError err => Maybe cause -> Term TyName Name uni fun () -> Either (ErrorWithCause err cause) (Some (ValueOf (UniOf (Term TyName Name uni fun ())))) Source # fromConstant :: Some (ValueOf (UniOf (Term TyName Name uni fun ()))) -> Term TyName Name uni fun () Source #
(Reference TyName t, Reference Name t) => Reference (Binding TyName Name uni fun ann) t Source #
Instance details Defined in PlutusIR.Core.Instance.Scoping Methods referenceVia :: (forall name. ToScopedName name => name -> NameAnn) -> Binding TyName Name uni fun ann -> t NameAnn -> t NameAnn Source #
(Reference TyName t, Reference Name t) => Reference (Datatype TyName Name uni fun ann) t Source #
Instance details Defined in PlutusIR.Core.Instance.Scoping Methods referenceVia :: (forall name. ToScopedName name => name -> NameAnn) -> Datatype TyName Name uni fun ann -> t NameAnn -> t NameAnn Source #
type Rep Name Source #
Instance details Defined in PlutusCore.Name type Rep Name = D1 ('MetaData "Name" "PlutusCore.Name" "plutus-core-1.0.0.1-6wMiyL0yerXJu56t8zBoKx" 'False) (C1 ('MetaCons "Name" 'PrefixI 'True) (S1 ('MetaSel ('Just "nameString") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "nameUnique") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Unique)))

newtype TyName Source #

We use a newtype to enforce separation between names used for types and those used for terms.

Constructors

TyName
Fields unTyName :: Name

Instances

Instances details

Eq TyName Source #
Instance details Defined in PlutusCore.Name Methods (==) :: TyName -> TyName -> Bool Source # (/=) :: TyName -> TyName -> Bool Source #
Ord TyName Source #
Instance details Defined in PlutusCore.Name Methods compare :: TyName -> TyName -> Ordering Source # (<) :: TyName -> TyName -> Bool Source # (<=) :: TyName -> TyName -> Bool Source # (>) :: TyName -> TyName -> Bool Source # (>=) :: TyName -> TyName -> Bool Source # max :: TyName -> TyName -> TyName Source # min :: TyName -> TyName -> TyName Source #
Show TyName Source #
Instance details Defined in PlutusCore.Name Methods showsPrec :: Int -> TyName -> ShowS Source # show :: TyName -> String Source # showList :: [TyName] -> ShowS Source #
Generic TyName Source #
Instance details Defined in PlutusCore.Name Associated Types type Rep TyName :: Type -> Type Source # Methods from :: TyName -> Rep TyName x Source # to :: Rep TyName x -> TyName Source #
NFData TyName Source #
Instance details Defined in PlutusCore.Name Methods rnf :: TyName -> () Source #
Hashable TyName Source #
Instance details Defined in PlutusCore.Name Methods hashWithSalt :: Int -> TyName -> Int hash :: TyName -> Int
Wrapped TyName Source #
Instance details Defined in PlutusCore.Name Associated Types type Unwrapped TyName Methods _Wrapped' :: Iso' TyName (Unwrapped TyName)
ToScopedName TyName Source #
Instance details Defined in PlutusCore.Check.Scoping Methods toScopedName :: TyName -> ScopedName Source #
Flat TyName
Instance details Defined in PlutusCore.Flat Methods encode :: TyName -> Encoding decode :: Get TyName size :: TyName -> NumBits -> NumBits
Lift TyName Source #
Instance details Defined in PlutusCore.Name Methods lift :: TyName -> Q Exp Source # liftTyped :: TyName -> Q (TExp TyName) Source #
HasPrettyConfigName config => PrettyBy config TyName Source #
Instance details Defined in PlutusCore.Name Methods prettyBy :: config -> TyName -> Doc ann # prettyListBy :: config -> [TyName] -> Doc ann #
HasUnique TyName TypeUnique Source #
Instance details Defined in PlutusCore.Name Methods unique :: Lens' TyName TypeUnique Source #
tyname ~ TyName => Reference TyName (Type tyname uni) Source #
Instance details Defined in PlutusCore.Core.Instance.Scoping Methods referenceVia :: (forall name. ToScopedName name => name -> NameAnn) -> TyName -> Type tyname uni NameAnn -> Type tyname uni NameAnn Source #
tyname ~ TyName => Reference TyName (Term tyname name uni fun) Source #
Instance details Defined in PlutusCore.Core.Instance.Scoping Methods referenceVia :: (forall name0. ToScopedName name0 => name0 -> NameAnn) -> TyName -> Term tyname name uni fun NameAnn -> Term tyname name uni fun NameAnn Source #
tyname ~ TyName => Reference TyName (Term tyname name uni fun) Source #
Instance details Defined in PlutusIR.Core.Instance.Scoping Methods referenceVia :: (forall name0. ToScopedName name0 => name0 -> NameAnn) -> TyName -> Term tyname name uni fun NameAnn -> Term tyname name uni fun NameAnn Source #
tyname ~ TyName => Reference TyName (Binding tyname name uni fun) Source #
Instance details Defined in PlutusIR.Core.Instance.Scoping Methods referenceVia :: (forall name0. ToScopedName name0 => name0 -> NameAnn) -> TyName -> Binding tyname name uni fun NameAnn -> Binding tyname name uni fun NameAnn Source #
tyname ~ TyName => Reference TyName (Datatype tyname name uni fun) Source #	Scoping for data types is hard, so we employ some extra paranoia and reference the provided `TyName` in the type of every single constructor, and also apply the final head to that `TyName`.
Instance details Defined in PlutusIR.Core.Instance.Scoping Methods referenceVia :: (forall name0. ToScopedName name0 => name0 -> NameAnn) -> TyName -> Datatype tyname name uni fun NameAnn -> Datatype tyname name uni fun NameAnn Source #
tyname ~ TyName => Reference TyName (VarDecl tyname name uni fun) Source #
Instance details Defined in PlutusIR.Core.Instance.Scoping Methods referenceVia :: (forall name0. ToScopedName name0 => name0 -> NameAnn) -> TyName -> VarDecl tyname name uni fun NameAnn -> VarDecl tyname name uni fun NameAnn Source #
Flat (Binder TyName)
Instance details Defined in PlutusCore.Flat Methods encode :: Binder TyName -> Encoding decode :: Get (Binder TyName) size :: Binder TyName -> NumBits -> NumBits
(GEq uni, Eq ann) => Eq (Type TyName uni ann) Source #
Instance details Defined in PlutusCore.Core.Instance.Eq Methods (==) :: Type TyName uni ann -> Type TyName uni ann -> Bool Source # (/=) :: Type TyName uni ann -> Type TyName uni ann -> Bool Source #
TermLike (Term name uni fun) TyName name uni fun Source #
Instance details Defined in UntypedPlutusCore.Core.Type Methods var :: ann -> name -> Term name uni fun ann Source # tyAbs :: ann -> TyName -> Kind ann -> Term name uni fun ann -> Term name uni fun ann Source # lamAbs :: ann -> name -> Type TyName uni ann -> Term name uni fun ann -> Term name uni fun ann Source # apply :: ann -> Term name uni fun ann -> Term name uni fun ann -> Term name uni fun ann Source # constant :: ann -> Some (ValueOf uni) -> Term name uni fun ann Source # builtin :: ann -> fun -> Term name uni fun ann Source # tyInst :: ann -> Term name uni fun ann -> Type TyName uni ann -> Term name uni fun ann Source # unwrap :: ann -> Term name uni fun ann -> Term name uni fun ann Source # iWrap :: ann -> Type TyName uni ann -> Type TyName uni ann -> Term name uni fun ann -> Term name uni fun ann Source # error :: ann -> Type TyName uni ann -> Term name uni fun ann Source # termLet :: ann -> TermDef (Term name uni fun) TyName name uni fun ann -> Term name uni fun ann -> Term name uni fun ann Source # typeLet :: ann -> TypeDef TyName uni ann -> Term name uni fun ann -> Term name uni fun ann Source #
AsTypeError (Error uni fun ann) (Term TyName Name uni fun ()) uni fun ann Source #
Instance details Defined in PlutusCore.Error Methods _TypeError :: Prism' (Error uni fun ann) (TypeError (Term TyName Name uni fun ()) uni fun ann) Source # _KindMismatch :: Prism' (Error uni fun ann) (ann, Type TyName uni (), Kind (), Kind ()) Source # _TypeMismatch :: Prism' (Error uni fun ann) (ann, Term TyName Name uni fun (), Type TyName uni (), Normalized (Type TyName uni ())) Source # _FreeTypeVariableE :: Prism' (Error uni fun ann) (ann, TyName) Source # _FreeVariableE :: Prism' (Error uni fun ann) (ann, Name) Source # _UnknownBuiltinFunctionE :: Prism' (Error uni fun ann) (ann, fun) Source #
AsTypeError (Error uni fun a) (Term TyName Name uni fun ()) uni fun a Source #
Instance details Defined in PlutusIR.Error Methods _TypeError :: Prism' (Error uni fun a) (TypeError (Term TyName Name uni fun ()) uni fun a) Source # _KindMismatch :: Prism' (Error uni fun a) (a, Type TyName uni (), Kind (), Kind ()) Source # _TypeMismatch :: Prism' (Error uni fun a) (a, Term TyName Name uni fun (), Type TyName uni (), Normalized (Type TyName uni ())) Source # _FreeTypeVariableE :: Prism' (Error uni fun a) (a, TyName) Source # _FreeVariableE :: Prism' (Error uni fun a) (a, Name) Source # _UnknownBuiltinFunctionE :: Prism' (Error uni fun a) (a, fun) Source #
(GEq uni, Closed uni, Everywhere uni Eq, Eq fun, Eq ann) => Eq (Term TyName Name uni fun ann) Source #
Instance details Defined in PlutusCore.Core.Instance.Eq Methods (==) :: Term TyName Name uni fun ann -> Term TyName Name uni fun ann -> Bool Source # (/=) :: Term TyName Name uni fun ann -> Term TyName Name uni fun ann -> Bool Source #
HasConstant (Term TyName Name uni fun ()) Source #
Instance details Defined in PlutusCore.Builtin.HasConstant Methods asConstant :: AsUnliftingError err => Maybe cause -> Term TyName Name uni fun () -> Either (ErrorWithCause err cause) (Some (ValueOf (UniOf (Term TyName Name uni fun ())))) Source # fromConstant :: Some (ValueOf (UniOf (Term TyName Name uni fun ()))) -> Term TyName Name uni fun () Source #
(Reference TyName t, Reference Name t) => Reference (Binding TyName Name uni fun ann) t Source #
Instance details Defined in PlutusIR.Core.Instance.Scoping Methods referenceVia :: (forall name. ToScopedName name => name -> NameAnn) -> Binding TyName Name uni fun ann -> t NameAnn -> t NameAnn Source #
(Reference TyName t, Reference Name t) => Reference (Datatype TyName Name uni fun ann) t Source #
Instance details Defined in PlutusIR.Core.Instance.Scoping Methods referenceVia :: (forall name. ToScopedName name => name -> NameAnn) -> Datatype TyName Name uni fun ann -> t NameAnn -> t NameAnn Source #
type Rep TyName Source #
Instance details Defined in PlutusCore.Name type Rep TyName = D1 ('MetaData "TyName" "PlutusCore.Name" "plutus-core-1.0.0.1-6wMiyL0yerXJu56t8zBoKx" 'True) (C1 ('MetaCons "TyName" 'PrefixI 'True) (S1 ('MetaSel ('Just "unTyName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name)))
type Unwrapped TyName Source #
Instance details Defined in PlutusCore.Name type Unwrapped TyName = GUnwrapped (Rep TyName)

newtype Unique Source #

A unique identifier

Constructors

Unique
Fields unUnique :: Int

Instances

Instances details

Enum Unique Source #
Instance details Defined in PlutusCore.Name Methods succ :: Unique -> Unique Source # pred :: Unique -> Unique Source # toEnum :: Int -> Unique Source # fromEnum :: Unique -> Int Source # enumFrom :: Unique -> [Unique] Source # enumFromThen :: Unique -> Unique -> [Unique] Source # enumFromTo :: Unique -> Unique -> [Unique] Source # enumFromThenTo :: Unique -> Unique -> Unique -> [Unique] Source #
Eq Unique Source #
Instance details Defined in PlutusCore.Name Methods (==) :: Unique -> Unique -> Bool Source # (/=) :: Unique -> Unique -> Bool Source #
Ord Unique Source #
Instance details Defined in PlutusCore.Name Methods compare :: Unique -> Unique -> Ordering Source # (<) :: Unique -> Unique -> Bool Source # (<=) :: Unique -> Unique -> Bool Source # (>) :: Unique -> Unique -> Bool Source # (>=) :: Unique -> Unique -> Bool Source # max :: Unique -> Unique -> Unique Source # min :: Unique -> Unique -> Unique Source #
Show Unique Source #
Instance details Defined in PlutusCore.Name Methods showsPrec :: Int -> Unique -> ShowS Source # show :: Unique -> String Source # showList :: [Unique] -> ShowS Source #
NFData Unique Source #
Instance details Defined in PlutusCore.Name Methods rnf :: Unique -> () Source #
Hashable Unique Source #
Instance details Defined in PlutusCore.Name Methods hashWithSalt :: Int -> Unique -> Int hash :: Unique -> Int
Pretty Unique Source #
Instance details Defined in PlutusCore.Name Methods pretty :: Unique -> Doc ann # prettyList :: [Unique] -> Doc ann #
ExMemoryUsage Unique Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods memoryUsage :: Unique -> ExMemory Source #
Flat Unique
Instance details Defined in PlutusCore.Flat Methods encode :: Unique -> Encoding decode :: Get Unique size :: Unique -> NumBits -> NumBits
Lift Unique Source #
Instance details Defined in PlutusCore.Name Methods lift :: Unique -> Q Exp Source # liftTyped :: Unique -> Q (TExp Unique) Source #
HasUnique Unique Unique Source #
Instance details Defined in PlutusCore.Name Methods unique :: Lens' Unique Unique Source #

newtype UniqueMap unique a Source #

A mapping from uniques to values of type a.

Constructors

UniqueMap
Fields unUniqueMap :: IntMap a

Instances

Instances details

Functor (UniqueMap unique) Source #
Instance details Defined in PlutusCore.Name Methods fmap :: (a -> b) -> UniqueMap unique a -> UniqueMap unique b Source # (<$) :: a -> UniqueMap unique b -> UniqueMap unique a Source #
Eq a => Eq (UniqueMap unique a) Source #
Instance details Defined in PlutusCore.Name Methods (==) :: UniqueMap unique a -> UniqueMap unique a -> Bool Source # (/=) :: UniqueMap unique a -> UniqueMap unique a -> Bool Source #
Show a => Show (UniqueMap unique a) Source #
Instance details Defined in PlutusCore.Name Methods showsPrec :: Int -> UniqueMap unique a -> ShowS Source # show :: UniqueMap unique a -> String Source # showList :: [UniqueMap unique a] -> ShowS Source #
Semigroup (UniqueMap unique a) Source #
Instance details Defined in PlutusCore.Name Methods (<>) :: UniqueMap unique a -> UniqueMap unique a -> UniqueMap unique a Source # sconcat :: NonEmpty (UniqueMap unique a) -> UniqueMap unique a Source # stimes :: Integral b => b -> UniqueMap unique a -> UniqueMap unique a Source #
Monoid (UniqueMap unique a) Source #
Instance details Defined in PlutusCore.Name Methods mempty :: UniqueMap unique a Source # mappend :: UniqueMap unique a -> UniqueMap unique a -> UniqueMap unique a Source # mconcat :: [UniqueMap unique a] -> UniqueMap unique a Source #

newtype Normalized a Source #

Constructors

Normalized
Fields unNormalized :: a

Instances

Instances details

Functor Normalized Source #
Instance details Defined in PlutusCore.Core.Type Methods fmap :: (a -> b) -> Normalized a -> Normalized b Source # (<$) :: a -> Normalized b -> Normalized a Source #
Applicative Normalized Source #
Instance details Defined in PlutusCore.Core.Type Methods pure :: a -> Normalized a Source # (<>) :: Normalized (a -> b) -> Normalized a -> Normalized b Source # liftA2 :: (a -> b -> c) -> Normalized a -> Normalized b -> Normalized c Source # (>) :: Normalized a -> Normalized b -> Normalized b Source # (<*) :: Normalized a -> Normalized b -> Normalized a Source #
Foldable Normalized Source #
Instance details Defined in PlutusCore.Core.Type Methods fold :: Monoid m => Normalized m -> m Source # foldMap :: Monoid m => (a -> m) -> Normalized a -> m Source # foldMap' :: Monoid m => (a -> m) -> Normalized a -> m Source # foldr :: (a -> b -> b) -> b -> Normalized a -> b Source # foldr' :: (a -> b -> b) -> b -> Normalized a -> b Source # foldl :: (b -> a -> b) -> b -> Normalized a -> b Source # foldl' :: (b -> a -> b) -> b -> Normalized a -> b Source # foldr1 :: (a -> a -> a) -> Normalized a -> a Source # foldl1 :: (a -> a -> a) -> Normalized a -> a Source # toList :: Normalized a -> [a] Source # null :: Normalized a -> Bool Source # length :: Normalized a -> Int Source # elem :: Eq a => a -> Normalized a -> Bool Source # maximum :: Ord a => Normalized a -> a Source # minimum :: Ord a => Normalized a -> a Source # sum :: Num a => Normalized a -> a Source # product :: Num a => Normalized a -> a Source #
Traversable Normalized Source #
Instance details Defined in PlutusCore.Core.Type Methods traverse :: Applicative f => (a -> f b) -> Normalized a -> f (Normalized b) Source # sequenceA :: Applicative f => Normalized (f a) -> f (Normalized a) Source # mapM :: Monad m => (a -> m b) -> Normalized a -> m (Normalized b) Source # sequence :: Monad m => Normalized (m a) -> m (Normalized a) Source #
PrettyBy config a => PrettyBy config (Normalized a) Source #
Instance details Defined in PlutusCore.Core.Type Methods prettyBy :: config -> Normalized a -> Doc ann # prettyListBy :: config -> [Normalized a] -> Doc ann #
Eq a => Eq (Normalized a) Source #
Instance details Defined in PlutusCore.Core.Type Methods (==) :: Normalized a -> Normalized a -> Bool Source # (/=) :: Normalized a -> Normalized a -> Bool Source #
Show a => Show (Normalized a) Source #
Instance details Defined in PlutusCore.Core.Type Methods showsPrec :: Int -> Normalized a -> ShowS Source # show :: Normalized a -> String Source # showList :: [Normalized a] -> ShowS Source #
Generic (Normalized a) Source #
Instance details Defined in PlutusCore.Core.Type Associated Types type Rep (Normalized a) :: Type -> Type Source # Methods from :: Normalized a -> Rep (Normalized a) x Source # to :: Rep (Normalized a) x -> Normalized a Source #
NFData a => NFData (Normalized a) Source #
Instance details Defined in PlutusCore.Core.Type Methods rnf :: Normalized a -> () Source #
Pretty a => Pretty (Normalized a) Source #
Instance details Defined in PlutusCore.Core.Type Methods pretty :: Normalized a -> Doc ann # prettyList :: [Normalized a] -> Doc ann #
Flat a => Flat (Normalized a)
Instance details Defined in PlutusCore.Flat Methods encode :: Normalized a -> Encoding decode :: Get (Normalized a) size :: Normalized a -> NumBits -> NumBits
Rename a => Rename (Normalized a) Source #
Instance details Defined in PlutusCore.Rename Methods rename :: MonadQuote m => Normalized a -> m (Normalized a) Source #
type Rep (Normalized a) Source #
Instance details Defined in PlutusCore.Core.Type type Rep (Normalized a) = D1 ('MetaData "Normalized" "PlutusCore.Core.Type" "plutus-core-1.0.0.1-6wMiyL0yerXJu56t8zBoKx" 'True) (C1 ('MetaCons "Normalized" 'PrefixI 'True) (S1 ('MetaSel ('Just "unNormalized") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))

defaultVersion :: ann -> Version ann Source #

The default version of Plutus Core supported by this library.

termAnn :: Term tyname name uni fun ann -> ann Source #

typeAnn :: Type tyname uni ann -> ann Source #

tyVarDeclAnn :: forall tyname ann. Lens' (TyVarDecl tyname ann) ann Source #

tyVarDeclName :: forall tyname ann tyname. Lens (TyVarDecl tyname ann) (TyVarDecl tyname ann) tyname tyname Source #

tyVarDeclKind :: forall tyname ann. Lens' (TyVarDecl tyname ann) (Kind ann) Source #

varDeclAnn :: forall tyname name uni k (fun :: k) ann k (fun :: k). Lens (VarDecl tyname name uni (fun :: k) ann) (VarDecl tyname name uni (fun :: k) ann) ann ann Source #

varDeclName :: forall tyname name uni k (fun :: k) ann name k (fun :: k). Lens (VarDecl tyname name uni (fun :: k) ann) (VarDecl tyname name uni (fun :: k) ann) name name Source #

varDeclType :: forall tyname name uni k (fun :: k) ann tyname uni k (fun :: k). Lens (VarDecl tyname name uni (fun :: k) ann) (VarDecl tyname name uni (fun :: k) ann) (Type tyname uni ann) (Type tyname uni ann) Source #

tyDeclAnn :: forall tyname uni ann. Lens' (TyDecl tyname uni ann) ann Source #

tyDeclType :: forall tyname uni ann tyname uni. Lens (TyDecl tyname uni ann) (TyDecl tyname uni ann) (Type tyname uni ann) (Type tyname uni ann) Source #

tyDeclKind :: forall tyname uni ann. Lens' (TyDecl tyname uni ann) (Kind ann) Source #

progAnn :: forall tyname name uni fun ann. Lens' (Program tyname name uni fun ann) ann Source #

progVer :: forall tyname name uni fun ann. Lens' (Program tyname name uni fun ann) (Version ann) Source #

progTerm :: forall tyname name uni fun ann tyname name uni fun. Lens (Program tyname name uni fun ann) (Program tyname name uni fun ann) (Term tyname name uni fun ann) (Term tyname name uni fun ann) Source #

mapFun :: (fun -> fun') -> Term tyname name uni fun ann -> Term tyname name uni fun' ann Source #

Map a function over the set of built-in functions.

DeBruijn representation

newtype DeBruijn Source #

A term name as a de Bruijn index, without the name string.

Constructors

DeBruijn
Fields dbnIndex :: Index

Instances

Instances details

Eq DeBruijn Source #
Instance details Defined in PlutusCore.DeBruijn.Internal Methods (==) :: DeBruijn -> DeBruijn -> Bool Source # (/=) :: DeBruijn -> DeBruijn -> Bool Source #
Show DeBruijn Source #
Instance details Defined in PlutusCore.DeBruijn.Internal Methods showsPrec :: Int -> DeBruijn -> ShowS Source # show :: DeBruijn -> String Source # showList :: [DeBruijn] -> ShowS Source #
Generic DeBruijn Source #
Instance details Defined in PlutusCore.DeBruijn.Internal Associated Types type Rep DeBruijn :: Type -> Type Source # Methods from :: DeBruijn -> Rep DeBruijn x Source # to :: Rep DeBruijn x -> DeBruijn Source #
NFData DeBruijn Source #
Instance details Defined in PlutusCore.DeBruijn.Internal Methods rnf :: DeBruijn -> () Source #
HasIndex DeBruijn Source #
Instance details Defined in PlutusCore.DeBruijn.Internal Methods index :: Lens' DeBruijn Index Source #
Flat DeBruijn
Instance details Defined in PlutusCore.Flat Methods encode :: DeBruijn -> Encoding decode :: Get DeBruijn size :: DeBruijn -> NumBits -> NumBits
HasPrettyConfigName config => PrettyBy config DeBruijn Source #
Instance details Defined in PlutusCore.DeBruijn.Internal Methods prettyBy :: config -> DeBruijn -> Doc ann # prettyListBy :: config -> [DeBruijn] -> Doc ann #
Flat (Binder DeBruijn)
Instance details Defined in PlutusCore.Flat Methods encode :: Binder DeBruijn -> Encoding decode :: Get (Binder DeBruijn) size :: Binder DeBruijn -> NumBits -> NumBits
(GEq uni, Closed uni, Everywhere uni Eq, Eq fun, Eq ann) => Eq (Term DeBruijn uni fun ann) Source #
Instance details Defined in UntypedPlutusCore.Core.Instance.Eq Methods (==) :: Term DeBruijn uni fun ann -> Term DeBruijn uni fun ann -> Bool Source # (/=) :: Term DeBruijn uni fun ann -> Term DeBruijn uni fun ann -> Bool Source #
(GEq uni, Closed uni, Everywhere uni Eq, Eq fun, Eq ann) => Eq (Term TyDeBruijn DeBruijn uni fun ann) Source #
Instance details Defined in PlutusCore.Core.Instance.Eq Methods (==) :: Term TyDeBruijn DeBruijn uni fun ann -> Term TyDeBruijn DeBruijn uni fun ann -> Bool Source # (/=) :: Term TyDeBruijn DeBruijn uni fun ann -> Term TyDeBruijn DeBruijn uni fun ann -> Bool Source #
type Rep DeBruijn Source #
Instance details Defined in PlutusCore.DeBruijn.Internal type Rep DeBruijn = D1 ('MetaData "DeBruijn" "PlutusCore.DeBruijn.Internal" "plutus-core-1.0.0.1-6wMiyL0yerXJu56t8zBoKx" 'True) (C1 ('MetaCons "DeBruijn" 'PrefixI 'True) (S1 ('MetaSel ('Just "dbnIndex") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Index)))

data NamedDeBruijn Source #

A term name as a de Bruijn index.

Constructors

NamedDeBruijn
Fields ndbnString :: Text ndbnIndex :: Index

Instances

Instances details

Eq NamedDeBruijn Source #
Instance details Defined in PlutusCore.DeBruijn.Internal Methods (==) :: NamedDeBruijn -> NamedDeBruijn -> Bool Source # (/=) :: NamedDeBruijn -> NamedDeBruijn -> Bool Source #
Show NamedDeBruijn Source #
Instance details Defined in PlutusCore.DeBruijn.Internal Methods showsPrec :: Int -> NamedDeBruijn -> ShowS Source # show :: NamedDeBruijn -> String Source # showList :: [NamedDeBruijn] -> ShowS Source #
Generic NamedDeBruijn Source #
Instance details Defined in PlutusCore.DeBruijn.Internal Associated Types type Rep NamedDeBruijn :: Type -> Type Source # Methods from :: NamedDeBruijn -> Rep NamedDeBruijn x Source # to :: Rep NamedDeBruijn x -> NamedDeBruijn Source #
NFData NamedDeBruijn Source #
Instance details Defined in PlutusCore.DeBruijn.Internal Methods rnf :: NamedDeBruijn -> () Source #
HasIndex NamedDeBruijn Source #
Instance details Defined in PlutusCore.DeBruijn.Internal Methods index :: Lens' NamedDeBruijn Index Source #
Flat NamedDeBruijn
Instance details Defined in PlutusCore.Flat Methods encode :: NamedDeBruijn -> Encoding decode :: Get NamedDeBruijn size :: NamedDeBruijn -> NumBits -> NumBits
HasPrettyConfigName config => PrettyBy config NamedDeBruijn Source #
Instance details Defined in PlutusCore.DeBruijn.Internal Methods prettyBy :: config -> NamedDeBruijn -> Doc ann # prettyListBy :: config -> [NamedDeBruijn] -> Doc ann #
Flat (Binder NamedDeBruijn)
Instance details Defined in PlutusCore.Flat Methods encode :: Binder NamedDeBruijn -> Encoding decode :: Get (Binder NamedDeBruijn) size :: Binder NamedDeBruijn -> NumBits -> NumBits
PrettyUni uni fun => MonadError (CekEvaluationException NamedDeBruijn uni fun) (CekM uni fun s)
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.Internal Methods throwError :: CekEvaluationException NamedDeBruijn uni fun -> CekM uni fun s a catchError :: CekM uni fun s a -> (CekEvaluationException NamedDeBruijn uni fun -> CekM uni fun s a) -> CekM uni fun s a
(GEq uni, Closed uni, Everywhere uni Eq, Eq fun, Eq ann) => Eq (Term NamedDeBruijn uni fun ann) Source #
Instance details Defined in UntypedPlutusCore.Core.Instance.Eq Methods (==) :: Term NamedDeBruijn uni fun ann -> Term NamedDeBruijn uni fun ann -> Bool Source # (/=) :: Term NamedDeBruijn uni fun ann -> Term NamedDeBruijn uni fun ann -> Bool Source #
(GEq uni, Closed uni, Everywhere uni Eq, Eq fun, Eq ann) => Eq (Term NamedTyDeBruijn NamedDeBruijn uni fun ann) Source #
Instance details Defined in PlutusCore.Core.Instance.Eq Methods (==) :: Term NamedTyDeBruijn NamedDeBruijn uni fun ann -> Term NamedTyDeBruijn NamedDeBruijn uni fun ann -> Bool Source # (/=) :: Term NamedTyDeBruijn NamedDeBruijn uni fun ann -> Term NamedTyDeBruijn NamedDeBruijn uni fun ann -> Bool Source #
type Rep NamedDeBruijn Source #
Instance details Defined in PlutusCore.DeBruijn.Internal type Rep NamedDeBruijn = D1 ('MetaData "NamedDeBruijn" "PlutusCore.DeBruijn.Internal" "plutus-core-1.0.0.1-6wMiyL0yerXJu56t8zBoKx" 'False) (C1 ('MetaCons "NamedDeBruijn" 'PrefixI 'True) (S1 ('MetaSel ('Just "ndbnString") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "ndbnIndex") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Index)))

deBruijnTerm :: (AsFreeVariableError e, MonadError e m) => Term TyName Name uni fun ann -> m (Term NamedTyDeBruijn NamedDeBruijn uni fun ann) Source #

Convert a Term with TyNames and Names into a Term with NamedTyDeBruijns and NamedDeBruijns. Will throw an error if a free variable is encountered.

unDeBruijnTerm :: (MonadQuote m, AsFreeVariableError e, MonadError e m) => Term NamedTyDeBruijn NamedDeBruijn uni fun ann -> m (Term TyName Name uni fun ann) Source #

Convert a Term with NamedTyDeBruijns and NamedDeBruijns into a Term with TyNames and Names. Will throw an error if a free variable is encountered.

Lexer

data SourcePos #

Instances

Instances details

Eq SourcePos
Instance details Defined in Text.Megaparsec.Pos Methods (==) :: SourcePos -> SourcePos -> Bool Source # (/=) :: SourcePos -> SourcePos -> Bool Source #
Data SourcePos
Instance details Defined in Text.Megaparsec.Pos Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SourcePos -> c SourcePos Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SourcePos Source # toConstr :: SourcePos -> Constr Source # dataTypeOf :: SourcePos -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c SourcePos) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SourcePos) Source # gmapT :: (forall b. Data b => b -> b) -> SourcePos -> SourcePos Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SourcePos -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SourcePos -> r Source # gmapQ :: (forall d. Data d => d -> u) -> SourcePos -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> SourcePos -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> SourcePos -> m SourcePos Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SourcePos -> m SourcePos Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SourcePos -> m SourcePos Source #
Ord SourcePos
Instance details Defined in Text.Megaparsec.Pos Methods compare :: SourcePos -> SourcePos -> Ordering Source # (<) :: SourcePos -> SourcePos -> Bool Source # (<=) :: SourcePos -> SourcePos -> Bool Source # (>) :: SourcePos -> SourcePos -> Bool Source # (>=) :: SourcePos -> SourcePos -> Bool Source # max :: SourcePos -> SourcePos -> SourcePos Source # min :: SourcePos -> SourcePos -> SourcePos Source #
Read SourcePos
Instance details Defined in Text.Megaparsec.Pos Methods readsPrec :: Int -> ReadS SourcePos Source # readList :: ReadS [SourcePos] Source # readPrec :: ReadPrec SourcePos Source # readListPrec :: ReadPrec [SourcePos] Source #
Show SourcePos
Instance details Defined in Text.Megaparsec.Pos Methods showsPrec :: Int -> SourcePos -> ShowS Source # show :: SourcePos -> String Source # showList :: [SourcePos] -> ShowS Source #
Generic SourcePos
Instance details Defined in Text.Megaparsec.Pos Associated Types type Rep SourcePos :: Type -> Type Source # Methods from :: SourcePos -> Rep SourcePos x Source # to :: Rep SourcePos x -> SourcePos Source #
NFData SourcePos
Instance details Defined in Text.Megaparsec.Pos Methods rnf :: SourcePos -> () Source #
Pretty SourcePos Source #
Instance details Defined in PlutusCore.Error Methods pretty :: SourcePos -> Doc ann # prettyList :: [SourcePos] -> Doc ann #
type Rep SourcePos
Instance details Defined in Text.Megaparsec.Pos type Rep SourcePos = D1 ('MetaData "SourcePos" "Text.Megaparsec.Pos" "megaparsec-9.2.1-EI4cRL0SAfYAOxBOfPeCV9" 'False) (C1 ('MetaCons "SourcePos" 'PrefixI 'True) (S1 ('MetaSel ('Just "sourceName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FilePath) :: (S1 ('MetaSel ('Just "sourceLine") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Pos) :: S1 ('MetaSel ('Just "sourceColumn") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Pos))))

Formatting

format :: (Monad m, PrettyBy config (Program TyName Name DefaultUni DefaultFun SourcePos)) => config -> ByteString -> m Text Source #

Processing

type family HasUniques a :: Constraint Source #

All kinds of uniques an entity contains.

Instances

Instances details

type HasUniques (Kind ann) Source #
Instance details Defined in PlutusCore.Core.Type type HasUniques (Kind ann) = ()
type HasUniques (Type tyname uni ann) Source #
Instance details Defined in PlutusCore.Core.Type type HasUniques (Type tyname uni ann) = HasUnique tyname TypeUnique
type HasUniques (Program name uni fun ann) Source #
Instance details Defined in UntypedPlutusCore.Core.Type type HasUniques (Program name uni fun ann) = HasUniques (Term name uni fun ann)
type HasUniques (Term name uni fun ann) Source #
Instance details Defined in UntypedPlutusCore.Core.Type type HasUniques (Term name uni fun ann) = HasUnique name TermUnique
type HasUniques (Program tyname name uni fun ann) Source #
Instance details Defined in PlutusCore.Core.Type type HasUniques (Program tyname name uni fun ann) = HasUniques (Term tyname name uni fun ann)
type HasUniques (Term tyname name uni fun ann) Source #
Instance details Defined in PlutusCore.Core.Type type HasUniques (Term tyname name uni fun ann) = (HasUnique tyname TypeUnique, HasUnique name TermUnique)
type HasUniques (Program tyname name uni fun ann) Source #
Instance details Defined in PlutusIR.Core.Type type HasUniques (Program tyname name uni fun ann) = HasUniques (Term tyname name uni fun ann)
type HasUniques (Term tyname name uni fun ann) Source #
Instance details Defined in PlutusIR.Core.Type type HasUniques (Term tyname name uni fun ann) = (HasUnique tyname TypeUnique, HasUnique name TermUnique)

class Rename a where Source #

The class of things that can be renamed. I.e. things that are capable of satisfying the global uniqueness condition.

Methods

rename :: MonadQuote m => a -> m a Source #

Rename Uniques so that they're globally unique. In case there are any free variables, they must be left untouched and bound variables must not get renamed to free ones. Must always assign new names to bound variables, so that rename can be used for alpha-renaming as well.

Instances

Instances details

Rename a => Rename (Normalized a) Source #
Instance details Defined in PlutusCore.Rename Methods rename :: MonadQuote m => Normalized a -> m (Normalized a) Source #
HasUniques (Type tyname uni ann) => Rename (Type tyname uni ann) Source #
Instance details Defined in PlutusCore.Rename Methods rename :: MonadQuote m => Type tyname uni ann -> m (Type tyname uni ann) Source #
HasUniques (Program name uni fun ann) => Rename (Program name uni fun ann) Source #
Instance details Defined in UntypedPlutusCore.Rename Methods rename :: MonadQuote m => Program name uni fun ann -> m (Program name uni fun ann) Source #
HasUniques (Term name uni fun ann) => Rename (Term name uni fun ann) Source #
Instance details Defined in UntypedPlutusCore.Rename Methods rename :: MonadQuote m => Term name uni fun ann -> m (Term name uni fun ann) Source #
HasUniques (Program tyname name uni fun ann) => Rename (Program tyname name uni fun ann) Source #
Instance details Defined in PlutusCore.Rename Methods rename :: MonadQuote m => Program tyname name uni fun ann -> m (Program tyname name uni fun ann) Source #
HasUniques (Term tyname name uni fun ann) => Rename (Term tyname name uni fun ann) Source #
Instance details Defined in PlutusCore.Rename Methods rename :: MonadQuote m => Term tyname name uni fun ann -> m (Term tyname name uni fun ann) Source #
HasUniques (Term tyname name uni fun ann) => Rename (Program tyname name uni fun ann) Source #
Instance details Defined in PlutusIR.Transform.Rename Methods rename :: MonadQuote m => Program tyname name uni fun ann -> m (Program tyname name uni fun ann) Source #
HasUniques (Term tyname name uni fun ann) => Rename (Term tyname name uni fun ann) Source #
Instance details Defined in PlutusIR.Transform.Rename Methods rename :: MonadQuote m => Term tyname name uni fun ann -> m (Term tyname name uni fun ann) Source #

Type checking

class ToKind (uni :: Type -> Type) Source #

For computing the Plutus kind of a built-in type. See kindOfBuiltinType.

Minimal complete definition

toSingKind

Instances

Instances details

ToKind DefaultUni Source #
Instance details Defined in PlutusCore.Default.Universe Methods toSingKind :: forall k (a :: k). DefaultUni (Esc a) -> SingKind k Source #

type Typecheckable uni fun = (ToKind uni, HasUniApply uni, ToBuiltinMeaning uni fun) Source #

Configuration.

newtype BuiltinTypes uni fun Source #

Mapping from Builtins to their Types.

Constructors

BuiltinTypes
Fields unBuiltinTypes :: Maybe (Array fun (Dupable (Normalized (Type TyName uni ()))))

newtype TypeCheckConfig uni fun Source #

Configuration of the type checker.

Constructors

TypeCheckConfig
Fields _tccBuiltinTypes :: BuiltinTypes uni fun

tccBuiltinTypes :: HasTypeCheckConfig c uni fun => Lens' c (BuiltinTypes uni fun) Source #

builtinMeaningsToTypes :: (MonadError err m, AsTypeError err term uni fun ann, Typecheckable uni fun) => ann -> m (BuiltinTypes uni fun) Source #

Extract the TypeScheme from a BuiltinMeaning and convert it to the corresponding Type for each built-in function.

getDefTypeCheckConfig :: (MonadError err m, AsTypeError err term uni fun ann, Typecheckable uni fun) => ann -> m (TypeCheckConfig uni fun) Source #

Get the default type checking config.

Kindtype inferencechecking.

inferKind :: (MonadQuote m, MonadError err m, AsTypeError err term uni fun ann, ToKind uni) => TypeCheckConfig uni fun -> Type TyName uni ann -> m (Kind ()) Source #

Infer the kind of a type.

checkKind :: (MonadQuote m, MonadError err m, AsTypeError err term uni fun ann, ToKind uni) => TypeCheckConfig uni fun -> ann -> Type TyName uni ann -> Kind () -> m () Source #

Check a type against a kind. Infers the kind of the type and checks that it's equal to the given kind throwing a TypeError (annotated with the value of the ann argument) otherwise.

inferType :: (MonadError err m, MonadQuote m, AsTypeError err (Term TyName Name uni fun ()) uni fun ann, ToKind uni, HasUniApply uni, GEq uni, Ix fun) => TypeCheckConfig uni fun -> Term TyName Name uni fun ann -> m (Normalized (Type TyName uni ())) Source #

Infer the type of a term.

checkType :: (MonadError err m, MonadQuote m, AsTypeError err (Term TyName Name uni fun ()) uni fun ann, ToKind uni, HasUniApply uni, GEq uni, Ix fun) => TypeCheckConfig uni fun -> ann -> Term TyName Name uni fun ann -> Normalized (Type TyName uni ()) -> m () Source #

Check a term against a type. Infers the type of the term and checks that it's equal to the given type throwing a TypeError (annotated with the value of the ann argument) otherwise.

inferTypeOfProgram :: (MonadError err m, MonadQuote m, AsTypeError err (Term TyName Name uni fun ()) uni fun ann, ToKind uni, HasUniApply uni, GEq uni, Ix fun) => TypeCheckConfig uni fun -> Program TyName Name uni fun ann -> m (Normalized (Type TyName uni ())) Source #

Infer the type of a program.

checkTypeOfProgram :: (MonadError err m, MonadQuote m, AsTypeError err (Term TyName Name uni fun ()) uni fun ann, ToKind uni, HasUniApply uni, GEq uni, Ix fun) => TypeCheckConfig uni fun -> ann -> Program TyName Name uni fun ann -> Normalized (Type TyName uni ()) -> m () Source #

Check a program against a type. Infers the type of the program and checks that it's equal to the given type throwing a TypeError (annotated with the value of the ann argument) otherwise.

printType :: (AsTypeError e (Term TyName Name DefaultUni DefaultFun ()) DefaultUni DefaultFun SourcePos, MonadError e m) => ByteString -> m Text Source #

normalizeTypesIn :: (HasUnique tyname TypeUnique, HasUnique name TermUnique, MonadQuote m, HasUniApply uni) => Term tyname name uni fun ann -> m (Term tyname name uni fun ann) Source #

Normalize every Type in a Term.

normalizeTypesInProgram :: (HasUnique tyname TypeUnique, HasUnique name TermUnique, MonadQuote m, HasUniApply uni) => Program tyname name uni fun ann -> m (Program tyname name uni fun ann) Source #

Normalize every Type in a Program.

class AsTypeError r term uni fun ann | r -> term uni fun ann where Source #

Minimal complete definition

_TypeError

Methods

_TypeError :: Prism' r (TypeError term uni fun ann) Source #

_KindMismatch :: Prism' r (ann, Type TyName uni (), Kind (), Kind ()) Source #

_TypeMismatch :: Prism' r (ann, term, Type TyName uni (), Normalized (Type TyName uni ())) Source #

_FreeTypeVariableE :: Prism' r (ann, TyName) Source #

_FreeVariableE :: Prism' r (ann, Name) Source #

_UnknownBuiltinFunctionE :: Prism' r (ann, fun) Source #

Instances

Instances details

AsTypeError (Error uni fun ann) (Term TyName Name uni fun ()) uni fun ann Source #
Instance details Defined in PlutusCore.Error Methods _TypeError :: Prism' (Error uni fun ann) (TypeError (Term TyName Name uni fun ()) uni fun ann) Source # _KindMismatch :: Prism' (Error uni fun ann) (ann, Type TyName uni (), Kind (), Kind ()) Source # _TypeMismatch :: Prism' (Error uni fun ann) (ann, Term TyName Name uni fun (), Type TyName uni (), Normalized (Type TyName uni ())) Source # _FreeTypeVariableE :: Prism' (Error uni fun ann) (ann, TyName) Source # _FreeVariableE :: Prism' (Error uni fun ann) (ann, Name) Source # _UnknownBuiltinFunctionE :: Prism' (Error uni fun ann) (ann, fun) Source #
AsTypeError (Error uni fun a) (Term TyName Name uni fun ()) uni fun a Source #
Instance details Defined in PlutusIR.Error Methods _TypeError :: Prism' (Error uni fun a) (TypeError (Term TyName Name uni fun ()) uni fun a) Source # _KindMismatch :: Prism' (Error uni fun a) (a, Type TyName uni (), Kind (), Kind ()) Source # _TypeMismatch :: Prism' (Error uni fun a) (a, Term TyName Name uni fun (), Type TyName uni (), Normalized (Type TyName uni ())) Source # _FreeTypeVariableE :: Prism' (Error uni fun a) (a, TyName) Source # _FreeVariableE :: Prism' (Error uni fun a) (a, Name) Source # _UnknownBuiltinFunctionE :: Prism' (Error uni fun a) (a, fun) Source #
AsTypeError (TypeError term uni fun ann) term uni fun ann Source #
Instance details Defined in PlutusCore.Error Methods _TypeError :: Prism' (TypeError term uni fun ann) (TypeError term uni fun ann) Source # _KindMismatch :: Prism' (TypeError term uni fun ann) (ann, Type TyName uni (), Kind (), Kind ()) Source # _TypeMismatch :: Prism' (TypeError term uni fun ann) (ann, term, Type TyName uni (), Normalized (Type TyName uni ())) Source # _FreeTypeVariableE :: Prism' (TypeError term uni fun ann) (ann, TyName) Source # _FreeVariableE :: Prism' (TypeError term uni fun ann) (ann, Name) Source # _UnknownBuiltinFunctionE :: Prism' (TypeError term uni fun ann) (ann, fun) Source #

data TypeError term uni fun ann Source #

Instances

Instances details

(GShow uni, Closed uni, Everywhere uni PrettyConst, Pretty ann, Pretty fun, Pretty term) => PrettyBy PrettyConfigPlc (TypeError term uni fun ann) Source #
Instance details Defined in PlutusCore.Error Methods prettyBy :: PrettyConfigPlc -> TypeError term uni fun ann -> Doc ann0 # prettyListBy :: PrettyConfigPlc -> [TypeError term uni fun ann] -> Doc ann0 #
Functor (TypeError term uni fun) Source #
Instance details Defined in PlutusCore.Error Methods fmap :: (a -> b) -> TypeError term uni fun a -> TypeError term uni fun b Source # (<$) :: a -> TypeError term uni fun b -> TypeError term uni fun a Source #
(GEq uni, Eq ann, Eq term, Eq fun) => Eq (TypeError term uni fun ann) Source #
Instance details Defined in PlutusCore.Error Methods (==) :: TypeError term uni fun ann -> TypeError term uni fun ann -> Bool Source # (/=) :: TypeError term uni fun ann -> TypeError term uni fun ann -> Bool Source #
(GShow uni, Show ann, Show term, Show fun) => Show (TypeError term uni fun ann) Source #
Instance details Defined in PlutusCore.Error Methods showsPrec :: Int -> TypeError term uni fun ann -> ShowS Source # show :: TypeError term uni fun ann -> String Source # showList :: [TypeError term uni fun ann] -> ShowS Source #
Generic (TypeError term uni fun ann) Source #
Instance details Defined in PlutusCore.Error Associated Types type Rep (TypeError term uni fun ann) :: Type -> Type Source # Methods from :: TypeError term uni fun ann -> Rep (TypeError term uni fun ann) x Source # to :: Rep (TypeError term uni fun ann) x -> TypeError term uni fun ann Source #
(Closed uni, NFData ann, NFData term, NFData fun) => NFData (TypeError term uni fun ann) Source #
Instance details Defined in PlutusCore.Error Methods rnf :: TypeError term uni fun ann -> () Source #
HasErrorCode (TypeError _a _b _c _d) Source #
Instance details Defined in PlutusCore.Error Methods errorCode :: TypeError _a _b _c _d -> ErrorCode Source #
AsTypeError (TypeError term uni fun ann) term uni fun ann Source #
Instance details Defined in PlutusCore.Error Methods _TypeError :: Prism' (TypeError term uni fun ann) (TypeError term uni fun ann) Source # _KindMismatch :: Prism' (TypeError term uni fun ann) (ann, Type TyName uni (), Kind (), Kind ()) Source # _TypeMismatch :: Prism' (TypeError term uni fun ann) (ann, term, Type TyName uni (), Normalized (Type TyName uni ())) Source # _FreeTypeVariableE :: Prism' (TypeError term uni fun ann) (ann, TyName) Source # _FreeVariableE :: Prism' (TypeError term uni fun ann) (ann, Name) Source # _UnknownBuiltinFunctionE :: Prism' (TypeError term uni fun ann) (ann, fun) Source #
type Rep (TypeError term uni fun ann) Source #
Instance details Defined in PlutusCore.Error type Rep (TypeError term uni fun ann) = D1 ('MetaData "TypeError" "PlutusCore.Error" "plutus-core-1.0.0.1-6wMiyL0yerXJu56t8zBoKx" 'False) ((C1 ('MetaCons "KindMismatch" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ann) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Type TyName uni ()))) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Kind ())) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Kind ())))) :+: C1 ('MetaCons "TypeMismatch" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ann) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 term)) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Type TyName uni ())) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Normalized (Type TyName uni ())))))) :+: (C1 ('MetaCons "FreeTypeVariableE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ann) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TyName)) :+: (C1 ('MetaCons "FreeVariableE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ann) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name)) :+: C1 ('MetaCons "UnknownBuiltinFunctionE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ann) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 fun)))))

parseTypecheck :: (AsTypeError e (Term TyName Name DefaultUni DefaultFun ()) DefaultUni DefaultFun SourcePos, MonadError e m, MonadQuote m) => TypeCheckConfig DefaultUni DefaultFun -> ByteString -> m (Normalized (Type TyName DefaultUni ())) Source #

Parse a program and typecheck it.

typecheckPipeline :: (AsTypeError e (Term TyName Name DefaultUni DefaultFun ()) DefaultUni DefaultFun a, MonadError e m, MonadQuote m) => TypeCheckConfig DefaultUni DefaultFun -> Program TyName Name DefaultUni DefaultFun a -> m (Normalized (Type TyName DefaultUni ())) Source #

Typecheck a program.

Errors

data Error uni fun ann Source #

Constructors

ParseErrorE ParseError
UniqueCoherencyErrorE (UniqueError ann)
TypeErrorE (TypeError (Term TyName Name uni fun ()) uni fun ann)
NormCheckErrorE (NormCheckError TyName Name uni fun ann)
FreeVariableErrorE FreeVariableError

Instances

Instances details

(GShow uni, Closed uni, Everywhere uni PrettyConst, Pretty fun, Pretty ann) => PrettyBy PrettyConfigPlc (Error uni fun ann) Source #
Instance details Defined in PlutusCore.Error Methods prettyBy :: PrettyConfigPlc -> Error uni fun ann -> Doc ann0 # prettyListBy :: PrettyConfigPlc -> [Error uni fun ann] -> Doc ann0 #
Functor (Error uni fun) Source #
Instance details Defined in PlutusCore.Error Methods fmap :: (a -> b) -> Error uni fun a -> Error uni fun b Source # (<$) :: a -> Error uni fun b -> Error uni fun a Source #
(Everywhere uni Eq, GEq uni, Closed uni, Eq ann, Eq fun) => Eq (Error uni fun ann) Source #
Instance details Defined in PlutusCore.Error Methods (==) :: Error uni fun ann -> Error uni fun ann -> Bool Source # (/=) :: Error uni fun ann -> Error uni fun ann -> Bool Source #
(Show fun, Show ann, Closed uni, Everywhere uni Show, GShow uni, Show ParseError) => Show (Error uni fun ann) Source #
Instance details Defined in PlutusCore.Error Methods showsPrec :: Int -> Error uni fun ann -> ShowS Source # show :: Error uni fun ann -> String Source # showList :: [Error uni fun ann] -> ShowS Source #
Generic (Error uni fun ann) Source #
Instance details Defined in PlutusCore.Error Associated Types type Rep (Error uni fun ann) :: Type -> Type Source # Methods from :: Error uni fun ann -> Rep (Error uni fun ann) x Source # to :: Rep (Error uni fun ann) x -> Error uni fun ann Source #
(Everywhere uni NFData, Closed uni, NFData ann, NFData fun) => NFData (Error uni fun ann) Source #
Instance details Defined in PlutusCore.Error Methods rnf :: Error uni fun ann -> () Source #
HasErrorCode (Error _a _b _c) Source #
Instance details Defined in PlutusCore.Error Methods errorCode :: Error _a _b _c -> ErrorCode Source #
AsFreeVariableError (Error uni fun ann) Source #
Instance details Defined in PlutusCore.Error Methods _FreeVariableError :: Prism' (Error uni fun ann) FreeVariableError Source # _FreeUnique :: Prism' (Error uni fun ann) Unique Source # _FreeIndex :: Prism' (Error uni fun ann) Index Source #
AsParseError (Error uni fun ann) Source #
Instance details Defined in PlutusCore.Error Methods _ParseError :: Prism' (Error uni fun ann) ParseError Source # _UnknownBuiltinType :: Prism' (Error uni fun ann) (Text, SourcePos) Source # _BuiltinTypeNotAStar :: Prism' (Error uni fun ann) (Text, SourcePos) Source # _UnknownBuiltinFunction :: Prism' (Error uni fun ann) (Text, SourcePos) Source # _InvalidBuiltinConstant :: Prism' (Error uni fun ann) (Text, Text, SourcePos) Source #
AsUniqueError (Error uni fun ann) ann Source #
Instance details Defined in PlutusCore.Error Methods _UniqueError :: Prism' (Error uni fun ann) (UniqueError ann) Source # _MultiplyDefined :: Prism' (Error uni fun ann) (Unique, ann, ann) Source # _IncoherentUsage :: Prism' (Error uni fun ann) (Unique, ann, ann) Source # _FreeVariable :: Prism' (Error uni fun ann) (Unique, ann) Source #
AsError (Error uni fun ann) uni fun ann Source #
Instance details Defined in PlutusCore.Error Methods _Error :: Prism' (Error uni fun ann) (Error uni fun ann) Source # _ParseErrorE :: Prism' (Error uni fun ann) ParseError Source # _UniqueCoherencyErrorE :: Prism' (Error uni fun ann) (UniqueError ann) Source # _TypeErrorE :: Prism' (Error uni fun ann) (TypeError (Term TyName Name uni fun ()) uni fun ann) Source # _NormCheckErrorE :: Prism' (Error uni fun ann) (NormCheckError TyName Name uni fun ann) Source # _FreeVariableErrorE :: Prism' (Error uni fun ann) FreeVariableError Source #
(tyname ~ TyName, name ~ Name) => AsNormCheckError (Error uni fun ann) tyname name uni fun ann Source #
Instance details Defined in PlutusCore.Error Methods _NormCheckError :: Prism' (Error uni fun ann) (NormCheckError tyname name uni fun ann) Source # _BadType :: Prism' (Error uni fun ann) (ann, Type tyname uni ann, Text) Source # _BadTerm :: Prism' (Error uni fun ann) (ann, Term tyname name uni fun ann, Text) Source #
AsTypeError (Error uni fun ann) (Term TyName Name uni fun ()) uni fun ann Source #
Instance details Defined in PlutusCore.Error Methods _TypeError :: Prism' (Error uni fun ann) (TypeError (Term TyName Name uni fun ()) uni fun ann) Source # _KindMismatch :: Prism' (Error uni fun ann) (ann, Type TyName uni (), Kind (), Kind ()) Source # _TypeMismatch :: Prism' (Error uni fun ann) (ann, Term TyName Name uni fun (), Type TyName uni (), Normalized (Type TyName uni ())) Source # _FreeTypeVariableE :: Prism' (Error uni fun ann) (ann, TyName) Source # _FreeVariableE :: Prism' (Error uni fun ann) (ann, Name) Source # _UnknownBuiltinFunctionE :: Prism' (Error uni fun ann) (ann, fun) Source #
type Rep (Error uni fun ann) Source #
Instance details Defined in PlutusCore.Error type Rep (Error uni fun ann) = D1 ('MetaData "Error" "PlutusCore.Error" "plutus-core-1.0.0.1-6wMiyL0yerXJu56t8zBoKx" 'False) ((C1 ('MetaCons "ParseErrorE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ParseError)) :+: C1 ('MetaCons "UniqueCoherencyErrorE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (UniqueError ann)))) :+: (C1 ('MetaCons "TypeErrorE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (TypeError (Term TyName Name uni fun ()) uni fun ann))) :+: (C1 ('MetaCons "NormCheckErrorE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NormCheckError TyName Name uni fun ann))) :+: C1 ('MetaCons "FreeVariableErrorE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FreeVariableError)))))

class AsError r uni fun ann | r -> uni fun ann where Source #

Minimal complete definition

_Error

Methods

_Error :: Prism' r (Error uni fun ann) Source #

_ParseErrorE :: Prism' r ParseError Source #

_UniqueCoherencyErrorE :: Prism' r (UniqueError ann) Source #

_TypeErrorE :: Prism' r (TypeError (Term TyName Name uni fun ()) uni fun ann) Source #

_NormCheckErrorE :: Prism' r (NormCheckError TyName Name uni fun ann) Source #

_FreeVariableErrorE :: Prism' r FreeVariableError Source #

Instances

Instances details

AsError (Error uni fun ann) uni fun ann Source #

Instance details

Defined in PlutusCore.Error

Methods

_Error :: Prism' (Error uni fun ann) (Error uni fun ann) Source #

_ParseErrorE :: Prism' (Error uni fun ann) ParseError Source #

_UniqueCoherencyErrorE :: Prism' (Error uni fun ann) (UniqueError ann) Source #

_TypeErrorE :: Prism' (Error uni fun ann) (TypeError (Term TyName Name uni fun ()) uni fun ann) Source #

_NormCheckErrorE :: Prism' (Error uni fun ann) (NormCheckError TyName Name uni fun ann) Source #

_FreeVariableErrorE :: Prism' (Error uni fun ann) FreeVariableError Source #

data NormCheckError tyname name uni fun ann Source #

Constructors

BadType ann (Type tyname uni ann) Text
BadTerm ann (Term tyname name uni fun ann) Text

Instances

Instances details

(Pretty ann, PrettyBy config (Type tyname uni ann), PrettyBy config (Term tyname name uni fun ann)) => PrettyBy config (NormCheckError tyname name uni fun ann) Source #
Instance details Defined in PlutusCore.Error Methods prettyBy :: config -> NormCheckError tyname name uni fun ann -> Doc ann0 # prettyListBy :: config -> [NormCheckError tyname name uni fun ann] -> Doc ann0 #
Functor (NormCheckError tyname name uni fun) Source #
Instance details Defined in PlutusCore.Error Methods fmap :: (a -> b) -> NormCheckError tyname name uni fun a -> NormCheckError tyname name uni fun b Source # (<$) :: a -> NormCheckError tyname name uni fun b -> NormCheckError tyname name uni fun a Source #
(Eq (Term tyname name uni fun ann), Eq (Type tyname uni ann), GEq uni, Closed uni, Everywhere uni Eq, Eq fun, Eq ann) => Eq (NormCheckError tyname name uni fun ann) Source #
Instance details Defined in PlutusCore.Error Methods (==) :: NormCheckError tyname name uni fun ann -> NormCheckError tyname name uni fun ann -> Bool Source # (/=) :: NormCheckError tyname name uni fun ann -> NormCheckError tyname name uni fun ann -> Bool Source #
(Everywhere uni Show, GShow uni, Closed uni, Show ann, Show tyname, Show name, Show fun) => Show (NormCheckError tyname name uni fun ann) Source #
Instance details Defined in PlutusCore.Error Methods showsPrec :: Int -> NormCheckError tyname name uni fun ann -> ShowS Source # show :: NormCheckError tyname name uni fun ann -> String Source # showList :: [NormCheckError tyname name uni fun ann] -> ShowS Source #
Generic (NormCheckError tyname name uni fun ann) Source #
Instance details Defined in PlutusCore.Error Associated Types type Rep (NormCheckError tyname name uni fun ann) :: Type -> Type Source # Methods from :: NormCheckError tyname name uni fun ann -> Rep (NormCheckError tyname name uni fun ann) x Source # to :: Rep (NormCheckError tyname name uni fun ann) x -> NormCheckError tyname name uni fun ann Source #
(Everywhere uni NFData, Closed uni, NFData ann, NFData tyname, NFData name, NFData fun) => NFData (NormCheckError tyname name uni fun ann) Source #
Instance details Defined in PlutusCore.Error Methods rnf :: NormCheckError tyname name uni fun ann -> () Source #
HasErrorCode (NormCheckError _a _b _c _d _e) Source #
Instance details Defined in PlutusCore.Error Methods errorCode :: NormCheckError _a _b _c _d _e -> ErrorCode Source #
AsNormCheckError (NormCheckError tyname name uni fun ann) tyname name uni fun ann Source #
Instance details Defined in PlutusCore.Error Methods _NormCheckError :: Prism' (NormCheckError tyname name uni fun ann) (NormCheckError tyname name uni fun ann) Source # _BadType :: Prism' (NormCheckError tyname name uni fun ann) (ann, Type tyname uni ann, Text) Source # _BadTerm :: Prism' (NormCheckError tyname name uni fun ann) (ann, Term tyname name uni fun ann, Text) Source #
type Rep (NormCheckError tyname name uni fun ann) Source #
Instance details Defined in PlutusCore.Error type Rep (NormCheckError tyname name uni fun ann) = D1 ('MetaData "NormCheckError" "PlutusCore.Error" "plutus-core-1.0.0.1-6wMiyL0yerXJu56t8zBoKx" 'False) (C1 ('MetaCons "BadType" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ann) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Type tyname uni ann)) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text))) :+: C1 ('MetaCons "BadTerm" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ann) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term tyname name uni fun ann)) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text))))

class AsNormCheckError r tyname name uni fun ann | r -> tyname name uni fun ann where Source #

Minimal complete definition

_NormCheckError

Methods

_NormCheckError :: Prism' r (NormCheckError tyname name uni fun ann) Source #

_BadType :: Prism' r (ann, Type tyname uni ann, Text) Source #

_BadTerm :: Prism' r (ann, Term tyname name uni fun ann, Text) Source #

Instances

Instances details

(tyname ~ TyName, name ~ Name) => AsNormCheckError (Error uni fun ann) tyname name uni fun ann Source #
Instance details Defined in PlutusCore.Error Methods _NormCheckError :: Prism' (Error uni fun ann) (NormCheckError tyname name uni fun ann) Source # _BadType :: Prism' (Error uni fun ann) (ann, Type tyname uni ann, Text) Source # _BadTerm :: Prism' (Error uni fun ann) (ann, Term tyname name uni fun ann, Text) Source #
AsNormCheckError (NormCheckError tyname name uni fun ann) tyname name uni fun ann Source #
Instance details Defined in PlutusCore.Error Methods _NormCheckError :: Prism' (NormCheckError tyname name uni fun ann) (NormCheckError tyname name uni fun ann) Source # _BadType :: Prism' (NormCheckError tyname name uni fun ann) (ann, Type tyname uni ann, Text) Source # _BadTerm :: Prism' (NormCheckError tyname name uni fun ann) (ann, Term tyname name uni fun ann, Text) Source #

data UniqueError ann Source #

Constructors

MultiplyDefined Unique ann ann
IncoherentUsage Unique ann ann
FreeVariable Unique ann

Instances

Instances details

Functor UniqueError Source #
Instance details Defined in PlutusCore.Error Methods fmap :: (a -> b) -> UniqueError a -> UniqueError b Source # (<$) :: a -> UniqueError b -> UniqueError a Source #
Eq ann => Eq (UniqueError ann) Source #
Instance details Defined in PlutusCore.Error Methods (==) :: UniqueError ann -> UniqueError ann -> Bool Source # (/=) :: UniqueError ann -> UniqueError ann -> Bool Source #
Show ann => Show (UniqueError ann) Source #
Instance details Defined in PlutusCore.Error Methods showsPrec :: Int -> UniqueError ann -> ShowS Source # show :: UniqueError ann -> String Source # showList :: [UniqueError ann] -> ShowS Source #
Generic (UniqueError ann) Source #
Instance details Defined in PlutusCore.Error Associated Types type Rep (UniqueError ann) :: Type -> Type Source # Methods from :: UniqueError ann -> Rep (UniqueError ann) x Source # to :: Rep (UniqueError ann) x -> UniqueError ann Source #
NFData ann => NFData (UniqueError ann) Source #
Instance details Defined in PlutusCore.Error Methods rnf :: UniqueError ann -> () Source #
Pretty ann => Pretty (UniqueError ann) Source #
Instance details Defined in PlutusCore.Error Methods pretty :: UniqueError ann -> Doc ann0 # prettyList :: [UniqueError ann] -> Doc ann0 #
HasErrorCode (UniqueError _a) Source #
Instance details Defined in PlutusCore.Error Methods errorCode :: UniqueError _a -> ErrorCode Source #
AsUniqueError (UniqueError ann) ann Source #
Instance details Defined in PlutusCore.Error Methods _UniqueError :: Prism' (UniqueError ann) (UniqueError ann) Source # _MultiplyDefined :: Prism' (UniqueError ann) (Unique, ann, ann) Source # _IncoherentUsage :: Prism' (UniqueError ann) (Unique, ann, ann) Source # _FreeVariable :: Prism' (UniqueError ann) (Unique, ann) Source #
type Rep (UniqueError ann) Source #
Instance details Defined in PlutusCore.Error type Rep (UniqueError ann) = D1 ('MetaData "UniqueError" "PlutusCore.Error" "plutus-core-1.0.0.1-6wMiyL0yerXJu56t8zBoKx" 'False) (C1 ('MetaCons "MultiplyDefined" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Unique) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ann) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ann))) :+: (C1 ('MetaCons "IncoherentUsage" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Unique) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ann) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ann))) :+: C1 ('MetaCons "FreeVariable" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Unique) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ann))))

class AsUniqueError r ann | r -> ann where Source #

Minimal complete definition

_UniqueError

Methods

_UniqueError :: Prism' r (UniqueError ann) Source #

_MultiplyDefined :: Prism' r (Unique, ann, ann) Source #

_IncoherentUsage :: Prism' r (Unique, ann, ann) Source #

_FreeVariable :: Prism' r (Unique, ann) Source #

Instances

Instances details

AsUniqueError (UniqueError ann) ann Source #
Instance details Defined in PlutusCore.Error Methods _UniqueError :: Prism' (UniqueError ann) (UniqueError ann) Source # _MultiplyDefined :: Prism' (UniqueError ann) (Unique, ann, ann) Source # _IncoherentUsage :: Prism' (UniqueError ann) (Unique, ann, ann) Source # _FreeVariable :: Prism' (UniqueError ann) (Unique, ann) Source #
AsUniqueError (Error uni fun ann) ann Source #
Instance details Defined in PlutusCore.Error Methods _UniqueError :: Prism' (Error uni fun ann) (UniqueError ann) Source # _MultiplyDefined :: Prism' (Error uni fun ann) (Unique, ann, ann) Source # _IncoherentUsage :: Prism' (Error uni fun ann) (Unique, ann, ann) Source # _FreeVariable :: Prism' (Error uni fun ann) (Unique, ann) Source #

data FreeVariableError Source #

We cannot do a correct translation to or from de Bruijn indices if the program is not well-scoped. So we throw an error in such a case.

Constructors

FreeUnique Unique
FreeIndex Index

Instances

Instances details

Eq FreeVariableError Source #
Instance details Defined in PlutusCore.DeBruijn.Internal Methods (==) :: FreeVariableError -> FreeVariableError -> Bool Source # (/=) :: FreeVariableError -> FreeVariableError -> Bool Source #
Ord FreeVariableError Source #
Instance details Defined in PlutusCore.DeBruijn.Internal Methods compare :: FreeVariableError -> FreeVariableError -> Ordering Source # (<) :: FreeVariableError -> FreeVariableError -> Bool Source # (<=) :: FreeVariableError -> FreeVariableError -> Bool Source # (>) :: FreeVariableError -> FreeVariableError -> Bool Source # (>=) :: FreeVariableError -> FreeVariableError -> Bool Source # max :: FreeVariableError -> FreeVariableError -> FreeVariableError Source # min :: FreeVariableError -> FreeVariableError -> FreeVariableError Source #
Show FreeVariableError Source #
Instance details Defined in PlutusCore.DeBruijn.Internal Methods showsPrec :: Int -> FreeVariableError -> ShowS Source # show :: FreeVariableError -> String Source # showList :: [FreeVariableError] -> ShowS Source #
Generic FreeVariableError Source #
Instance details Defined in PlutusCore.DeBruijn.Internal Associated Types type Rep FreeVariableError :: Type -> Type Source # Methods from :: FreeVariableError -> Rep FreeVariableError x Source # to :: Rep FreeVariableError x -> FreeVariableError Source #
Exception FreeVariableError Source #
Instance details Defined in PlutusCore.DeBruijn.Internal Methods toException :: FreeVariableError -> SomeException Source # fromException :: SomeException -> Maybe FreeVariableError Source # displayException :: FreeVariableError -> String Source #
NFData FreeVariableError Source #
Instance details Defined in PlutusCore.DeBruijn.Internal Methods rnf :: FreeVariableError -> () Source #
Pretty FreeVariableError Source #
Instance details Defined in PlutusCore.DeBruijn.Internal Methods pretty :: FreeVariableError -> Doc ann # prettyList :: [FreeVariableError] -> Doc ann #
HasErrorCode FreeVariableError Source #
Instance details Defined in PlutusCore.DeBruijn.Internal Methods errorCode :: FreeVariableError -> ErrorCode Source #
AsFreeVariableError FreeVariableError Source #
Instance details Defined in PlutusCore.DeBruijn.Internal Methods _FreeVariableError :: Prism' FreeVariableError FreeVariableError Source # _FreeUnique :: Prism' FreeVariableError Unique Source # _FreeIndex :: Prism' FreeVariableError Index Source #
type Rep FreeVariableError Source #
Instance details Defined in PlutusCore.DeBruijn.Internal type Rep FreeVariableError = D1 ('MetaData "FreeVariableError" "PlutusCore.DeBruijn.Internal" "plutus-core-1.0.0.1-6wMiyL0yerXJu56t8zBoKx" 'False) (C1 ('MetaCons "FreeUnique" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Unique)) :+: C1 ('MetaCons "FreeIndex" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Index)))

class AsFreeVariableError r where Source #

Minimal complete definition

_FreeVariableError

Methods

_FreeVariableError :: Prism' r FreeVariableError Source #

_FreeUnique :: Prism' r Unique Source #

_FreeIndex :: Prism' r Index Source #

Instances

Instances details

AsFreeVariableError FreeVariableError Source #
Instance details Defined in PlutusCore.DeBruijn.Internal Methods _FreeVariableError :: Prism' FreeVariableError FreeVariableError Source # _FreeUnique :: Prism' FreeVariableError Unique Source # _FreeIndex :: Prism' FreeVariableError Index Source #
AsFreeVariableError (Error uni fun ann) Source #
Instance details Defined in PlutusCore.Error Methods _FreeVariableError :: Prism' (Error uni fun ann) FreeVariableError Source # _FreeUnique :: Prism' (Error uni fun ann) Unique Source # _FreeIndex :: Prism' (Error uni fun ann) Index Source #
AsFreeVariableError (Error uni fun a) Source #
Instance details Defined in PlutusIR.Error Methods _FreeVariableError :: Prism' (Error uni fun a) FreeVariableError Source # _FreeUnique :: Prism' (Error uni fun a) Unique Source # _FreeIndex :: Prism' (Error uni fun a) Index Source #

Base functors

data TermF (tyname :: Type) (name :: Type) (uni :: Type -> Type) (fun :: Type) (ann :: Type) r Source #

Constructors

VarF ann name
TyAbsF ann tyname (Kind ann) r
LamAbsF ann name (Type tyname uni ann) r
ApplyF ann r r
ConstantF ann (Some (ValueOf uni))
BuiltinF ann fun
TyInstF ann r (Type tyname uni ann)
UnwrapF ann r
IWrapF ann (Type tyname uni ann) (Type tyname uni ann) r
ErrorF ann (Type tyname uni ann)

Instances

Instances details

Functor (TermF tyname name uni fun ann) Source #
Instance details Defined in PlutusCore.Core.Instance.Recursive Methods fmap :: (a -> b) -> TermF tyname name uni fun ann a -> TermF tyname name uni fun ann b Source # (<$) :: a -> TermF tyname name uni fun ann b -> TermF tyname name uni fun ann a Source #
Foldable (TermF tyname name uni fun ann) Source #
Instance details Defined in PlutusCore.Core.Instance.Recursive Methods fold :: Monoid m => TermF tyname name uni fun ann m -> m Source # foldMap :: Monoid m => (a -> m) -> TermF tyname name uni fun ann a -> m Source # foldMap' :: Monoid m => (a -> m) -> TermF tyname name uni fun ann a -> m Source # foldr :: (a -> b -> b) -> b -> TermF tyname name uni fun ann a -> b Source # foldr' :: (a -> b -> b) -> b -> TermF tyname name uni fun ann a -> b Source # foldl :: (b -> a -> b) -> b -> TermF tyname name uni fun ann a -> b Source # foldl' :: (b -> a -> b) -> b -> TermF tyname name uni fun ann a -> b Source # foldr1 :: (a -> a -> a) -> TermF tyname name uni fun ann a -> a Source # foldl1 :: (a -> a -> a) -> TermF tyname name uni fun ann a -> a Source # toList :: TermF tyname name uni fun ann a -> [a] Source # null :: TermF tyname name uni fun ann a -> Bool Source # length :: TermF tyname name uni fun ann a -> Int Source # elem :: Eq a => a -> TermF tyname name uni fun ann a -> Bool Source # maximum :: Ord a => TermF tyname name uni fun ann a -> a Source # minimum :: Ord a => TermF tyname name uni fun ann a -> a Source # sum :: Num a => TermF tyname name uni fun ann a -> a Source # product :: Num a => TermF tyname name uni fun ann a -> a Source #
Traversable (TermF tyname name uni fun ann) Source #
Instance details Defined in PlutusCore.Core.Instance.Recursive Methods traverse :: Applicative f => (a -> f b) -> TermF tyname name uni fun ann a -> f (TermF tyname name uni fun ann b) Source # sequenceA :: Applicative f => TermF tyname name uni fun ann (f a) -> f (TermF tyname name uni fun ann a) Source # mapM :: Monad m => (a -> m b) -> TermF tyname name uni fun ann a -> m (TermF tyname name uni fun ann b) Source # sequence :: Monad m => TermF tyname name uni fun ann (m a) -> m (TermF tyname name uni fun ann a) Source #

data TypeF (tyname :: Type) (uni :: Type -> Type) (ann :: Type) r Source #

Constructors

TyVarF ann tyname
TyFunF ann r r
TyIFixF ann r r
TyForallF ann tyname (Kind ann) r
TyBuiltinF ann (SomeTypeIn uni)
TyLamF ann tyname (Kind ann) r
TyAppF ann r r

Instances

Instances details

Functor (TypeF tyname uni ann) Source #
Instance details Defined in PlutusCore.Core.Instance.Recursive Methods fmap :: (a -> b) -> TypeF tyname uni ann a -> TypeF tyname uni ann b Source # (<$) :: a -> TypeF tyname uni ann b -> TypeF tyname uni ann a Source #
Foldable (TypeF tyname uni ann) Source #
Instance details Defined in PlutusCore.Core.Instance.Recursive Methods fold :: Monoid m => TypeF tyname uni ann m -> m Source # foldMap :: Monoid m => (a -> m) -> TypeF tyname uni ann a -> m Source # foldMap' :: Monoid m => (a -> m) -> TypeF tyname uni ann a -> m Source # foldr :: (a -> b -> b) -> b -> TypeF tyname uni ann a -> b Source # foldr' :: (a -> b -> b) -> b -> TypeF tyname uni ann a -> b Source # foldl :: (b -> a -> b) -> b -> TypeF tyname uni ann a -> b Source # foldl' :: (b -> a -> b) -> b -> TypeF tyname uni ann a -> b Source # foldr1 :: (a -> a -> a) -> TypeF tyname uni ann a -> a Source # foldl1 :: (a -> a -> a) -> TypeF tyname uni ann a -> a Source # toList :: TypeF tyname uni ann a -> [a] Source # null :: TypeF tyname uni ann a -> Bool Source # length :: TypeF tyname uni ann a -> Int Source # elem :: Eq a => a -> TypeF tyname uni ann a -> Bool Source # maximum :: Ord a => TypeF tyname uni ann a -> a Source # minimum :: Ord a => TypeF tyname uni ann a -> a Source # sum :: Num a => TypeF tyname uni ann a -> a Source # product :: Num a => TypeF tyname uni ann a -> a Source #
Traversable (TypeF tyname uni ann) Source #
Instance details Defined in PlutusCore.Core.Instance.Recursive Methods traverse :: Applicative f => (a -> f b) -> TypeF tyname uni ann a -> f (TypeF tyname uni ann b) Source # sequenceA :: Applicative f => TypeF tyname uni ann (f a) -> f (TypeF tyname uni ann a) Source # mapM :: Monad m => (a -> m b) -> TypeF tyname uni ann a -> m (TypeF tyname uni ann b) Source # sequence :: Monad m => TypeF tyname uni ann (m a) -> m (TypeF tyname uni ann a) Source #

Quotation and term construction

type Quote = QuoteT Identity Source #

A non-transformer version of QuoteT.

runQuote :: Quote a -> a Source #

See runQuoteT.

data QuoteT m a Source #

The "quotation" monad transformer. Within this monad you can do safe construction of PLC terms using quasiquotation, fresh-name generation, and parsing.

Instances

Instances details

MonadTrans QuoteT Source #
Instance details Defined in PlutusCore.Quote Methods lift :: Monad m => m a -> QuoteT m a
MonadState s m => MonadState s (QuoteT m) Source #
Instance details Defined in PlutusCore.Quote Methods get :: QuoteT m s put :: s -> QuoteT m () state :: (s -> (a, s)) -> QuoteT m a
MonadError e m => MonadError e (QuoteT m) Source #
Instance details Defined in PlutusCore.Quote Methods throwError :: e -> QuoteT m a catchError :: QuoteT m a -> (e -> QuoteT m a) -> QuoteT m a
MonadReader r m => MonadReader r (QuoteT m) Source #
Instance details Defined in PlutusCore.Quote Methods ask :: QuoteT m r local :: (r -> r) -> QuoteT m a -> QuoteT m a reader :: (r -> a) -> QuoteT m a
MonadWriter w m => MonadWriter w (QuoteT m) Source #
Instance details Defined in PlutusCore.Quote Methods writer :: (a, w) -> QuoteT m a tell :: w -> QuoteT m () listen :: QuoteT m a -> QuoteT m (a, w) pass :: QuoteT m (a, w -> w) -> QuoteT m a
Monad m => Monad (QuoteT m) Source #
Instance details Defined in PlutusCore.Quote Methods (>>=) :: QuoteT m a -> (a -> QuoteT m b) -> QuoteT m b Source # (>>) :: QuoteT m a -> QuoteT m b -> QuoteT m b Source # return :: a -> QuoteT m a Source #
Functor m => Functor (QuoteT m) Source #
Instance details Defined in PlutusCore.Quote Methods fmap :: (a -> b) -> QuoteT m a -> QuoteT m b Source # (<$) :: a -> QuoteT m b -> QuoteT m a Source #
Monad m => Applicative (QuoteT m) Source #
Instance details Defined in PlutusCore.Quote Methods pure :: a -> QuoteT m a Source # (<>) :: QuoteT m (a -> b) -> QuoteT m a -> QuoteT m b Source # liftA2 :: (a -> b -> c) -> QuoteT m a -> QuoteT m b -> QuoteT m c Source # (>) :: QuoteT m a -> QuoteT m b -> QuoteT m b Source # (<*) :: QuoteT m a -> QuoteT m b -> QuoteT m a Source #
MonadIO m => MonadIO (QuoteT m) Source #
Instance details Defined in PlutusCore.Quote Methods liftIO :: IO a -> QuoteT m a Source #
Monad m => MonadQuote (QuoteT m) Source #
Instance details Defined in PlutusCore.Quote Methods liftQuote :: Quote a -> QuoteT m a Source #
MFunctor QuoteT Source #
Instance details Defined in PlutusCore.Quote Methods hoist :: forall m n (b :: k). Monad m => (forall a. m a -> n a) -> QuoteT m b -> QuoteT n b

runQuoteT :: Monad m => QuoteT m a -> m a Source #

Run a quote from an empty identifier state. Note that the resulting term cannot necessarily be safely combined with other terms - that should happen inside QuoteT.

class Monad m => MonadQuote m Source #

A monad that allows lifting of quoted expressions.

Instances

Instances details

MonadQuote m => MonadQuote (MaybeT m) Source #
Instance details Defined in PlutusCore.Quote Methods liftQuote :: Quote a -> MaybeT m a Source #
MonadQuote m => MonadQuote (GenT m) Source #
Instance details Defined in PlutusCore.Quote Methods liftQuote :: Quote a -> GenT m a Source #
MonadQuote m => MonadQuote (PropertyT m) Source #
Instance details Defined in PlutusCore.Quote Methods liftQuote :: Quote a -> PropertyT m a Source #
Monad m => MonadQuote (QuoteT m) Source #
Instance details Defined in PlutusCore.Quote Methods liftQuote :: Quote a -> QuoteT m a Source #
MonadQuote m => MonadQuote (ExceptT e m) Source #
Instance details Defined in PlutusCore.Quote Methods liftQuote :: Quote a -> ExceptT e m a Source #
MonadQuote m => MonadQuote (ReaderT r m) Source #
Instance details Defined in PlutusCore.Quote Methods liftQuote :: Quote a -> ReaderT r m a Source #
MonadQuote m => MonadQuote (StateT s m) Source #
Instance details Defined in PlutusCore.Quote Methods liftQuote :: Quote a -> StateT s m a Source #
MonadQuote m => MonadQuote (RenameT ren m) Source #
Instance details Defined in PlutusCore.Rename.Monad Methods liftQuote :: Quote a -> RenameT ren m a Source #
(Stream s, MonadQuote m) => MonadQuote (ParsecT e s m) Source #
Instance details Defined in PlutusCore.Parser.ParserCommon Methods liftQuote :: Quote a -> ParsecT e s m a Source #
MonadQuote m => MonadQuote (NormalizeTypeT m tyname uni ann) Source #
Instance details Defined in PlutusCore.Normalize.Internal Methods liftQuote :: Quote a -> NormalizeTypeT m tyname uni ann a Source #
MonadQuote m => MonadQuote (DefT key uni fun ann m) Source #
Instance details Defined in PlutusIR.Compiler.Definitions Methods liftQuote :: Quote a -> DefT key uni fun ann m a Source #

liftQuote :: MonadQuote m => Quote a -> m a Source #

Name generation

freshUnique :: MonadQuote m => m Unique Source #

Get a fresh Unique.

freshName :: MonadQuote m => Text -> m Name Source #

Get a fresh Name, given the annotation and the Text name.

freshTyName :: MonadQuote m => Text -> m TyName Source #

Get a fresh TyName, given the annotation and the Text name.

Evaluation

data EvaluationResult a Source #

The parameterized type of results various evaluation engines return. On the PLC side this becomes (via makeKnown) either a call to Error or a value of the PLC counterpart of type a.

Constructors

EvaluationSuccess a
EvaluationFailure

Instances

Instances details

Monad EvaluationResult Source #
Instance details Defined in PlutusCore.Evaluation.Result Methods (>>=) :: EvaluationResult a -> (a -> EvaluationResult b) -> EvaluationResult b Source # (>>) :: EvaluationResult a -> EvaluationResult b -> EvaluationResult b Source # return :: a -> EvaluationResult a Source #
Functor EvaluationResult Source #
Instance details Defined in PlutusCore.Evaluation.Result Methods fmap :: (a -> b) -> EvaluationResult a -> EvaluationResult b Source # (<$) :: a -> EvaluationResult b -> EvaluationResult a Source #
MonadFail EvaluationResult Source #
Instance details Defined in PlutusCore.Evaluation.Result Methods fail :: String -> EvaluationResult a Source #
Applicative EvaluationResult Source #
Instance details Defined in PlutusCore.Evaluation.Result Methods pure :: a -> EvaluationResult a Source # (<>) :: EvaluationResult (a -> b) -> EvaluationResult a -> EvaluationResult b Source # liftA2 :: (a -> b -> c) -> EvaluationResult a -> EvaluationResult b -> EvaluationResult c Source # (>) :: EvaluationResult a -> EvaluationResult b -> EvaluationResult b Source # (<*) :: EvaluationResult a -> EvaluationResult b -> EvaluationResult a Source #
Foldable EvaluationResult Source #
Instance details Defined in PlutusCore.Evaluation.Result Methods fold :: Monoid m => EvaluationResult m -> m Source # foldMap :: Monoid m => (a -> m) -> EvaluationResult a -> m Source # foldMap' :: Monoid m => (a -> m) -> EvaluationResult a -> m Source # foldr :: (a -> b -> b) -> b -> EvaluationResult a -> b Source # foldr' :: (a -> b -> b) -> b -> EvaluationResult a -> b Source # foldl :: (b -> a -> b) -> b -> EvaluationResult a -> b Source # foldl' :: (b -> a -> b) -> b -> EvaluationResult a -> b Source # foldr1 :: (a -> a -> a) -> EvaluationResult a -> a Source # foldl1 :: (a -> a -> a) -> EvaluationResult a -> a Source # toList :: EvaluationResult a -> [a] Source # null :: EvaluationResult a -> Bool Source # length :: EvaluationResult a -> Int Source # elem :: Eq a => a -> EvaluationResult a -> Bool Source # maximum :: Ord a => EvaluationResult a -> a Source # minimum :: Ord a => EvaluationResult a -> a Source # sum :: Num a => EvaluationResult a -> a Source # product :: Num a => EvaluationResult a -> a Source #
Traversable EvaluationResult Source #
Instance details Defined in PlutusCore.Evaluation.Result Methods traverse :: Applicative f => (a -> f b) -> EvaluationResult a -> f (EvaluationResult b) Source # sequenceA :: Applicative f => EvaluationResult (f a) -> f (EvaluationResult a) Source # mapM :: Monad m => (a -> m b) -> EvaluationResult a -> m (EvaluationResult b) Source # sequence :: Monad m => EvaluationResult (m a) -> m (EvaluationResult a) Source #
Alternative EvaluationResult Source #
Instance details Defined in PlutusCore.Evaluation.Result Methods empty :: EvaluationResult a Source # (<\|>) :: EvaluationResult a -> EvaluationResult a -> EvaluationResult a Source # some :: EvaluationResult a -> EvaluationResult [a] Source # many :: EvaluationResult a -> EvaluationResult [a] Source #
MonadError () EvaluationResult Source #
Instance details Defined in PlutusCore.Evaluation.Result Methods throwError :: () -> EvaluationResult a catchError :: EvaluationResult a -> (() -> EvaluationResult a) -> EvaluationResult a
(TypeError ('Text "\8216EvaluationResult\8217 cannot appear in the type of an argument") :: Constraint, uni ~ UniOf val) => ReadKnownIn uni val (EvaluationResult a) Source #
Instance details Defined in PlutusCore.Builtin.KnownType Methods readKnown :: Maybe cause -> val -> ReadKnownM cause (EvaluationResult a) Source #
MakeKnownIn uni val a => MakeKnownIn uni val (EvaluationResult a) Source #
Instance details Defined in PlutusCore.Builtin.KnownType Methods makeKnown :: Maybe cause -> EvaluationResult a -> MakeKnownM cause val Source #
PrettyBy config a => PrettyBy config (EvaluationResult a) Source #
Instance details Defined in PlutusCore.Evaluation.Result Methods prettyBy :: config -> EvaluationResult a -> Doc ann # prettyListBy :: config -> [EvaluationResult a] -> Doc ann #
Eq a => Eq (EvaluationResult a) Source #
Instance details Defined in PlutusCore.Evaluation.Result Methods (==) :: EvaluationResult a -> EvaluationResult a -> Bool Source # (/=) :: EvaluationResult a -> EvaluationResult a -> Bool Source #
Show a => Show (EvaluationResult a) Source #
Instance details Defined in PlutusCore.Evaluation.Result Methods showsPrec :: Int -> EvaluationResult a -> ShowS Source # show :: EvaluationResult a -> String Source # showList :: [EvaluationResult a] -> ShowS Source #
Generic (EvaluationResult a) Source #
Instance details Defined in PlutusCore.Evaluation.Result Associated Types type Rep (EvaluationResult a) :: Type -> Type Source # Methods from :: EvaluationResult a -> Rep (EvaluationResult a) x Source # to :: Rep (EvaluationResult a) x -> EvaluationResult a Source #
NFData a => NFData (EvaluationResult a) Source #
Instance details Defined in PlutusCore.Evaluation.Result Methods rnf :: EvaluationResult a -> () Source #
PrettyClassic a => Pretty (EvaluationResult a) Source #
Instance details Defined in PlutusCore.Evaluation.Result Methods pretty :: EvaluationResult a -> Doc ann # prettyList :: [EvaluationResult a] -> Doc ann #
KnownTypeAst uni a => KnownTypeAst uni (EvaluationResult a :: Type) Source #
Instance details Defined in PlutusCore.Builtin.KnownTypeAst Associated Types type ToHoles (EvaluationResult a) :: [Hole] Source # type ToBinds (EvaluationResult a) :: [Some TyNameRep] Source # Methods toTypeAst :: proxy (EvaluationResult a) -> Type0 TyName uni () Source #
type Rep (EvaluationResult a) Source #
Instance details Defined in PlutusCore.Evaluation.Result type Rep (EvaluationResult a) = D1 ('MetaData "EvaluationResult" "PlutusCore.Evaluation.Result" "plutus-core-1.0.0.1-6wMiyL0yerXJu56t8zBoKx" 'False) (C1 ('MetaCons "EvaluationSuccess" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)) :+: C1 ('MetaCons "EvaluationFailure" 'PrefixI 'False) (U1 :: Type -> Type))
type ToHoles (EvaluationResult a :: Type) Source #
Instance details Defined in PlutusCore.Builtin.KnownTypeAst type ToHoles (EvaluationResult a :: Type) = '[TypeHole a :: Hole]
type ToBinds (EvaluationResult a :: Type) Source #
Instance details Defined in PlutusCore.Builtin.KnownTypeAst type ToBinds (EvaluationResult a :: Type) = ToBinds a

data UnliftingMode Source #

Determines how to unlift arguments. The difference is that with UnliftingImmediate unlifting is performed immediately after a builtin gets the argument and so can fail immediately too, while with deferred unlifting all arguments are unlifted upon full saturation, hence no failure can occur until that. The former makes it much harder to specify the behaviour of builtins and so UnliftingDeferred is the preferred mode.

Constructors

UnliftingImmediate
UnliftingDeferred

Combining programs

applyProgram :: Monoid a => Program tyname name uni fun a -> Program tyname name uni fun a -> Program tyname name uni fun a Source #

Take one PLC program and apply it to another.

Benchmarking

termSize :: Term tyname name uni fun ann -> Size Source #

Count the number of AST nodes in a term.

typeSize :: Type tyname uni ann -> Size Source #

Count the number of AST nodes in a type.

kindSize :: Kind a -> Size Source #

Count the number of AST nodes in a kind.

>>> kindSize $ Type ()
Size {unSize = 1}
>>> kindSize $ KindArrow () (KindArrow () (Type ()) (Type ())) (Type ())
Size {unSize = 5}

programSize :: Program tyname name uni fun ann -> Size Source #

Count the number of AST nodes in a program.

serialisedSize :: Flat a => a -> Integer Source #

Compute the size of the serializabled form of a value.

Budgeting defaults

defaultBuiltinCostModel :: BuiltinCostModel Source #

The default cost model for built-in functions.

defaultBuiltinsRuntime :: HasConstantIn DefaultUni term => BuiltinsRuntime DefaultFun term Source #

defaultCekCostModel :: CostModel CekMachineCosts BuiltinCostModel Source #

defaultCekMachineCosts :: CekMachineCosts Source #

Default costs for CEK machine instructions.

defaultCekParameters :: MachineParameters CekMachineCosts CekValue DefaultUni DefaultFun Source #

defaultCostModelParams :: Maybe CostModelParams Source #

The default cost model data. This is exposed to the ledger, so let's not confuse anybody by mentioning the CEK machine

defaultUnliftingMode :: UnliftingMode Source #

unitCekParameters :: MachineParameters CekMachineCosts CekValue DefaultUni DefaultFun Source #

CEK machine costs

cekMachineCostsPrefix :: Text Source #

The prefix of the field names in the CekMachineCosts type, used for extracting the CekMachineCosts component of the ledger's cost model parameters. See Note [Cost model parameters] in CostModelInterface.

data CekMachineCosts Source #

Costs for evaluating AST nodes. Times should be specified in picoseconds, memory sizes in bytes.

Constructors

CekMachineCosts

Fields

cekStartupCost :: ExBudget
cekVarCost :: ExBudget
cekConstCost :: ExBudget
cekLamCost :: ExBudget
cekDelayCost :: ExBudget
cekForceCost :: ExBudget
cekApplyCost :: ExBudget
cekBuiltinCost :: ExBudget
Just the cost of evaluating a Builtin node, not the builtin itself. There's no entry for Error since we'll be exiting anyway; also, what would happen if calling Error caused the budget to be exceeded?

Instances

Instances details

Eq CekMachineCosts Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts Methods (==) :: CekMachineCosts -> CekMachineCosts -> Bool Source # (/=) :: CekMachineCosts -> CekMachineCosts -> Bool Source #
Show CekMachineCosts Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts Methods showsPrec :: Int -> CekMachineCosts -> ShowS Source # show :: CekMachineCosts -> String Source # showList :: [CekMachineCosts] -> ShowS Source #
Generic CekMachineCosts Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts Associated Types type Rep CekMachineCosts :: Type -> Type Source # Methods from :: CekMachineCosts -> Rep CekMachineCosts x Source # to :: Rep CekMachineCosts x -> CekMachineCosts Source #
NFData CekMachineCosts Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts Methods rnf :: CekMachineCosts -> () Source #
FromJSON CekMachineCosts Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts Methods parseJSON :: Value -> Parser CekMachineCosts parseJSONList :: Value -> Parser [CekMachineCosts]
ToJSON CekMachineCosts Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts Methods toJSON :: CekMachineCosts -> Value toEncoding :: CekMachineCosts -> Encoding toJSONList :: [CekMachineCosts] -> Value toEncodingList :: [CekMachineCosts] -> Encoding
NoThunks CekMachineCosts Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts Methods noThunks :: Context -> CekMachineCosts -> IO (Maybe ThunkInfo) wNoThunks :: Context -> CekMachineCosts -> IO (Maybe ThunkInfo) showTypeOf :: Proxy CekMachineCosts -> String
Lift CekMachineCosts Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts Methods lift :: CekMachineCosts -> Q Exp Source # liftTyped :: CekMachineCosts -> Q (TExp CekMachineCosts) Source #
type Rep CekMachineCosts Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts type Rep CekMachineCosts = D1 ('MetaData "CekMachineCosts" "UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts" "plutus-core-1.0.0.1-6wMiyL0yerXJu56t8zBoKx" 'False) (C1 ('MetaCons "CekMachineCosts" 'PrefixI 'True) (((S1 ('MetaSel ('Just "cekStartupCost") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ExBudget) :: S1 ('MetaSel ('Just "cekVarCost") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ExBudget)) :: (S1 ('MetaSel ('Just "cekConstCost") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ExBudget) :: S1 ('MetaSel ('Just "cekLamCost") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ExBudget))) :: ((S1 ('MetaSel ('Just "cekDelayCost") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ExBudget) :: S1 ('MetaSel ('Just "cekForceCost") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ExBudget)) :: (S1 ('MetaSel ('Just "cekApplyCost") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ExBudget) :*: S1 ('MetaSel ('Just "cekBuiltinCost") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ExBudget)))))

AddInteger
SubtractInteger
MultiplyInteger
DivideInteger
QuotientInteger
RemainderInteger
ModInteger
EqualsInteger
LessThanInteger
LessThanEqualsInteger
AppendByteString
ConsByteString
SliceByteString
LengthOfByteString
IndexByteString
EqualsByteString
LessThanByteString
LessThanEqualsByteString
Sha2_256
Sha3_256
Blake2b_256
VerifyEd25519Signature
VerifyEcdsaSecp256k1Signature
VerifySchnorrSecp256k1Signature
AppendString
EqualsString
EncodeUtf8
DecodeUtf8
IfThenElse
ChooseUnit
Trace
FstPair
SndPair
ChooseList
MkCons
HeadList
TailList
NullList
ChooseData
ConstrData
MapData
ListData
IData
BData
UnConstrData
UnMapData
UnListData
UnIData
UnBData
EqualsData
SerialiseData
MkPairData
MkNilData
MkNilPairData