Safe Haskell	None
Language	Haskell2010

PlutusCore.Core

Contents

Helper functions
Base functors

Synopsis

data Kind ann
- = Type ann
- | KindArrow ann (Kind ann) (Kind ann)
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)
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)
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
}
type family UniOf a :: Type -> Type
newtype Normalized a = Normalized {
- unNormalized :: a
}
data TyVarDecl tyname ann = TyVarDecl {
- _tyVarDeclAnn :: ann
- _tyVarDeclName :: tyname
- _tyVarDeclKind :: Kind ann
}
data VarDecl tyname name uni fun ann = VarDecl {
- _varDeclAnn :: ann
- _varDeclName :: name
- _varDeclType :: Type tyname uni ann
}
data TyDecl tyname uni ann = TyDecl {
- _tyDeclAnn :: ann
- _tyDeclType :: Type tyname uni ann
- _tyDeclKind :: Kind ann
}
tyDeclVar :: TyVarDecl tyname ann -> TyDecl tyname uni ann
type family HasUniques a :: Constraint
newtype Binder name = Binder {
- unBinder :: name
}
defaultVersion :: ann -> Version ann
termAnn :: Term tyname name uni fun ann -> ann
typeAnn :: Type tyname uni ann -> ann
mapFun :: (fun -> fun') -> Term tyname name uni fun ann -> Term tyname name uni fun' 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)
kindSubkinds :: Traversal' (Kind ann) (Kind ann)
kindSubkindsDeep :: Fold (Kind ann) (Kind ann)
tyVarDeclSubkinds :: Traversal' (TyVarDecl tyname a) (Kind a)
typeTyBinds :: Traversal' (Type tyname uni ann) tyname
typeTyVars :: Traversal' (Type tyname uni ann) tyname
typeUniques :: HasUniques (Type tyname uni ann) => Traversal' (Type tyname uni ann) Unique
typeSubkinds :: Traversal' (Type tyname uni ann) (Kind ann)
typeSubtypes :: Traversal' (Type tyname uni ann) (Type tyname uni ann)
typeSubtypesDeep :: Fold (Type tyname uni ann) (Type tyname uni ann)
varDeclSubtypes :: Traversal' (VarDecl tyname name uni fun a) (Type tyname uni a)
termTyBinds :: Traversal' (Term tyname name uni fun ann) tyname
termBinds :: Traversal' (Term tyname name uni fun ann) name
termVars :: Traversal' (Term tyname name uni fun ann) name
termUniques :: HasUniques (Term tyname name uni fun ann) => Traversal' (Term tyname name uni fun ann) Unique
termSubkinds :: Traversal' (Term tyname name uni fun ann) (Kind ann)
termSubtypes :: Traversal' (Term tyname name uni fun ann) (Type tyname uni ann)
termSubtypesDeep :: Fold (Term tyname name uni fun ann) (Type tyname uni ann)
termSubterms :: Traversal' (Term tyname name uni fun ann) (Term tyname name uni fun ann)
termSubtermsDeep :: Fold (Term tyname name uni fun ann) (Term tyname name uni fun ann)
typeUniquesDeep :: HasUniques (Type tyname uni ann) => Fold (Type tyname uni ann) Unique
termUniquesDeep :: HasUniques (Term tyname name uni fun ann) => Fold (Term tyname name uni fun ann) Unique
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
data KindF (ann :: Type) r
- = TypeF ann
- | KindArrowF ann r r

Documentation

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 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

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)

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)

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

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)))

data TyVarDecl tyname ann Source #

A "type variable declaration", i.e. a name and a kind for a type variable.

Constructors

TyVarDecl
Fields _tyVarDeclAnn :: ann _tyVarDeclName :: tyname _tyVarDeclKind :: Kind ann

Instances

Instances details

Functor (TyVarDecl tyname) Source #
Instance details Defined in PlutusCore.Core.Type Methods fmap :: (a -> b) -> TyVarDecl tyname a -> TyVarDecl tyname b Source # (<$) :: a -> TyVarDecl tyname b -> TyVarDecl tyname a Source #
tyname ~ TyName => CollectScopeInfo (TyVarDecl tyname) Source #
Instance details Defined in PlutusIR.Core.Instance.Scoping Methods collectScopeInfo :: TyVarDecl tyname NameAnn -> ScopeErrorOrInfo Source #
(PrettyClassicBy configName tyname, Pretty ann) => PrettyBy (PrettyConfigClassic configName) (TyVarDecl tyname ann) Source #
Instance details Defined in PlutusIR.Core.Instance.Pretty Methods prettyBy :: PrettyConfigClassic configName -> TyVarDecl tyname ann -> Doc ann0 # prettyListBy :: PrettyConfigClassic configName -> [TyVarDecl tyname ann] -> Doc ann0 #
(Show ann, Show tyname) => Show (TyVarDecl tyname ann) Source #
Instance details Defined in PlutusCore.Core.Type Methods showsPrec :: Int -> TyVarDecl tyname ann -> ShowS Source # show :: TyVarDecl tyname ann -> String Source # showList :: [TyVarDecl tyname ann] -> ShowS Source #
Generic (TyVarDecl tyname ann) Source #
Instance details Defined in PlutusCore.Core.Type Associated Types type Rep (TyVarDecl tyname ann) :: Type -> Type Source # Methods from :: TyVarDecl tyname ann -> Rep (TyVarDecl tyname ann) x Source # to :: Rep (TyVarDecl tyname ann) x -> TyVarDecl tyname ann Source #
(PrettyClassic tyname, Pretty ann) => Pretty (TyVarDecl tyname ann) Source #
Instance details Defined in PlutusIR.Core.Instance.Pretty Methods pretty :: TyVarDecl tyname ann -> Doc ann0 # prettyList :: [TyVarDecl tyname ann] -> Doc ann0 #
(Flat ann, Flat tyname) => Flat (TyVarDecl tyname ann)
Instance details Defined in PlutusCore.Flat Methods encode :: TyVarDecl tyname ann -> Encoding decode :: Get (TyVarDecl tyname ann) size :: TyVarDecl tyname ann -> NumBits -> NumBits
HasUnique tyname TypeUnique => HasUnique (TyVarDecl tyname ann) TypeUnique Source #
Instance details Defined in PlutusCore.Core.Type Methods unique :: Lens' (TyVarDecl tyname ann) TypeUnique Source #
Reference tyname t => Reference (TyVarDecl tyname ann) t Source #
Instance details Defined in PlutusIR.Core.Instance.Scoping Methods referenceVia :: (forall name. ToScopedName name => name -> NameAnn) -> TyVarDecl tyname ann -> t NameAnn -> t NameAnn Source #
type Rep (TyVarDecl tyname ann) Source #
Instance details Defined in PlutusCore.Core.Type type Rep (TyVarDecl tyname ann) = D1 ('MetaData "TyVarDecl" "PlutusCore.Core.Type" "plutus-core-1.0.0.1-6wMiyL0yerXJu56t8zBoKx" 'False) (C1 ('MetaCons "TyVarDecl" 'PrefixI 'True) (S1 ('MetaSel ('Just "_tyVarDeclAnn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ann) :: (S1 ('MetaSel ('Just "_tyVarDeclName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 tyname) :: S1 ('MetaSel ('Just "_tyVarDeclKind") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Kind ann)))))

data VarDecl tyname name uni fun ann Source #

A "variable declaration", i.e. a name and a type for a variable.

Constructors

VarDecl
Fields _varDeclAnn :: ann _varDeclName :: name _varDeclType :: Type tyname uni ann

Instances

Instances details

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 #
(PrettyClassicBy configName tyname, PrettyClassicBy configName name, GShow uni, Everywhere uni PrettyConst, Pretty ann) => PrettyBy (PrettyConfigClassic configName) (VarDecl tyname name uni fun ann) Source #
Instance details Defined in PlutusIR.Core.Instance.Pretty Methods prettyBy :: PrettyConfigClassic configName -> VarDecl tyname name uni fun ann -> Doc ann0 # prettyListBy :: PrettyConfigClassic configName -> [VarDecl tyname name uni fun ann] -> Doc ann0 #
Functor (VarDecl tyname name uni fun) Source #
Instance details Defined in PlutusCore.Core.Type Methods fmap :: (a -> b) -> VarDecl tyname name uni fun a -> VarDecl tyname name uni fun b Source # (<$) :: a -> VarDecl tyname name uni fun b -> VarDecl tyname name uni fun a Source #
(tyname ~ TyName, name ~ Name) => CollectScopeInfo (VarDecl tyname name uni fun) Source #
Instance details Defined in PlutusIR.Core.Instance.Scoping Methods collectScopeInfo :: VarDecl tyname name uni fun NameAnn -> ScopeErrorOrInfo Source #
(Show ann, Show name, Show tyname, GShow uni) => Show (VarDecl tyname name uni fun ann) Source #
Instance details Defined in PlutusCore.Core.Type Methods showsPrec :: Int -> VarDecl tyname name uni fun ann -> ShowS Source # show :: VarDecl tyname name uni fun ann -> String Source # showList :: [VarDecl tyname name uni fun ann] -> ShowS Source #
Generic (VarDecl tyname name uni fun ann) Source #
Instance details Defined in PlutusCore.Core.Type Associated Types type Rep (VarDecl tyname name uni fun ann) :: Type -> Type Source # Methods from :: VarDecl tyname name uni fun ann -> Rep (VarDecl tyname name uni fun ann) x Source # to :: Rep (VarDecl tyname name uni fun ann) x -> VarDecl tyname name uni fun ann Source #
(PrettyClassic tyname, PrettyClassic name, GShow uni, Everywhere uni PrettyConst, Pretty ann) => Pretty (VarDecl tyname name uni fun ann) Source #
Instance details Defined in PlutusIR.Core.Instance.Pretty Methods pretty :: VarDecl tyname name uni fun ann -> Doc ann0 # prettyList :: [VarDecl tyname name uni fun ann] -> Doc ann0 #
(Closed uni, Flat fun, Flat ann, Flat tyname, Flat name) => Flat (VarDecl tyname name uni fun ann)
Instance details Defined in PlutusCore.Flat Methods encode :: VarDecl tyname name uni fun ann -> Encoding decode :: Get (VarDecl tyname name uni fun ann) size :: VarDecl tyname name uni fun ann -> NumBits -> NumBits
HasUnique name TermUnique => HasUnique (VarDecl tyname name uni fun ann) TermUnique Source #
Instance details Defined in PlutusCore.Core.Type Methods unique :: Lens' (VarDecl tyname name uni fun ann) TermUnique Source #
Reference name t => Reference (VarDecl tyname name uni fun ann) t Source #
Instance details Defined in PlutusIR.Core.Instance.Scoping Methods referenceVia :: (forall name0. ToScopedName name0 => name0 -> NameAnn) -> VarDecl tyname name uni fun ann -> t NameAnn -> t NameAnn Source #
type Rep (VarDecl tyname name uni fun ann) Source #
Instance details Defined in PlutusCore.Core.Type type Rep (VarDecl tyname name uni fun ann) = D1 ('MetaData "VarDecl" "PlutusCore.Core.Type" "plutus-core-1.0.0.1-6wMiyL0yerXJu56t8zBoKx" 'False) (C1 ('MetaCons "VarDecl" 'PrefixI 'True) (S1 ('MetaSel ('Just "_varDeclAnn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ann) :: (S1 ('MetaSel ('Just "_varDeclName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 name) :: S1 ('MetaSel ('Just "_varDeclType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Type tyname uni ann)))))

data TyDecl tyname uni ann Source #

A "type declaration", i.e. a kind for a type.

Constructors

TyDecl
Fields _tyDeclAnn :: ann _tyDeclType :: Type tyname uni ann _tyDeclKind :: Kind ann

Instances

Instances details

Functor (TyDecl tyname uni) Source #
Instance details Defined in PlutusCore.Core.Type Methods fmap :: (a -> b) -> TyDecl tyname uni a -> TyDecl tyname uni b Source # (<$) :: a -> TyDecl tyname uni b -> TyDecl tyname uni a Source #
(Show ann, Show tyname, GShow uni) => Show (TyDecl tyname uni ann) Source #
Instance details Defined in PlutusCore.Core.Type Methods showsPrec :: Int -> TyDecl tyname uni ann -> ShowS Source # show :: TyDecl tyname uni ann -> String Source # showList :: [TyDecl tyname uni ann] -> ShowS Source #
Generic (TyDecl tyname uni ann) Source #
Instance details Defined in PlutusCore.Core.Type Associated Types type Rep (TyDecl tyname uni ann) :: Type -> Type Source # Methods from :: TyDecl tyname uni ann -> Rep (TyDecl tyname uni ann) x Source # to :: Rep (TyDecl tyname uni ann) x -> TyDecl tyname uni ann Source #
type Rep (TyDecl tyname uni ann) Source #
Instance details Defined in PlutusCore.Core.Type type Rep (TyDecl tyname uni ann) = D1 ('MetaData "TyDecl" "PlutusCore.Core.Type" "plutus-core-1.0.0.1-6wMiyL0yerXJu56t8zBoKx" 'False) (C1 ('MetaCons "TyDecl" 'PrefixI 'True) (S1 ('MetaSel ('Just "_tyDeclAnn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ann) :: (S1 ('MetaSel ('Just "_tyDeclType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Type tyname uni ann)) :: S1 ('MetaSel ('Just "_tyDeclKind") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Kind ann)))))

tyDeclVar :: TyVarDecl tyname ann -> TyDecl tyname uni ann Source #

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)

newtype Binder name Source #

This is a wrapper to mark the place where the binder is introduced (i.e. LamAbs/TyAbs) and not where it is actually used (TyVar/Var..). This marking allows us to skip the (de)serialization of binders at LamAbs/TyAbs positions iff name is DeBruijn-encoded (level or index). See for example the instance of Flat

Constructors

Binder
Fields unBinder :: name

Instances

Instances details

Flat (Binder TyName)
Instance details Defined in PlutusCore.Flat Methods encode :: Binder TyName -> Encoding decode :: Get (Binder TyName) size :: Binder TyName -> NumBits -> NumBits
Flat (Binder Name)
Instance details Defined in PlutusCore.Flat Methods encode :: Binder Name -> Encoding decode :: Get (Binder Name) size :: Binder Name -> NumBits -> NumBits
Flat (Binder NamedTyDeBruijn)
Instance details Defined in PlutusCore.Flat Methods encode :: Binder NamedTyDeBruijn -> Encoding decode :: Get (Binder NamedTyDeBruijn) size :: Binder NamedTyDeBruijn -> NumBits -> NumBits
Flat (Binder DeBruijn)
Instance details Defined in PlutusCore.Flat Methods encode :: Binder DeBruijn -> Encoding decode :: Get (Binder DeBruijn) size :: Binder DeBruijn -> NumBits -> NumBits
Flat (Binder FakeNamedDeBruijn)
Instance details Defined in PlutusCore.Flat Methods encode :: Binder FakeNamedDeBruijn -> Encoding decode :: Get (Binder FakeNamedDeBruijn) size :: Binder FakeNamedDeBruijn -> NumBits -> NumBits
Flat (Binder NamedDeBruijn)
Instance details Defined in PlutusCore.Flat Methods encode :: Binder NamedDeBruijn -> Encoding decode :: Get (Binder NamedDeBruijn) size :: Binder NamedDeBruijn -> NumBits -> NumBits

defaultVersion :: ann -> Version ann Source #

The default version of Plutus Core supported by this library.

Helper functions

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

typeAnn :: Type tyname uni ann -> 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.

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 #

kindSubkinds :: Traversal' (Kind ann) (Kind ann) Source #

kindSubkindsDeep :: Fold (Kind ann) (Kind ann) Source #

tyVarDeclSubkinds :: Traversal' (TyVarDecl tyname a) (Kind a) Source #

Get all the direct child Kinds of the given TyVarDecl.

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

Get all the direct child 'tyname a's of the given Type from binders.

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

Get all the direct child 'tyname a's of the given Type from TyVars.

typeUniques :: HasUniques (Type tyname uni ann) => Traversal' (Type tyname uni ann) Unique Source #

Get all the direct child Uniques of the given Type from binders TyVars.

typeSubkinds :: Traversal' (Type tyname uni ann) (Kind ann) Source #

Get all the direct child Kinds of the given Type.

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

Get all the direct child Types of the given Type.

typeSubtypesDeep :: Fold (Type tyname uni ann) (Type tyname uni ann) Source #

Get all the transitive child Types of the given Type.

varDeclSubtypes :: Traversal' (VarDecl tyname name uni fun a) (Type tyname uni a) Source #

Get all the direct child Types of the given VarDecl.

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

Get all the direct child 'tyname a's of the given Term from TyAbses.

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

Get all the direct child 'name a's of the given Term from LamAbses.

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

Get all the direct child 'name a's of the given Term from Vars.

termUniques :: HasUniques (Term tyname name uni fun ann) => Traversal' (Term tyname name uni fun ann) Unique Source #

Get all the direct child Uniques of the given Term (including the type-level ones).

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

Get all the direct child Kinds 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.

termSubtypesDeep :: Fold (Term tyname name uni fun ann) (Type tyname uni ann) Source #

Get all the transitive child Types of the given Term.

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.

termSubtermsDeep :: Fold (Term tyname name uni fun ann) (Term tyname name uni fun ann) Source #

Get all the transitive child Terms of the given Term.

typeUniquesDeep :: HasUniques (Type tyname uni ann) => Fold (Type tyname uni ann) Unique Source #

Get all the transitive child Uniques of the given Type.

termUniquesDeep :: HasUniques (Term tyname name uni fun ann) => Fold (Term tyname name uni fun ann) Unique Source #

Get all the transitive child Uniques of the given Term (including the type-level ones).

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 #

data KindF (ann :: Type) r Source #

Constructors

TypeF ann
KindArrowF ann r r

Instances

Instances details

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