Moduleplutus-core-1.70.0.0

PlutusCore.Core

11 types
1 class
51 values

Packageplutus-core-1.70.0.0
Exports65
LicenceApache-2.0

valuekindSubkinds

:: Applicative f
=> Kind ann -> f (Kind ann)
-> Kind ann
-> f (Kind ann)

valuekindSubkindsDeep

:: (Contravariant f, Applicative f)
=> Kind ann -> f (Kind ann)
-> Kind ann
-> f (Kind ann)

valuetermBinds

:: Applicative f
=> name -> f name
-> Term tyname name uni fun ann
-> f (Term tyname name uni fun ann)

valuetermConstants

:: Applicative f
=> Some (ValueOf uni) -> f (Some (ValueOf uni))
-> Term tyname name uni fun ann
-> f (Term tyname name uni fun ann)

valuetermConstantsDeep

:: (Contravariant f, Applicative f)
=> Some (ValueOf uni) -> f (Some (ValueOf uni))
-> Term tyname name uni fun ann
-> f (Term tyname name uni fun ann)

valuetermSubkinds

:: Applicative f
=> Kind ann -> f (Kind ann)
-> Term tyname name uni fun ann
-> f (Term tyname name uni fun ann)

valuetermSubterms

:: Applicative f
=> Term tyname name uni fun ann -> f (Term tyname name uni fun ann)
-> Term tyname name uni fun ann
-> f (Term tyname name uni fun ann)

valuetermSubtermsDeep

:: (Contravariant f, Applicative f)
=> Term tyname name uni fun ann -> f (Term tyname name uni fun ann)
-> Term tyname name uni fun ann
-> f (Term tyname name uni fun ann)

valuetermSubtypes

:: Applicative f
=> Type tyname uni ann -> f (Type tyname uni ann)
-> Term tyname name uni fun ann
-> f (Term tyname name uni fun ann)

valuetermSubtypesDeep

:: (Contravariant f, Applicative f)
=> Type tyname uni ann -> f (Type tyname uni ann)
-> Term tyname name uni fun ann
-> f (Term tyname name uni fun ann)

valuetermTyBinds

:: Applicative f
=> tyname -> f tyname
-> Term tyname name uni fun ann
-> f (Term tyname name uni fun ann)

valuetermUniques :: HasUniques (Term tyname name uni fun ann) => Traversal' (Term tyname name uni fun ann) Unique

valuetermUniquesDeep :: HasUniques (Term tyname name uni fun ann) => Fold (Term tyname name uni fun ann) Unique

valuetermVars

:: Applicative f
=> name -> f name
-> Term tyname name uni fun ann
-> f (Term tyname name uni fun ann)

valuetyVarDeclSubkinds

:: Applicative f
=> Kind a -> f (Kind a)
-> TyVarDecl tyname a
-> f (TyVarDecl tyname a)

valuetypeSubkinds

:: Applicative f
=> Kind ann -> f (Kind ann)
-> Type tyname uni ann
-> f (Type tyname uni ann)

valuetypeSubtypes

:: Applicative f
=> Type tyname uni ann -> f (Type tyname uni ann)
-> Type tyname uni ann
-> f (Type tyname uni ann)

valuetypeSubtypesDeep

:: (Contravariant f, Applicative f)
=> Type tyname uni ann -> f (Type tyname uni ann)
-> Type tyname uni ann
-> f (Type tyname uni ann)

valuetypeTyBinds

:: Applicative f
=> tyname -> f tyname
-> Type tyname uni ann
-> f (Type tyname uni ann)

valuetypeTyVars

:: Applicative f
=> tyname -> f tyname
-> Type tyname uni ann
-> f (Type tyname uni ann)

valuetypeUniques :: HasUniques (Type tyname uni ann) => Traversal' (Type tyname uni ann) Unique

valuetypeUniquesDeep :: HasUniques (Type tyname uni ann) => Fold (Type tyname uni ann) Unique

valuevarDeclSubtypes

:: Applicative f
=> Type tyname uni a -> f (Type tyname uni a)
-> VarDecl tyname name uni a
-> f (VarDecl tyname name uni a)

valueargsFunKind :: Kind ann -> [Kind ann]

valuefromPatFuncKind :: Kind () -> Maybe (Kind ())

valuefunTyArgs :: Type tyname uni a -> [Type tyname uni a]

valuefunTyResultType :: Type tyname uni a -> Type tyname uni a

valuemapFun

:: fun -> fun'
-> Term tyname name uni fun ann
-> Term tyname name uni fun' ann

valueprogAnn

:: Functor f
=> ann -> f ann
-> Program tyname name uni fun ann
-> f (Program tyname name uni fun ann)

valueprogTerm

:: Functor f
=> Term tyname1 name1 uni1 fun1 ann -> f (Term tyname2 name2 uni2 fun2 ann)
-> Program tyname1 name1 uni1 fun1 ann
-> f (Program tyname2 name2 uni2 fun2 ann)

valueprogVer

:: Functor f
=> Version -> f Version
-> Program tyname name uni fun ann
-> f (Program tyname name uni fun ann)

valuesplitFunTyParts :: Type tyname uni a -> NonEmpty (Type tyname uni a)

valuetoPatFuncKind :: Kind () -> Kind ()

valuetyDeclAnn

:: Functor f
=> ann -> f ann
-> TyDecl tyname uni ann
-> f (TyDecl tyname uni ann)

valuetyDeclKind

:: Functor f
=> Kind ann -> f (Kind ann)
-> TyDecl tyname uni ann
-> f (TyDecl tyname uni ann)

valuetyDeclType

:: Functor f
=> Type tyname1 uni1 ann -> f (Type tyname2 uni2 ann)
-> TyDecl tyname1 uni1 ann
-> f (TyDecl tyname2 uni2 ann)

valuetyDeclVar :: TyVarDecl tyname ann -> TyDecl tyname uni ann

valuetyVarDeclAnn

:: Functor f
=> ann -> f ann
-> TyVarDecl tyname ann
-> f (TyVarDecl tyname ann)

valuetyVarDeclKind

:: Functor f
=> Kind ann -> f (Kind ann)
-> TyVarDecl tyname ann
-> f (TyVarDecl tyname ann)

valuetyVarDeclName

:: Functor f
=> tyname1 -> f tyname2
-> TyVarDecl tyname1 ann
-> f (TyVarDecl tyname2 ann)

valuevarDeclAnn

:: Functor f
=> ann -> f ann
-> VarDecl tyname name uni ann
-> f (VarDecl tyname name uni ann)

valuevarDeclName

:: Functor f
=> name1 -> f name2
-> VarDecl tyname name1 uni ann
-> f (VarDecl tyname name2 uni ann)

valuevarDeclType

:: Functor f
=> Type tyname1 uni1 ann -> f (Type tyname2 uni2 ann)
-> VarDecl tyname1 name uni1 ann
-> f (VarDecl tyname2 name uni2 ann)

valuefirstVersion :: Version

valueknownVersions :: Set Version

valuelatestVersion :: Version

valueplcVersion100 :: Version

valueplcVersion110 :: Version

valueversionMajor :: Lens' Version Natural

valueversionMinor :: Lens' Version Natural

valueversionPatch :: Lens' Version Natural

newtypenewtype Binder name

Constructors

Binder
- unBinder :: name

Instances9Functor, Eq, Show, Flat, …

Functor BinderDefined in plutus-core-1.70.0.0 · PlutusCore.Core.Type
Eq name => Eq (Binder name)Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Type
Show name => Show (Binder name)Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Type
Flat (Binder DeBruijn)Defined in plutus-core-1.70.0.0 · PlutusCore.FlatInstances · orphan
Flat (Binder FakeNamedDeBruijn)Defined in plutus-core-1.70.0.0 · PlutusCore.FlatInstances · orphan
Flat (Binder NamedDeBruijn)Defined in plutus-core-1.70.0.0 · PlutusCore.FlatInstances · orphan
Flat (Binder NamedTyDeBruijn)Defined in plutus-core-1.70.0.0 · PlutusCore.FlatInstances · orphan
Flat (Binder Name)Defined in plutus-core-1.70.0.0 · PlutusCore.FlatInstances · orphan
Flat (Binder TyName)Defined in plutus-core-1.70.0.0 · PlutusCore.FlatInstances · orphan

typetype HasTermLevel (uni :: Type -> Type) = Includes uni

familytype family HasUniques a :: Constraint

Instances6HasUniques

type HasUniques (Kind ann) = ()Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Type
type HasUniques (Program tyname name uni fun ann) = HasUniques (Term tyname name uni fun ann)Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Type
type HasUniques (Term tyname name uni fun ann) = (HasUnique tyname TypeUnique, HasUnique name TermUnique)Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Type
type HasUniques (Type tyname uni ann) = HasUnique tyname TypeUniqueDefined in plutus-core-1.70.0.0 · PlutusCore.Core.Type
type HasUniques (Program name uni fun ann) = HasUniques (Term name uni fun ann)Defined in plutus-core-1.70.0.0 · UntypedPlutusCore.Core.Type
type HasUniques (Term name uni fun ann) = HasUnique name TermUniqueDefined in plutus-core-1.70.0.0 · UntypedPlutusCore.Core.Type

datadata Kind ann

Constructors

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

Instances17Functor, CollectScopeInfo, EstablishScoping, Lift, Eq, Show, …

Functor KindDefined in plutus-core-1.70.0.0 · PlutusCore.Core.Type
CollectScopeInfo KindDefined in plutus-core-1.70.0.0 · PlutusCore.Core.Instance.Scoping · orphan
EstablishScoping KindDefined in plutus-core-1.70.0.0 · PlutusCore.Core.Instance.Scoping · orphan
Lift ann => Lift (Kind ann)Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Type
DefaultPrettyPlcStrategy (Kind ann) => PrettyBy PrettyConfigPlc (Kind ann)Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Instance.Pretty.Plc · orphan
Eq ann => Eq (Kind ann)Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Type
Show ann => Show (Kind ann)Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Type
Generic (Kind ann)Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Type
NFData ann => NFData (Kind ann)Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Type
Pretty ann => Pretty (Kind ann)Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Instance.Pretty.Default · orphan
Hashable ann => Hashable (Kind ann)Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Type
Flat ann => Flat (Kind ann)Defined in plutus-core-1.70.0.0 · PlutusCore.FlatInstances · orphan
a ~ () => HasArrow (Kind a)Defined in plutus-core-1.70.0.0 · PlutusCore.Examples.Data.TreeForest
Pretty ann => PrettyBy (PrettyConfigClassic configName) (Kind ann)Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Instance.Pretty.Classic · orphan
PrettyBy (PrettyConfigReadable configName) (Kind a)Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Instance.Pretty.Readable · orphan
type Rep (Kind ann) = D1 ('MetaData "Kind" "PlutusCore.Core.Type" "plutus-core-1.70.0.0-AjXwyzfmVfT8tKfEB70hFt" 'False) (C1 ('MetaCons "Type" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ann)) :+: C1 ('MetaCons "KindArrow" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ann) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Kind ann)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Kind ann)))))Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Type
type HasUniques (Kind ann) = ()Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Type

newtypenewtype Normalized a

Constructors

Normalized
- unNormalized :: a

Instances13Functor, Applicative, Foldable, Traversable, PrettyBy, Eq, …

Functor NormalizedDefined in plutus-core-1.70.0.0 · PlutusCore.Core.Type
Applicative NormalizedDefined in plutus-core-1.70.0.0 · PlutusCore.Core.Type
Foldable NormalizedDefined in plutus-core-1.70.0.0 · PlutusCore.Core.Type
Traversable NormalizedDefined in plutus-core-1.70.0.0 · PlutusCore.Core.Type
PrettyBy config a => PrettyBy config (Normalized a)Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Type
Eq a => Eq (Normalized a)Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Type
Show a => Show (Normalized a)Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Type
Generic (Normalized a)Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Type
NFData a => NFData (Normalized a)Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Type
Pretty a => Pretty (Normalized a)Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Type
Flat a => Flat (Normalized a)Defined in plutus-core-1.70.0.0 · PlutusCore.FlatInstances · orphan
Rename a => Rename (Normalized a)Defined in plutus-core-1.70.0.0 · PlutusCore.Rename
type Rep (Normalized a) = D1 ('MetaData "Normalized" "PlutusCore.Core.Type" "plutus-core-1.70.0.0-AjXwyzfmVfT8tKfEB70hFt" 'True) (C1 ('MetaCons "Normalized" 'PrefixI 'True) (S1 ('MetaSel ('Just "unNormalized") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Type

datadata Program tyname name (uni :: Type -> Type) fun ann

Constructors

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

Instances15PrettyBy, Functor, CollectScopeInfo, EstablishScoping, Eq, Show, …

DefaultPrettyPlcStrategy (Program tyname name uni fun ann) => PrettyBy PrettyConfigPlc (Program tyname name uni fun ann)Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Instance.Pretty.Plc · orphan
PrettyReadableBy configName (Term tyname name uni fun a) => PrettyBy (PrettyConfigReadable configName) (Program tyname name uni fun a)Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Instance.Pretty.Readable · orphan
(PrettyClassicBy configName (Term tyname name uni fun ann), Pretty ann) => PrettyBy (PrettyConfigClassic configName) (Program tyname name uni fun ann)Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Instance.Pretty.Classic · orphan
Functor (Program tyname name uni fun)Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Type
(tyname ~ TyName, name ~ Name) => CollectScopeInfo (Program tyname name uni fun)Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Instance.Scoping · orphan
(tyname ~ TyName, name ~ Name) => EstablishScoping (Program tyname name uni fun)Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Instance.Scoping · orphan
(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)Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Instance.Eq · orphan
(Show tyname, Show name, GShow uni, Everywhere uni Show, Show fun, Show ann, Closed uni) => Show (Program tyname name uni fun ann)Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Type
Generic (Program tyname name uni fun ann)Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Type
(NFData tyname, NFData name, Everywhere uni NFData, NFData fun, NFData ann, Closed uni) => NFData (Program tyname name uni fun ann)Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Type
(PrettyClassic tyname, PrettyClassic name, PrettyUni uni, Pretty fun, Pretty ann) => Pretty (Program tyname name uni fun ann)Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Instance.Pretty.Default · orphan
(Flat ann, Flat (Term tyname name uni fun ann)) => Flat (Program tyname name uni fun ann)Defined in plutus-core-1.70.0.0 · PlutusCore.FlatInstances · orphan
HasUniques (Program tyname name uni fun ann) => Rename (Program tyname name uni fun ann)Defined in plutus-core-1.70.0.0 · PlutusCore.Rename
type Rep (Program tyname name uni fun ann) = D1 ('MetaData "Program" "PlutusCore.Core.Type" "plutus-core-1.70.0.0-AjXwyzfmVfT8tKfEB70hFt" 'False) (C1 ('MetaCons "Program" 'PrefixI 'True) (S1 ('MetaSel ('Just "_progAnn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ann) :*: (S1 ('MetaSel ('Just "_progVer") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Version) :*: S1 ('MetaSel ('Just "_progTerm") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term tyname name uni fun ann)))))Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Type
type HasUniques (Program tyname name uni fun ann) = HasUniques (Term tyname name uni fun ann)Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Type

datadata Term tyname name (uni :: Type -> Type) fun ann

Constructors

Var ann name
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)
TyAbs ann tyname (Kind ann) (Term tyname name uni fun ann)
TyInst ann (Term tyname name uni fun ann) (Type tyname uni ann)
IWrap ann (Type tyname uni ann) (Type tyname uni ann) (Term tyname name uni fun ann)
Unwrap ann (Term tyname name uni fun ann)
Constr ann (Type tyname uni ann) Word64 [Term tyname name uni fun ann]
Case ann (Type tyname uni ann) (Term tyname name uni fun ann) [Term tyname name uni fun ann]
Constant ann (Some (ValueOf uni))
Builtin ann fun
Error ann (Type tyname uni ann)

Instances24Reference, PrettyBy, Functor, HasAnn, CollectScopeInfo, EstablishScoping, …

name ~ Name => Reference Name (Term tyname name uni fun)Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Instance.Scoping · orphan
tyname ~ TyName => Reference TyName (Term tyname name uni fun)Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Instance.Scoping · orphan
DefaultPrettyPlcStrategy (Term tyname name uni fun ann) => PrettyBy PrettyConfigPlc (Term tyname name uni fun ann)Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Instance.Pretty.Plc · orphan
(PrettyClassicBy configName tyname, PrettyClassicBy configName name, PrettyUni uni, Pretty fun, Pretty ann) => PrettyBy (PrettyConfigClassic configName) (Term tyname name uni fun ann)Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Instance.Pretty.Classic · orphan
(PrettyReadableBy configName tyname, PrettyReadableBy configName name, PrettyUni uni, Pretty fun) => PrettyBy (PrettyConfigReadable configName) (Term tyname name uni fun a)Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Instance.Pretty.Readable · orphan
Functor (Term tyname name uni fun)Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Type
HasAnn (Term tyname name uni fun)Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Type
(tyname ~ TyName, name ~ Name) => CollectScopeInfo (Term tyname name uni fun)Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Instance.Scoping · orphan
(tyname ~ TyName, name ~ Name) => EstablishScoping (Term tyname name uni fun)Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Instance.Scoping · orphan
TermLike (Term tyname name uni fun) tyname name uni funDefined in plutus-core-1.70.0.0 · PlutusCore.MkPlc
(GEq uni, Closed uni, Everywhere uni Eq, Eq fun, Eq ann) => Eq (Term NamedTyDeBruijn NamedDeBruijn uni fun ann)Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Instance.Eq · orphan
(GEq uni, Closed uni, Everywhere uni Eq, Eq fun, Eq ann) => Eq (Term TyDeBruijn DeBruijn uni fun ann)Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Instance.Eq · orphan
(GEq uni, Closed uni, Everywhere uni Eq, Eq fun, Eq ann) => Eq (Term TyName Name uni fun ann)Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Instance.Eq · orphan
(Show tyname, Show name, GShow uni, Everywhere uni Show, Show fun, Show ann, Closed uni) => Show (Term tyname name uni fun ann)Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Type
Generic (Term tyname name uni fun ann)Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Type
(NFData tyname, NFData name, NFData fun, NFData ann, Everywhere uni NFData, Closed uni) => NFData (Term tyname name uni fun ann)Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Type
(PrettyClassic tyname, PrettyClassic name, PrettyUni uni, Pretty fun, Pretty ann) => Pretty (Term tyname name uni fun ann)Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Instance.Pretty.Default · orphan
(Closed uni, Everywhere uni Flat, Flat fun, Flat ann, Flat tyname, Flat name) => Flat (Term tyname name uni fun ann)Defined in plutus-core-1.70.0.0 · PlutusCore.FlatInstances · orphan
HasUniques (Term tyname name uni fun ann) => Rename (Term tyname name uni fun ann)Defined in plutus-core-1.70.0.0 · PlutusCore.Rename
ExMemoryUsage (Term tyname name uni fun ann)Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Type
HasConstant (Term TyName Name uni fun ())Defined in plutus-core-1.70.0.0 · PlutusCore.Builtin.HasConstant
type Rep (Term tyname name uni fun ann) = D1 ('MetaData "Term" "PlutusCore.Core.Type" "plutus-core-1.70.0.0-AjXwyzfmVfT8tKfEB70hFt" 'False) (((C1 ('MetaCons "Var" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ann) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 name)) :+: (C1 ('MetaCons "LamAbs" 'PrefixI 'False) ((S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ann) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 name)) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Type tyname uni ann)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term tyname name uni fun ann)))) :+: C1 ('MetaCons "Apply" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ann) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term tyname name uni fun ann)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term tyname name uni fun ann)))))) :+: (C1 ('MetaCons "TyAbs" 'PrefixI 'False) ((S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ann) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 tyname)) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Kind ann)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term tyname name uni fun ann)))) :+: (C1 ('MetaCons "TyInst" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ann) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term tyname name uni fun ann)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Type tyname uni ann)))) :+: C1 ('MetaCons "IWrap" 'PrefixI 'False) ((S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ann) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Type tyname uni ann))) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Type tyname uni ann)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term tyname name uni fun ann))))))) :+: ((C1 ('MetaCons "Unwrap" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ann) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term tyname name uni fun ann))) :+: (C1 ('MetaCons "Constr" 'PrefixI 'False) ((S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ann) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Type tyname uni ann))) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Term tyname name uni fun ann]))) :+: C1 ('MetaCons "Case" 'PrefixI 'False) ((S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ann) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Type tyname uni ann))) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term tyname name uni fun ann)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Term tyname name uni fun ann]))))) :+: (C1 ('MetaCons "Constant" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ann) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Some (ValueOf uni)))) :+: (C1 ('MetaCons "Builtin" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ann) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 fun)) :+: C1 ('MetaCons "Error" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ann) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Type tyname uni ann)))))))Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Type
type HasUniques (Term tyname name uni fun ann) = (HasUnique tyname TypeUnique, HasUnique name TermUnique)Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Type
type UniOf (Term tyname name uni fun ann) = uniDefined in plutus-core-1.70.0.0 · PlutusCore.Core.Type

datadata TyDecl tyname (uni :: Type -> Type) ann

Constructors

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

Instances4Functor, Show, Generic, Rep

Functor (TyDecl tyname uni)Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Type
(GShow uni, Show tyname, Show ann) => Show (TyDecl tyname uni ann)Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Type
Generic (TyDecl tyname uni ann)Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Type
type Rep (TyDecl tyname uni ann) = D1 ('MetaData "TyDecl" "PlutusCore.Core.Type" "plutus-core-1.70.0.0-AjXwyzfmVfT8tKfEB70hFt" '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)))))Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Type

datadata TyVarDecl tyname ann

Constructors

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

Instances7Functor, PrettyBy, Show, Generic, Flat, HasUnique, …

Functor (TyVarDecl tyname)Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Type
PrettyReadableBy configName tyname => PrettyBy (PrettyConfigReadable configName) (TyVarDecl tyname ann)Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Instance.Pretty.Readable · orphan
(Show tyname, Show ann) => Show (TyVarDecl tyname ann)Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Type
Generic (TyVarDecl tyname ann)Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Type
(Flat ann, Flat tyname) => Flat (TyVarDecl tyname ann)Defined in plutus-core-1.70.0.0 · PlutusCore.FlatInstances · orphan
HasUnique tyname TypeUnique => HasUnique (TyVarDecl tyname ann) TypeUniqueDefined in plutus-core-1.70.0.0 · PlutusCore.Core.Type
type Rep (TyVarDecl tyname ann) = D1 ('MetaData "TyVarDecl" "PlutusCore.Core.Type" "plutus-core-1.70.0.0-AjXwyzfmVfT8tKfEB70hFt" '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)))))Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Type

datadata Type tyname (uni :: Type -> Type) ann

Constructors

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)
TySOP ann [[Type tyname uni ann]]

Instances20Reference, PrettyBy, Functor, HasAnn, CollectScopeInfo, EstablishScoping, …

tyname ~ TyName => Reference TyName (Type tyname uni)Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Instance.Scoping · orphan
DefaultPrettyPlcStrategy (Type tyname uni ann) => PrettyBy PrettyConfigPlc (Type tyname uni ann)Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Instance.Pretty.Plc · orphan
(PrettyClassicBy configName tyname, PrettyParens (SomeTypeIn uni), Pretty ann) => PrettyBy (PrettyConfigClassic configName) (Type tyname uni ann)Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Instance.Pretty.Classic · orphan
(PrettyReadableBy configName tyname, PrettyParens (SomeTypeIn uni)) => PrettyBy (PrettyConfigReadable configName) (Type tyname uni a)Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Instance.Pretty.Readable · orphan
Functor (Type tyname uni)Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Type
HasAnn (Type tyname uni)Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Type
tyname ~ TyName => CollectScopeInfo (Type tyname uni)Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Instance.Scoping · orphan
tyname ~ TyName => EstablishScoping (Type tyname uni)Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Instance.Scoping · orphan
(GEq uni, Eq ann) => Eq (Type TyName uni ann)Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Instance.Eq · orphan
(GEq uni, Closed uni, Everywhere uni Eq, Eq ann) => Eq (Type NamedTyDeBruijn uni ann)Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Instance.Eq · orphan
(GEq uni, Closed uni, Everywhere uni Eq, Eq ann) => Eq (Type TyDeBruijn uni ann)Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Instance.Eq · orphan
(GShow uni, Show tyname, Show ann) => Show (Type tyname uni ann)Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Type
Generic (Type tyname uni ann)Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Type
(NFData ann, NFData tyname, Closed uni) => NFData (Type tyname uni ann)Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Type
(PrettyClassic tyname, PrettyParens (SomeTypeIn uni), Pretty ann) => Pretty (Type tyname uni ann)Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Instance.Pretty.Default · orphan
(Closed uni, Flat ann, Flat tyname) => Flat (Type tyname uni ann)Defined in plutus-core-1.70.0.0 · PlutusCore.FlatInstances · orphan
HasUniques (Type tyname uni ann) => Rename (Type tyname uni ann)Defined in plutus-core-1.70.0.0 · PlutusCore.Rename
a ~ () => HasArrow (Type tyname uni a)Defined in plutus-core-1.70.0.0 · PlutusCore.Examples.Data.TreeForest
type Rep (Type tyname uni ann) = D1 ('MetaData "Type" "PlutusCore.Core.Type" "plutus-core-1.70.0.0-AjXwyzfmVfT8tKfEB70hFt" 'False) (((C1 ('MetaCons "TyVar" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ann) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 tyname)) :+: C1 ('MetaCons "TyFun" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ann) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Type tyname uni ann)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Type tyname uni ann))))) :+: (C1 ('MetaCons "TyIFix" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ann) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Type tyname uni ann)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Type tyname uni ann)))) :+: C1 ('MetaCons "TyForall" 'PrefixI 'False) ((S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ann) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 tyname)) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Kind ann)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Type tyname uni ann)))))) :+: ((C1 ('MetaCons "TyBuiltin" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ann) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SomeTypeIn uni))) :+: C1 ('MetaCons "TyLam" 'PrefixI 'False) ((S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ann) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 tyname)) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Kind ann)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Type tyname uni ann))))) :+: (C1 ('MetaCons "TyApp" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ann) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Type tyname uni ann)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Type tyname uni ann)))) :+: C1 ('MetaCons "TySOP" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ann) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [[Type tyname uni ann]])))))Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Type
type HasUniques (Type tyname uni ann) = HasUnique tyname TypeUniqueDefined in plutus-core-1.70.0.0 · PlutusCore.Core.Type

familytype family UniOf a :: Type -> Type

Instances6UniOf

type UniOf (Opaque val rep) = UniOf valDefined in plutus-core-1.70.0.0 · PlutusCore.Builtin.Polymorphism
type UniOf (SomeConstant uni rep) = uniDefined in plutus-core-1.70.0.0 · PlutusCore.Builtin.Polymorphism
type UniOf (Term tyname name uni fun ann) = uniDefined in plutus-core-1.70.0.0 · PlutusCore.Core.Type
type UniOf (CkValue uni fun) = uniDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.Ck
type UniOf (Term name uni fun ann) = uniDefined in plutus-core-1.70.0.0 · UntypedPlutusCore.Core.Type
type UniOf (CekValue uni fun ann) = uniDefined in plutus-core-1.70.0.0 · UntypedPlutusCore.Evaluation.Machine.Cek.Internal

datadata VarDecl tyname name (uni :: Type -> Type) ann

Constructors

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

Instances7PrettyBy, Functor, Show, Generic, Flat, HasUnique, …

(PrettyReadableBy configName tyname, PrettyReadableBy configName name, PrettyUni uni) => PrettyBy (PrettyConfigReadable configName) (VarDecl tyname name uni ann)Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Instance.Pretty.Readable · orphan
Functor (VarDecl tyname name uni)Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Type
(GShow uni, Show name, Show tyname, Show ann) => Show (VarDecl tyname name uni ann)Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Type
Generic (VarDecl tyname name uni ann)Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Type
(Closed uni, Flat ann, Flat tyname, Flat name) => Flat (VarDecl tyname name uni ann)Defined in plutus-core-1.70.0.0 · PlutusCore.FlatInstances · orphan
HasUnique name TermUnique => HasUnique (VarDecl tyname name uni ann) TermUniqueDefined in plutus-core-1.70.0.0 · PlutusCore.Core.Type
type Rep (VarDecl tyname name uni ann) = D1 ('MetaData "VarDecl" "PlutusCore.Core.Type" "plutus-core-1.70.0.0-AjXwyzfmVfT8tKfEB70hFt" '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)))))Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Type

datadata Version

Constructors

Version
- _versionMajor :: Natural
- _versionMinor :: Natural
- _versionPatch :: Natural

Instances9Eq, Ord, Show, Generic, NFData, Pretty, …

Eq VersionDefined in plutus-core-1.70.0.0 · PlutusCore.Version
Ord VersionDefined in plutus-core-1.70.0.0 · PlutusCore.Version
Show VersionDefined in plutus-core-1.70.0.0 · PlutusCore.Version
Generic VersionDefined in plutus-core-1.70.0.0 · PlutusCore.Version
NFData VersionDefined in plutus-core-1.70.0.0 · PlutusCore.Version
Pretty VersionDefined in plutus-core-1.70.0.0 · PlutusCore.Version
Hashable VersionDefined in plutus-core-1.70.0.0 · PlutusCore.Version
Flat VersionDefined in plutus-core-1.70.0.0 · PlutusCore.FlatInstances · orphan
type Rep Version = D1 ('MetaData "Version" "PlutusCore.Version" "plutus-core-1.70.0.0-AjXwyzfmVfT8tKfEB70hFt" 'False) (C1 ('MetaCons "Version" 'PrefixI 'True) (S1 ('MetaSel ('Just "_versionMajor") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Natural) :*: (S1 ('MetaSel ('Just "_versionMinor") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Natural) :*: S1 ('MetaSel ('Just "_versionPatch") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Natural))))Defined in plutus-core-1.70.0.0 · PlutusCore.Version

classclass HasAnn (f :: Type -> Type) where

Methods

getAnn :: f a -> a
modifyAnn :: (a -> a) -> f a -> f a
setAnn :: a -> f a -> f a

Instances3HasAnn

HasAnn (Type tyname uni)Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Type
HasAnn (Term name uni fun)Defined in plutus-core-1.70.0.0 · UntypedPlutusCore.Core.Type
HasAnn (Term tyname name uni fun)Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Type