| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
UntypedPlutusCore
Synopsis
- module PlutusCore.Name.Unique
- module UntypedPlutusCore.AstSize
- module UntypedPlutusCore.Check.Scope
- module UntypedPlutusCore.Core
- module UntypedPlutusCore.DeBruijn
- data SimplifierStage
- termMapNames :: forall name name' (uni :: Type -> Type) fun ann. (name -> name') -> Term name uni fun ann -> Term name' uni fun ann
- programMapNames :: forall name name' (uni :: Type -> Type) fun ann. (name -> name') -> Program name uni fun ann -> Program name' uni fun ann
- newtype InlineHints name a = InlineHints {
- shouldInline :: a -> name -> Inline
- data SimplifyOpts name a = SimplifyOpts {}
- defaultSimplifyOpts :: SimplifyOpts name a
- substVarA :: forall f name ann (uni :: Type -> Type) fun. Applicative f => (name -> ann -> f (Maybe (Term name uni fun ann))) -> Term name uni fun ann -> f (Term name uni fun ann)
- substVar :: forall name ann (uni :: Type -> Type) fun. (name -> ann -> Maybe (Term name uni fun ann)) -> Term name uni fun ann -> Term name uni fun ann
- termSubstNamesM :: forall m name ann (uni :: Type -> Type) fun. Monad m => (name -> ann -> m (Maybe (Term name uni fun ann))) -> Term name uni fun ann -> m (Term name uni fun ann)
- termSubstNames :: forall name ann (uni :: Type -> Type) fun. (name -> ann -> Maybe (Term name uni fun ann)) -> Term name uni fun ann -> Term name uni fun ann
- vTerm :: forall name (uni :: Type -> Type) fun ann f. (Contravariant f, Applicative f) => (name -> f name) -> Term name uni fun ann -> f (Term name uni fun ann)
- substConstantA :: forall f ann (uni :: Type -> Type) name fun. Applicative f => (ann -> Some (ValueOf uni) -> f (Maybe (Term name uni fun ann))) -> Term name uni fun ann -> f (Term name uni fun ann)
- substConstant :: forall ann (uni :: Type -> Type) name fun. (ann -> Some (ValueOf uni) -> Maybe (Term name uni fun ann)) -> Term name uni fun ann -> Term name uni fun ann
- termSubstConstantsM :: forall m ann (uni :: Type -> Type) name fun. Monad m => (ann -> Some (ValueOf uni) -> m (Maybe (Term name uni fun ann))) -> Term name uni fun ann -> m (Term name uni fun ann)
- termSubstConstants :: forall ann (uni :: Type -> Type) name fun. (ann -> Some (ValueOf uni) -> Maybe (Term name uni fun ann)) -> Term name uni fun ann -> Term name uni fun ann
- newtype SimplifierT name (uni :: Type -> Type) fun ann (m :: Type -> Type) a = SimplifierT {
- getSimplifierT :: StateT (SimplifierTrace name uni fun ann) m a
- recordSimplification :: forall (m :: Type -> Type) name (uni :: Type -> Type) fun a. Monad m => Term name uni fun a -> SimplifierStage -> Term name uni fun a -> SimplifierT name uni fun a m ()
- type Simplifier name (uni :: Type -> Type) fun ann = SimplifierT name uni fun ann Identity
- data CseWhichSubterms
- recordSimplificationWithHints :: forall (m :: Type -> Type) name (uni :: Type -> Type) fun a. Monad m => Hints -> Term name uni fun a -> SimplifierStage -> Term name uni fun a -> SimplifierT name uni fun a m ()
- newtype SimplifierTrace name (uni :: Type -> Type) fun a = SimplifierTrace {
- simplifierTrace :: [Simplification name uni fun a]
- data Simplification name (uni :: Type -> Type) fun a = Simplification {}
- runSimplifierT :: forall name (uni :: Type -> Type) fun ann m a. SimplifierT name uni fun ann m a -> m (a, SimplifierTrace name uni fun ann)
- evalSimplifierT :: forall m name (uni :: Type -> Type) fun ann a. Monad m => SimplifierT name uni fun ann m a -> m a
- execSimplifierT :: forall m name (uni :: Type -> Type) fun ann a. Monad m => SimplifierT name uni fun ann m a -> m (SimplifierTrace name uni fun ann)
- runSimplifier :: forall name (uni :: Type -> Type) fun ann a. Simplifier name uni fun ann a -> (a, SimplifierTrace name uni fun ann)
- evalSimplifier :: forall name (uni :: Type -> Type) fun ann a. Simplifier name uni fun ann a -> a
- execSimplifier :: forall name (uni :: Type -> Type) fun ann a. Simplifier name uni fun ann a -> SimplifierTrace name uni fun ann
- initSimplifierTrace :: forall name (uni :: Type -> Type) fun a. SimplifierTrace name uni fun a
- simplifyTerm :: forall name (uni :: Type -> Type) fun m a. Compiling m uni fun name a => SimplifyOpts name a -> BuiltinSemanticsVariant fun -> Term name uni fun a -> m (Term name uni fun a)
- simplifyProgram :: forall name (uni :: Type -> Type) fun m a. Compiling m uni fun name a => SimplifyOpts name a -> BuiltinSemanticsVariant fun -> Program name uni fun a -> m (Program name uni fun a)
- simplifyProgramWithTrace :: forall name (uni :: Type -> Type) fun m a. Compiling m uni fun name a => SimplifyOpts name a -> BuiltinSemanticsVariant fun -> Program name uni fun a -> m (Program name uni fun a, SimplifierTrace name uni fun a)
- termSimplifier :: forall name (uni :: Type -> Type) fun (m :: Type -> Type) a. Compiling m uni fun name a => SimplifyOpts name a -> BuiltinSemanticsVariant fun -> Term name uni fun a -> SimplifierT name uni fun a m (Term name uni fun a)
- soApplyToCase :: forall name a f. Functor f => (Bool -> f Bool) -> SimplifyOpts name a -> f (SimplifyOpts name a)
- soMaxSimplifierIterations :: forall name a f. Functor f => (Int -> f Int) -> SimplifyOpts name a -> f (SimplifyOpts name a)
- soMaxCseIterations :: forall name a f. Functor f => (Int -> f Int) -> SimplifyOpts name a -> f (SimplifyOpts name a)
- soCseWhichSubterms :: forall name a f. Functor f => (CseWhichSubterms -> f CseWhichSubterms) -> SimplifyOpts name a -> f (SimplifyOpts name a)
- soInlineHints :: forall name1 a1 name2 a2 f. Functor f => (InlineHints name1 a1 -> f (InlineHints name2 a2)) -> SimplifyOpts name1 a1 -> f (SimplifyOpts name2 a2)
- soConservativeOpts :: forall name a f. Functor f => (Bool -> f Bool) -> SimplifyOpts name a -> f (SimplifyOpts name a)
- soInlineConstants :: forall name a f. Functor f => (Bool -> f Bool) -> SimplifyOpts name a -> f (SimplifyOpts name a)
- soInlineCallsiteGrowth :: forall name a f. Functor f => (AstSize -> f AstSize) -> SimplifyOpts name a -> f (SimplifyOpts name a)
- soPreserveLogging :: forall name a f. Functor f => (Bool -> f Bool) -> SimplifyOpts name a -> f (SimplifyOpts name a)
- data Term name (uni :: Type -> Type) fun ann
- = Var !ann !name
- | LamAbs !ann !name !(Term name uni fun ann)
- | Apply !ann !(Term name uni fun ann) !(Term name uni fun ann)
- | Force !ann !(Term name uni fun ann)
- | Delay !ann !(Term name uni fun ann)
- | Constant !ann !(Some (ValueOf uni))
- | Builtin !ann !fun
- | Error !ann
- | Constr !ann !Word64 ![Term name uni fun ann]
- | Case !ann !(Term name uni fun ann) !(Vector (Term name uni fun ann))
- data Program name (uni :: Type -> Type) fun ann = Program {}
- applyProgram :: forall m a name (uni :: Type -> Type) fun. (MonadError ApplyProgramError m, Semigroup a) => Program name uni fun a -> Program name uni fun a -> m (Program name uni fun a)
- parseScoped :: forall (uni :: Type -> Type) fun m. (MonadError (Error uni fun SrcSpan) m, MonadQuote m) => Text -> m (Program Name DefaultUni DefaultFun SrcSpan)
- data DefaultUni a
- data DefaultFun
Documentation
module PlutusCore.Name.Unique
module UntypedPlutusCore.AstSize
module UntypedPlutusCore.Core
module UntypedPlutusCore.DeBruijn
data SimplifierStage Source #
Constructors
| FloatDelay | |
| ForceDelay | |
| ForceCaseDelay | |
| CaseOfCase | |
| CaseReduce | |
| Inline | |
| CSE | |
| ApplyToCase | |
| Unknown |
Instances
termMapNames :: forall name name' (uni :: Type -> Type) fun ann. (name -> name') -> Term name uni fun ann -> Term name' uni fun ann Source #
Completely replace the names with a new name type.
programMapNames :: forall name name' (uni :: Type -> Type) fun ann. (name -> name') -> Program name uni fun ann -> Program name' uni fun ann Source #
newtype InlineHints name a Source #
Constructors
| InlineHints | |
Fields
| |
Instances
| Show (InlineHints name a) Source # | |
Defined in PlutusCore.Annotation | |
| Default (InlineHints name a) Source # | |
Defined in PlutusCore.Annotation Methods def :: InlineHints name a # | |
data SimplifyOpts name a Source #
Constructors
| SimplifyOpts | |
Fields | |
Instances
| Show (SimplifyOpts name a) Source # | |
Defined in UntypedPlutusCore.Simplify.Opts | |
defaultSimplifyOpts :: SimplifyOpts name a Source #
substVarA :: forall f name ann (uni :: Type -> Type) fun. Applicative f => (name -> ann -> f (Maybe (Term name uni fun ann))) -> Term name uni fun ann -> f (Term name uni fun ann) Source #
Applicatively replace a variable using the given function.
substVar :: forall name ann (uni :: Type -> Type) fun. (name -> ann -> Maybe (Term name uni fun ann)) -> Term name uni fun ann -> Term name uni fun ann Source #
Replace a variable using the given function.
termSubstNamesM :: forall m name ann (uni :: Type -> Type) fun. Monad m => (name -> ann -> m (Maybe (Term name uni fun ann))) -> Term name uni fun ann -> m (Term name uni fun ann) Source #
Naively monadically substitute names using the given function (i.e. do not substitute binders).
termSubstNames :: forall name ann (uni :: Type -> Type) fun. (name -> ann -> Maybe (Term name uni fun ann)) -> Term name uni fun ann -> Term name uni fun ann Source #
Naively substitute names using the given function (i.e. do not substitute binders).
vTerm :: forall name (uni :: Type -> Type) fun ann f. (Contravariant f, Applicative f) => (name -> f name) -> Term name uni fun ann -> f (Term name uni fun ann) Source #
Get all the term variables in a term.
substConstantA :: forall f ann (uni :: Type -> Type) name fun. Applicative f => (ann -> Some (ValueOf uni) -> f (Maybe (Term name uni fun ann))) -> Term name uni fun ann -> f (Term name uni fun ann) Source #
Applicatively replace a constant using the given function.
substConstant :: forall ann (uni :: Type -> Type) name fun. (ann -> Some (ValueOf uni) -> Maybe (Term name uni fun ann)) -> Term name uni fun ann -> Term name uni fun ann Source #
Replace a constant using the given function.
termSubstConstantsM :: forall m ann (uni :: Type -> Type) name fun. Monad m => (ann -> Some (ValueOf uni) -> m (Maybe (Term name uni fun ann))) -> Term name uni fun ann -> m (Term name uni fun ann) Source #
Monadically substitute constants using the given function.
termSubstConstants :: forall ann (uni :: Type -> Type) name fun. (ann -> Some (ValueOf uni) -> Maybe (Term name uni fun ann)) -> Term name uni fun ann -> Term name uni fun ann Source #
Substitute constants using the given function.
newtype SimplifierT name (uni :: Type -> Type) fun ann (m :: Type -> Type) a Source #
Constructors
| SimplifierT | |
Fields
| |
Instances
| MonadTrans (SimplifierT name uni fun ann) Source # | |
Defined in UntypedPlutusCore.Transform.Simplifier Methods lift :: Monad m => m a -> SimplifierT name uni fun ann m a Source # | |
| Monad m => Applicative (SimplifierT name uni fun ann m) Source # | |
Defined in UntypedPlutusCore.Transform.Simplifier Methods pure :: a -> SimplifierT name uni fun ann m a Source # (<*>) :: SimplifierT name uni fun ann m (a -> b) -> SimplifierT name uni fun ann m a -> SimplifierT name uni fun ann m b Source # liftA2 :: (a -> b -> c) -> SimplifierT name uni fun ann m a -> SimplifierT name uni fun ann m b -> SimplifierT name uni fun ann m c Source # (*>) :: SimplifierT name uni fun ann m a -> SimplifierT name uni fun ann m b -> SimplifierT name uni fun ann m b Source # (<*) :: SimplifierT name uni fun ann m a -> SimplifierT name uni fun ann m b -> SimplifierT name uni fun ann m a Source # | |
| Functor m => Functor (SimplifierT name uni fun ann m) Source # | |
Defined in UntypedPlutusCore.Transform.Simplifier Methods fmap :: (a -> b) -> SimplifierT name uni fun ann m a -> SimplifierT name uni fun ann m b Source # (<$) :: a -> SimplifierT name uni fun ann m b -> SimplifierT name uni fun ann m a Source # | |
| Monad m => Monad (SimplifierT name uni fun ann m) Source # | |
Defined in UntypedPlutusCore.Transform.Simplifier Methods (>>=) :: SimplifierT name uni fun ann m a -> (a -> SimplifierT name uni fun ann m b) -> SimplifierT name uni fun ann m b Source # (>>) :: SimplifierT name uni fun ann m a -> SimplifierT name uni fun ann m b -> SimplifierT name uni fun ann m b Source # return :: a -> SimplifierT name uni fun ann m a Source # | |
| MonadQuote m => MonadQuote (SimplifierT name uni fun ann m) Source # | |
Defined in UntypedPlutusCore.Transform.Simplifier Methods liftQuote :: Quote a -> SimplifierT name uni fun ann m a Source # | |
recordSimplification :: forall (m :: Type -> Type) name (uni :: Type -> Type) fun a. Monad m => Term name uni fun a -> SimplifierStage -> Term name uni fun a -> SimplifierT name uni fun a m () Source #
type Simplifier name (uni :: Type -> Type) fun ann = SimplifierT name uni fun ann Identity Source #
data CseWhichSubterms Source #
Which subterms should be considered as candidates?
Constructors
| AllSubterms | |
| ExcludeWorkFree |
Instances
| Read CseWhichSubterms Source # | |
Defined in UntypedPlutusCore.Transform.Cse | |
| Show CseWhichSubterms Source # | |
Defined in UntypedPlutusCore.Transform.Cse | |
| Pretty CseWhichSubterms Source # | |
Defined in UntypedPlutusCore.Transform.Cse | |
recordSimplificationWithHints :: forall (m :: Type -> Type) name (uni :: Type -> Type) fun a. Monad m => Hints -> Term name uni fun a -> SimplifierStage -> Term name uni fun a -> SimplifierT name uni fun a m () Source #
newtype SimplifierTrace name (uni :: Type -> Type) fun a Source #
Constructors
| SimplifierTrace | |
Fields
| |
data Simplification name (uni :: Type -> Type) fun a Source #
Constructors
| Simplification | |
runSimplifierT :: forall name (uni :: Type -> Type) fun ann m a. SimplifierT name uni fun ann m a -> m (a, SimplifierTrace name uni fun ann) Source #
evalSimplifierT :: forall m name (uni :: Type -> Type) fun ann a. Monad m => SimplifierT name uni fun ann m a -> m a Source #
execSimplifierT :: forall m name (uni :: Type -> Type) fun ann a. Monad m => SimplifierT name uni fun ann m a -> m (SimplifierTrace name uni fun ann) Source #
runSimplifier :: forall name (uni :: Type -> Type) fun ann a. Simplifier name uni fun ann a -> (a, SimplifierTrace name uni fun ann) Source #
evalSimplifier :: forall name (uni :: Type -> Type) fun ann a. Simplifier name uni fun ann a -> a Source #
execSimplifier :: forall name (uni :: Type -> Type) fun ann a. Simplifier name uni fun ann a -> SimplifierTrace name uni fun ann Source #
initSimplifierTrace :: forall name (uni :: Type -> Type) fun a. SimplifierTrace name uni fun a Source #
simplifyTerm :: forall name (uni :: Type -> Type) fun m a. Compiling m uni fun name a => SimplifyOpts name a -> BuiltinSemanticsVariant fun -> Term name uni fun a -> m (Term name uni fun a) Source #
simplifyProgram :: forall name (uni :: Type -> Type) fun m a. Compiling m uni fun name a => SimplifyOpts name a -> BuiltinSemanticsVariant fun -> Program name uni fun a -> m (Program name uni fun a) Source #
simplifyProgramWithTrace :: forall name (uni :: Type -> Type) fun m a. Compiling m uni fun name a => SimplifyOpts name a -> BuiltinSemanticsVariant fun -> Program name uni fun a -> m (Program name uni fun a, SimplifierTrace name uni fun a) Source #
termSimplifier :: forall name (uni :: Type -> Type) fun (m :: Type -> Type) a. Compiling m uni fun name a => SimplifyOpts name a -> BuiltinSemanticsVariant fun -> Term name uni fun a -> SimplifierT name uni fun a m (Term name uni fun a) Source #
soApplyToCase :: forall name a f. Functor f => (Bool -> f Bool) -> SimplifyOpts name a -> f (SimplifyOpts name a) Source #
soMaxSimplifierIterations :: forall name a f. Functor f => (Int -> f Int) -> SimplifyOpts name a -> f (SimplifyOpts name a) Source #
soMaxCseIterations :: forall name a f. Functor f => (Int -> f Int) -> SimplifyOpts name a -> f (SimplifyOpts name a) Source #
soCseWhichSubterms :: forall name a f. Functor f => (CseWhichSubterms -> f CseWhichSubterms) -> SimplifyOpts name a -> f (SimplifyOpts name a) Source #
soInlineHints :: forall name1 a1 name2 a2 f. Functor f => (InlineHints name1 a1 -> f (InlineHints name2 a2)) -> SimplifyOpts name1 a1 -> f (SimplifyOpts name2 a2) Source #
soConservativeOpts :: forall name a f. Functor f => (Bool -> f Bool) -> SimplifyOpts name a -> f (SimplifyOpts name a) Source #
soInlineConstants :: forall name a f. Functor f => (Bool -> f Bool) -> SimplifyOpts name a -> f (SimplifyOpts name a) Source #
soInlineCallsiteGrowth :: forall name a f. Functor f => (AstSize -> f AstSize) -> SimplifyOpts name a -> f (SimplifyOpts name a) Source #
soPreserveLogging :: forall name a f. Functor f => (Bool -> f Bool) -> SimplifyOpts name a -> f (SimplifyOpts name a) Source #
data Term name (uni :: Type -> Type) fun ann Source #
The type of Untyped Plutus Core terms. Mirrors the type of Typed Plutus Core terms except
- all types are removed
IWrapandUnwrapare removed- type abstractions are replaced with
Delay - type instantiations are replaced with
Force
The latter two are due to the fact that we don't have value restriction in Typed Plutus Core
and hence a computation can be stuck expecting only a single type argument for the computation
to become unstuck. Therefore we can't just silently remove type abstractions and instantiations and
need to replace them with something else that also blocks evaluation (in order for the semantics
of an erased program to match with the semantics of the original typed one). Delay and Force
serve exactly this purpose.
Constructors
| Var !ann !name | |
| LamAbs !ann !name !(Term name uni fun ann) | |
| Apply !ann !(Term name uni fun ann) !(Term name uni fun ann) | |
| Force !ann !(Term name uni fun ann) | |
| Delay !ann !(Term name uni fun ann) | |
| Constant !ann !(Some (ValueOf uni)) | |
| Builtin !ann !fun | |
| Error !ann | |
| Constr !ann !Word64 ![Term name uni fun ann] | |
| Case !ann !(Term name uni fun ann) !(Vector (Term name uni fun ann)) |
Instances
| name ~ Name => Reference Name (Term name uni fun) Source # | |||||
Defined in UntypedPlutusCore.Core.Instance.Scoping Methods referenceVia :: (forall name0. ToScopedName name0 => name0 -> NameAnn) -> Name -> Term name uni fun NameAnn -> Term name uni fun NameAnn Source # | |||||
| DefaultPrettyPlcStrategy (Term name uni fun ann) => PrettyBy PrettyConfigPlc (Term name uni fun ann) Source # | |||||
Defined in UntypedPlutusCore.Core.Instance.Pretty.Plc Methods prettyBy :: PrettyConfigPlc -> Term name uni fun ann -> Doc ann0 # prettyListBy :: PrettyConfigPlc -> [Term name uni fun ann] -> Doc ann0 # | |||||
| (PrettyClassicBy configName name, PrettyUni uni, Pretty fun, Pretty ann) => PrettyBy (PrettyConfigClassic configName) (Term name uni fun ann) Source # | |||||
Defined in UntypedPlutusCore.Core.Instance.Pretty.Classic Methods prettyBy :: PrettyConfigClassic configName -> Term name uni fun ann -> Doc ann0 # prettyListBy :: PrettyConfigClassic configName -> [Term name uni fun ann] -> Doc ann0 # | |||||
| (PrettyReadableBy configName name, PrettyUni uni, Pretty fun, Show configName) => PrettyBy (PrettyConfigReadable configName) (Term name uni fun a) Source # | |||||
Defined in UntypedPlutusCore.Core.Instance.Pretty.Readable Methods prettyBy :: PrettyConfigReadable configName -> Term name uni fun a -> Doc ann # prettyListBy :: PrettyConfigReadable configName -> [Term name uni fun a] -> Doc ann # | |||||
| Functor (Term name uni fun) Source # | |||||
| name ~ Name => CollectScopeInfo (Term name uni fun) Source # | |||||
Defined in UntypedPlutusCore.Core.Instance.Scoping Methods collectScopeInfo :: Term name uni fun NameAnn -> ScopeErrorOrInfo Source # | |||||
| name ~ Name => EstablishScoping (Term name uni fun) Source # | |||||
Defined in UntypedPlutusCore.Core.Instance.Scoping | |||||
| TermLike (Term name uni fun) TyName name uni fun Source # | |||||
Defined in UntypedPlutusCore.Core.Type Methods var :: ann -> name -> Term name uni fun ann Source # tyAbs :: ann -> TyName -> Kind ann -> Term name uni fun ann -> Term name uni fun ann Source # lamAbs :: ann -> name -> Type TyName uni ann -> Term name uni fun ann -> Term name uni fun ann Source # apply :: ann -> Term name uni fun ann -> Term name uni fun ann -> Term name uni fun ann Source # constant :: ann -> Some (ValueOf uni) -> Term name uni fun ann Source # builtin :: ann -> fun -> Term name uni fun ann Source # tyInst :: ann -> Term name uni fun ann -> Type TyName uni ann -> Term name uni fun ann Source # unwrap :: ann -> Term name uni fun ann -> Term name uni fun ann Source # iWrap :: ann -> Type TyName uni ann -> Type TyName uni ann -> Term name uni fun ann -> Term name uni fun ann Source # error :: ann -> Type TyName uni ann -> Term name uni fun ann Source # constr :: ann -> Type TyName uni ann -> Word64 -> [Term name uni fun ann] -> Term name uni fun ann Source # kase :: ann -> Type TyName uni ann -> Term name uni fun ann -> [Term name uni fun ann] -> Term name uni fun ann Source # termLet :: ann -> TermDef (Term name uni fun) TyName name uni ann -> Term name uni fun ann -> Term name uni fun ann Source # typeLet :: ann -> TypeDef TyName uni ann -> Term name uni fun ann -> Term name uni fun ann Source # | |||||
| ThrowableBuiltins uni fun => MonadError (CekEvaluationException NamedDeBruijn uni fun) (CekM uni fun s) Source # | |||||
Defined in UntypedPlutusCore.Evaluation.Machine.Cek.Internal Methods throwError :: CekEvaluationException NamedDeBruijn uni fun -> CekM uni fun s a Source # catchError :: CekM uni fun s a -> (CekEvaluationException NamedDeBruijn uni fun -> CekM uni fun s a) -> CekM uni fun s a Source # | |||||
| Generic (Term name uni fun ann) Source # | |||||
Defined in UntypedPlutusCore.Core.Type Associated Types
| |||||
| (Show name, GShow uni, Everywhere uni Show, Show fun, Show ann, Closed uni) => Show (Term name uni fun ann) Source # | |||||
| (NFData name, NFData fun, NFData ann, Everywhere uni NFData, Closed uni) => NFData (Term name uni fun ann) Source # | |||||
Defined in UntypedPlutusCore.Core.Type | |||||
| (GEq uni, Closed uni, Everywhere uni Eq, Eq fun, Eq ann) => Eq (Term DeBruijn uni fun ann) Source # | |||||
| (GEq uni, Closed uni, Everywhere uni Eq, Eq fun, Eq ann) => Eq (Term FakeNamedDeBruijn uni fun ann) Source # | |||||
Defined in UntypedPlutusCore.Core.Instance.Eq Methods (==) :: Term FakeNamedDeBruijn uni fun ann -> Term FakeNamedDeBruijn uni fun ann -> Bool Source # (/=) :: Term FakeNamedDeBruijn uni fun ann -> Term FakeNamedDeBruijn uni fun ann -> Bool Source # | |||||
| (GEq uni, Closed uni, Everywhere uni Eq, Eq fun, Eq ann) => Eq (Term NamedDeBruijn uni fun ann) Source # | |||||
Defined in UntypedPlutusCore.Core.Instance.Eq Methods (==) :: Term NamedDeBruijn uni fun ann -> Term NamedDeBruijn uni fun ann -> Bool Source # (/=) :: Term NamedDeBruijn uni fun ann -> Term NamedDeBruijn uni fun ann -> Bool Source # | |||||
| (GEq uni, Closed uni, Everywhere uni Eq, Eq fun, Eq ann) => Eq (Term Name uni fun ann) Source # | |||||
| HashableTermConstraints uni fun ann => Hashable (Term DeBruijn uni fun ann) Source # | |||||
Defined in UntypedPlutusCore.Core.Instance.Eq | |||||
| HashableTermConstraints uni fun ann => Hashable (Term FakeNamedDeBruijn uni fun ann) Source # | |||||
Defined in UntypedPlutusCore.Core.Instance.Eq Methods hashWithSalt :: Int -> Term FakeNamedDeBruijn uni fun ann -> Int hash :: Term FakeNamedDeBruijn uni fun ann -> Int | |||||
| HashableTermConstraints uni fun ann => Hashable (Term NamedDeBruijn uni fun ann) Source # | |||||
Defined in UntypedPlutusCore.Core.Instance.Eq Methods hashWithSalt :: Int -> Term NamedDeBruijn uni fun ann -> Int hash :: Term NamedDeBruijn uni fun ann -> Int | |||||
| HashableTermConstraints uni fun ann => Hashable (Term Name uni fun ann) Source # | |||||
Defined in UntypedPlutusCore.Core.Instance.Eq | |||||
| HasConstant (Term name uni fun ()) Source # | |||||
Defined in UntypedPlutusCore.Core.Type | |||||
| HasUniques (Term name uni fun ann) => Rename (Term name uni fun ann) Source # | |||||
Defined in UntypedPlutusCore.Rename | |||||
| (PrettyClassic name, PrettyUni uni, Pretty fun, Pretty ann) => Pretty (Term name uni fun ann) Source # | |||||
| type Rep (Term name uni fun ann) Source # | |||||
Defined in UntypedPlutusCore.Core.Type type Rep (Term name uni fun ann) = D1 ('MetaData "Term" "UntypedPlutusCore.Core.Type" "plutus-core-1.60.0.0-LXFqBsoUlXsJIEqLytHte7" 'False) (((C1 ('MetaCons "Var" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ann) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 name)) :+: C1 ('MetaCons "LamAbs" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ann) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 name) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Term name uni fun ann))))) :+: (C1 ('MetaCons "Apply" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ann) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Term name uni fun ann)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Term name uni fun ann)))) :+: (C1 ('MetaCons "Force" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ann) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Term name uni fun ann))) :+: C1 ('MetaCons "Delay" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ann) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Term name uni fun ann)))))) :+: ((C1 ('MetaCons "Constant" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ann) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Some (ValueOf uni)))) :+: C1 ('MetaCons "Builtin" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ann) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 fun))) :+: (C1 ('MetaCons "Error" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ann)) :+: (C1 ('MetaCons "Constr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ann) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word64) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [Term name uni fun ann]))) :+: C1 ('MetaCons "Case" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ann) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Term name uni fun ann)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Vector (Term name uni fun ann))))))))) | |||||
| type HasUniques (Term name uni fun ann) Source # | |||||
Defined in UntypedPlutusCore.Core.Type | |||||
| type UniOf (Term name uni fun ann) Source # | |||||
Defined in UntypedPlutusCore.Core.Type | |||||
data Program name (uni :: Type -> Type) fun ann Source #
Instances
| DefaultPrettyPlcStrategy (Program name uni fun ann) => PrettyBy PrettyConfigPlc (Program name uni fun ann) Source # | |||||
Defined in UntypedPlutusCore.Core.Instance.Pretty.Plc Methods prettyBy :: PrettyConfigPlc -> Program name uni fun ann -> Doc ann0 # prettyListBy :: PrettyConfigPlc -> [Program name uni fun ann] -> Doc ann0 # | |||||
| (PrettyClassicBy configName (Term name uni fun ann), Pretty ann) => PrettyBy (PrettyConfigClassic configName) (Program name uni fun ann) Source # | |||||
Defined in UntypedPlutusCore.Core.Instance.Pretty.Classic Methods prettyBy :: PrettyConfigClassic configName -> Program name uni fun ann -> Doc ann0 # prettyListBy :: PrettyConfigClassic configName -> [Program name uni fun ann] -> Doc ann0 # | |||||
| PrettyReadableBy configName (Term name uni fun a) => PrettyBy (PrettyConfigReadable configName) (Program name uni fun a) Source # | |||||
Defined in UntypedPlutusCore.Core.Instance.Pretty.Readable Methods prettyBy :: PrettyConfigReadable configName -> Program name uni fun a -> Doc ann # prettyListBy :: PrettyConfigReadable configName -> [Program name uni fun a] -> Doc ann # | |||||
| Functor (Program name uni fun) Source # | |||||
| name ~ Name => CollectScopeInfo (Program name uni fun) Source # | |||||
Defined in UntypedPlutusCore.Core.Instance.Scoping Methods collectScopeInfo :: Program name uni fun NameAnn -> ScopeErrorOrInfo Source # | |||||
| name ~ Name => EstablishScoping (Program name uni fun) Source # | |||||
Defined in UntypedPlutusCore.Core.Instance.Scoping | |||||
| Generic (Program name uni fun ann) Source # | |||||
Defined in UntypedPlutusCore.Core.Type Associated Types
| |||||
| (Show name, GShow uni, Everywhere uni Show, Show fun, Show ann, Closed uni) => Show (Program name uni fun ann) Source # | |||||
| (NFData name, Everywhere uni NFData, NFData fun, NFData ann, Closed uni) => NFData (Program name uni fun ann) Source # | |||||
Defined in UntypedPlutusCore.Core.Type | |||||
| (GEq uni, Closed uni, Everywhere uni Eq, Eq fun, Eq ann, Eq (Term name uni fun ann)) => Eq (Program name uni fun ann) Source # | |||||
| HasUniques (Program name uni fun ann) => Rename (Program name uni fun ann) Source # | |||||
Defined in UntypedPlutusCore.Rename | |||||
| (PrettyClassic name, PrettyUni uni, Pretty fun, Pretty ann) => Pretty (Program name uni fun ann) Source # | |||||
| type Rep (Program name uni fun ann) Source # | |||||
Defined in UntypedPlutusCore.Core.Type type Rep (Program name uni fun ann) = D1 ('MetaData "Program" "UntypedPlutusCore.Core.Type" "plutus-core-1.60.0.0-LXFqBsoUlXsJIEqLytHte7" '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 name uni fun ann))))) | |||||
| type HasUniques (Program name uni fun ann) Source # | |||||
Defined in UntypedPlutusCore.Core.Type | |||||
applyProgram :: forall m a name (uni :: Type -> Type) fun. (MonadError ApplyProgramError m, Semigroup a) => Program name uni fun a -> Program name uni fun a -> m (Program name uni fun a) Source #
Applies one program to another. Fails if the versions do not match and tries to merge annotations.
parseScoped :: forall (uni :: Type -> Type) fun m. (MonadError (Error uni fun SrcSpan) m, MonadQuote m) => Text -> m (Program Name DefaultUni DefaultFun SrcSpan) Source #
Parse and rewrite so that names are globally unique, not just unique within their scope.
data DefaultUni a Source #
The universe used by default.
Instances
| AnnotateCaseBuiltin DefaultUni Source # | |||||||||||||
Defined in PlutusCore.Default.Universe Methods annotateCaseBuiltin :: UniOf term ~ DefaultUni => Type TyName DefaultUni ann -> [term] -> Either Text [(term, [Type TyName DefaultUni ann])] Source # | |||||||||||||
| CaseBuiltin DefaultUni Source # | |||||||||||||
Defined in PlutusCore.Default.Universe Methods caseBuiltin :: UniOf term ~ DefaultUni => Some (ValueOf DefaultUni) -> Vector term -> HeadSpine Text term (Some (ValueOf DefaultUni)) Source # | |||||||||||||
| ToKind DefaultUni Source # | |||||||||||||
Defined in PlutusCore.Default.Universe Methods toSingKind :: forall k (a :: k). DefaultUni (Esc a) -> SingKind k Source # | |||||||||||||
| TestTypesFromTheUniverseAreAllKnown DefaultUni Source # | |||||||||||||
Defined in PlutusCore.Default.Universe | |||||||||||||
| Closed DefaultUni Source # | |||||||||||||
Defined in PlutusCore.Default.Universe Associated Types
Methods encodeUni :: DefaultUni a -> [Int] Source # withDecodedUni :: (forall k (a :: k). Typeable k => DefaultUni (Esc a) -> DecodeUniM r) -> DecodeUniM r Source # bring :: Everywhere DefaultUni constr => proxy constr -> DefaultUni (Esc a) -> (constr a => r) -> r Source # | |||||||||||||
| HasUniApply DefaultUni Source # | |||||||||||||
Defined in PlutusCore.Default.Universe Methods uniApply :: forall k l (f :: k -> l) (a :: k). DefaultUni (Esc f) -> DefaultUni (Esc a) -> DefaultUni (Esc (f a)) Source # matchUniApply :: DefaultUni tb -> r -> (forall k l (f :: k -> l) (a :: k). tb ~ Esc (f a) => DefaultUni (Esc f) -> DefaultUni (Esc a) -> r) -> r Source # | |||||||||||||
| AllBuiltinArgs DefaultUni (GEqL DefaultUni) a => GEqL DefaultUni a Source # | |||||||||||||
Defined in PlutusCore.Default.Universe Methods geqL :: DefaultUni (Esc a) -> DefaultUni (Esc b) -> EvaluationResult (a :~: b) Source # | |||||||||||||
| GEq DefaultUni Source # | |||||||||||||
Defined in PlutusCore.Default.Universe Methods geq :: DefaultUni a -> DefaultUni b -> Maybe (a :~: b) # | |||||||||||||
| GShow DefaultUni Source # | |||||||||||||
Defined in PlutusCore.Default.Universe Methods gshowsPrec :: Int -> DefaultUni a -> ShowS # | |||||||||||||
| UniOf term ~ DefaultUni => MakeKnownIn DefaultUni term Void Source # | |||||||||||||
Defined in PlutusCore.Examples.Builtins Methods makeKnown :: Void -> BuiltinResult term Source # | |||||||||||||
| KnownBuiltinTypeIn DefaultUni term Integer => MakeKnownIn DefaultUni term Int16 Source # | |||||||||||||
Defined in PlutusCore.Default.Universe Methods makeKnown :: Int16 -> BuiltinResult term Source # | |||||||||||||
| KnownBuiltinTypeIn DefaultUni term Integer => MakeKnownIn DefaultUni term Int32 Source # | |||||||||||||
Defined in PlutusCore.Default.Universe Methods makeKnown :: Int32 -> BuiltinResult term Source # | |||||||||||||
| KnownBuiltinTypeIn DefaultUni term Integer => MakeKnownIn DefaultUni term Int64 Source # | |||||||||||||
Defined in PlutusCore.Default.Universe Methods makeKnown :: Int64 -> BuiltinResult term Source # | |||||||||||||
| KnownBuiltinTypeIn DefaultUni term Integer => MakeKnownIn DefaultUni term Int8 Source # | |||||||||||||
Defined in PlutusCore.Default.Universe Methods makeKnown :: Int8 -> BuiltinResult term Source # | |||||||||||||
| KnownBuiltinTypeIn DefaultUni term Integer => MakeKnownIn DefaultUni term Word16 Source # | |||||||||||||
Defined in PlutusCore.Default.Universe Methods makeKnown :: Word16 -> BuiltinResult term Source # | |||||||||||||
| KnownBuiltinTypeIn DefaultUni term Integer => MakeKnownIn DefaultUni term Word32 Source # | |||||||||||||
Defined in PlutusCore.Default.Universe Methods makeKnown :: Word32 -> BuiltinResult term Source # | |||||||||||||
| KnownBuiltinTypeIn DefaultUni term Integer => MakeKnownIn DefaultUni term Word64 Source # | |||||||||||||
Defined in PlutusCore.Default.Universe Methods makeKnown :: Word64 -> BuiltinResult term Source # | |||||||||||||
| KnownBuiltinTypeIn DefaultUni term Integer => MakeKnownIn DefaultUni term Word8 Source # | |||||||||||||
Defined in PlutusCore.Default.Universe Methods makeKnown :: Word8 -> BuiltinResult term Source # | |||||||||||||
| KnownBuiltinTypeIn DefaultUni term ByteString => MakeKnownIn DefaultUni term ByteString Source # | |||||||||||||
Defined in PlutusCore.Default.Universe Methods makeKnown :: ByteString -> BuiltinResult term Source # | |||||||||||||
| KnownBuiltinTypeIn DefaultUni term Element => MakeKnownIn DefaultUni term Element Source # | |||||||||||||
Defined in PlutusCore.Default.Universe Methods makeKnown :: Element -> BuiltinResult term Source # | |||||||||||||
| KnownBuiltinTypeIn DefaultUni term Element => MakeKnownIn DefaultUni term Element Source # | |||||||||||||
Defined in PlutusCore.Default.Universe Methods makeKnown :: Element -> BuiltinResult term Source # | |||||||||||||
| KnownBuiltinTypeIn DefaultUni term MlResult => MakeKnownIn DefaultUni term MlResult Source # | |||||||||||||
Defined in PlutusCore.Default.Universe Methods makeKnown :: MlResult -> BuiltinResult term Source # | |||||||||||||
| KnownBuiltinTypeIn DefaultUni term Data => MakeKnownIn DefaultUni term Data Source # | |||||||||||||
Defined in PlutusCore.Default.Universe Methods makeKnown :: Data -> BuiltinResult term Source # | |||||||||||||
| KnownBuiltinTypeIn DefaultUni term Value => MakeKnownIn DefaultUni term DataNodeCount Source # | |||||||||||||
Defined in PlutusCore.Default.Universe Methods makeKnown :: DataNodeCount -> BuiltinResult term Source # | |||||||||||||
| KnownBuiltinTypeIn DefaultUni term Integer => MakeKnownIn DefaultUni term IntegerCostedLiterally Source # | |||||||||||||
Defined in PlutusCore.Default.Universe Methods makeKnown :: IntegerCostedLiterally -> BuiltinResult term Source # | |||||||||||||
| KnownBuiltinTypeIn DefaultUni term Integer => MakeKnownIn DefaultUni term NumBytesCostedAsNumWords Source # | |||||||||||||
Defined in PlutusCore.Default.Universe Methods makeKnown :: NumBytesCostedAsNumWords -> BuiltinResult term Source # | |||||||||||||
| KnownBuiltinTypeIn DefaultUni term Value => MakeKnownIn DefaultUni term ValueMaxDepth Source # | |||||||||||||
Defined in PlutusCore.Default.Universe Methods makeKnown :: ValueMaxDepth -> BuiltinResult term Source # | |||||||||||||
| KnownBuiltinTypeIn DefaultUni term Value => MakeKnownIn DefaultUni term ValueTotalSize Source # | |||||||||||||
Defined in PlutusCore.Default.Universe Methods makeKnown :: ValueTotalSize -> BuiltinResult term Source # | |||||||||||||
| KnownBuiltinTypeIn DefaultUni term Value => MakeKnownIn DefaultUni term Value Source # | |||||||||||||
Defined in PlutusCore.Default.Universe Methods makeKnown :: Value -> BuiltinResult term Source # | |||||||||||||
| KnownBuiltinTypeIn DefaultUni term Text => MakeKnownIn DefaultUni term Text Source # | |||||||||||||
Defined in PlutusCore.Default.Universe Methods makeKnown :: Text -> BuiltinResult term Source # | |||||||||||||
| KnownBuiltinTypeIn DefaultUni term Integer => MakeKnownIn DefaultUni term Integer Source # | |||||||||||||
Defined in PlutusCore.Default.Universe Methods makeKnown :: Integer -> BuiltinResult term Source # | |||||||||||||
| KnownBuiltinTypeIn DefaultUni term Integer => MakeKnownIn DefaultUni term Natural Source # | |||||||||||||
Defined in PlutusCore.Default.Universe Methods makeKnown :: Natural -> BuiltinResult term Source # | |||||||||||||
| KnownBuiltinTypeIn DefaultUni term () => MakeKnownIn DefaultUni term () Source # | |||||||||||||
Defined in PlutusCore.Default.Universe Methods makeKnown :: () -> BuiltinResult term Source # | |||||||||||||
| KnownBuiltinTypeIn DefaultUni term Bool => MakeKnownIn DefaultUni term Bool Source # | |||||||||||||
Defined in PlutusCore.Default.Universe Methods makeKnown :: Bool -> BuiltinResult term Source # | |||||||||||||
| KnownBuiltinTypeIn DefaultUni term Integer => MakeKnownIn DefaultUni term Int Source # | |||||||||||||
Defined in PlutusCore.Default.Universe Methods makeKnown :: Int -> BuiltinResult term Source # | |||||||||||||
| KnownBuiltinTypeIn DefaultUni term Integer => MakeKnownIn DefaultUni term Word Source # | |||||||||||||
Defined in PlutusCore.Default.Universe Methods makeKnown :: Word -> BuiltinResult term Source # | |||||||||||||
| UniOf term ~ DefaultUni => ReadKnownIn DefaultUni term Void Source # | |||||||||||||
Defined in PlutusCore.Examples.Builtins Methods readKnown :: term -> ReadKnownM Void Source # | |||||||||||||
| KnownBuiltinTypeIn DefaultUni term Integer => ReadKnownIn DefaultUni term Int16 Source # | |||||||||||||
Defined in PlutusCore.Default.Universe Methods readKnown :: term -> ReadKnownM Int16 Source # | |||||||||||||
| KnownBuiltinTypeIn DefaultUni term Integer => ReadKnownIn DefaultUni term Int32 Source # | |||||||||||||
Defined in PlutusCore.Default.Universe Methods readKnown :: term -> ReadKnownM Int32 Source # | |||||||||||||
| KnownBuiltinTypeIn DefaultUni term Integer => ReadKnownIn DefaultUni term Int64 Source # | |||||||||||||
Defined in PlutusCore.Default.Universe Methods readKnown :: term -> ReadKnownM Int64 Source # | |||||||||||||
| KnownBuiltinTypeIn DefaultUni term Integer => ReadKnownIn DefaultUni term Int8 Source # | |||||||||||||
Defined in PlutusCore.Default.Universe Methods readKnown :: term -> ReadKnownM Int8 Source # | |||||||||||||
| KnownBuiltinTypeIn DefaultUni term Integer => ReadKnownIn DefaultUni term Word16 Source # | |||||||||||||
Defined in PlutusCore.Default.Universe Methods readKnown :: term -> ReadKnownM Word16 Source # | |||||||||||||
| KnownBuiltinTypeIn DefaultUni term Integer => ReadKnownIn DefaultUni term Word32 Source # | |||||||||||||
Defined in PlutusCore.Default.Universe Methods readKnown :: term -> ReadKnownM Word32 Source # | |||||||||||||
| KnownBuiltinTypeIn DefaultUni term Integer => ReadKnownIn DefaultUni term Word64 Source # | |||||||||||||
Defined in PlutusCore.Default.Universe Methods readKnown :: term -> ReadKnownM Word64 Source # | |||||||||||||
| KnownBuiltinTypeIn DefaultUni term Integer => ReadKnownIn DefaultUni term Word8 Source # | |||||||||||||
Defined in PlutusCore.Default.Universe Methods readKnown :: term -> ReadKnownM Word8 Source # | |||||||||||||
| KnownBuiltinTypeIn DefaultUni term ByteString => ReadKnownIn DefaultUni term ByteString Source # | |||||||||||||
Defined in PlutusCore.Default.Universe Methods readKnown :: term -> ReadKnownM ByteString Source # | |||||||||||||
| KnownBuiltinTypeIn DefaultUni term Element => ReadKnownIn DefaultUni term Element Source # | |||||||||||||
Defined in PlutusCore.Default.Universe Methods readKnown :: term -> ReadKnownM Element Source # | |||||||||||||
| KnownBuiltinTypeIn DefaultUni term Element => ReadKnownIn DefaultUni term Element Source # | |||||||||||||
Defined in PlutusCore.Default.Universe Methods readKnown :: term -> ReadKnownM Element Source # | |||||||||||||
| KnownBuiltinTypeIn DefaultUni term MlResult => ReadKnownIn DefaultUni term MlResult Source # | |||||||||||||
Defined in PlutusCore.Default.Universe Methods readKnown :: term -> ReadKnownM MlResult Source # | |||||||||||||
| KnownBuiltinTypeIn DefaultUni term Data => ReadKnownIn DefaultUni term Data Source # | |||||||||||||
Defined in PlutusCore.Default.Universe Methods readKnown :: term -> ReadKnownM Data Source # | |||||||||||||
| KnownBuiltinTypeIn DefaultUni term Value => ReadKnownIn DefaultUni term DataNodeCount Source # | |||||||||||||
Defined in PlutusCore.Default.Universe Methods readKnown :: term -> ReadKnownM DataNodeCount Source # | |||||||||||||
| KnownBuiltinTypeIn DefaultUni term Integer => ReadKnownIn DefaultUni term IntegerCostedLiterally Source # | |||||||||||||
Defined in PlutusCore.Default.Universe Methods readKnown :: term -> ReadKnownM IntegerCostedLiterally Source # | |||||||||||||
| KnownBuiltinTypeIn DefaultUni term Integer => ReadKnownIn DefaultUni term NumBytesCostedAsNumWords Source # | |||||||||||||
Defined in PlutusCore.Default.Universe Methods readKnown :: term -> ReadKnownM NumBytesCostedAsNumWords Source # | |||||||||||||
| KnownBuiltinTypeIn DefaultUni term Value => ReadKnownIn DefaultUni term ValueMaxDepth Source # | |||||||||||||
Defined in PlutusCore.Default.Universe Methods readKnown :: term -> ReadKnownM ValueMaxDepth Source # | |||||||||||||
| KnownBuiltinTypeIn DefaultUni term Value => ReadKnownIn DefaultUni term ValueTotalSize Source # | |||||||||||||
Defined in PlutusCore.Default.Universe Methods readKnown :: term -> ReadKnownM ValueTotalSize Source # | |||||||||||||
| KnownBuiltinTypeIn DefaultUni term Value => ReadKnownIn DefaultUni term Value Source # | |||||||||||||
Defined in PlutusCore.Default.Universe Methods readKnown :: term -> ReadKnownM Value Source # | |||||||||||||
| KnownBuiltinTypeIn DefaultUni term Text => ReadKnownIn DefaultUni term Text Source # | |||||||||||||
Defined in PlutusCore.Default.Universe Methods readKnown :: term -> ReadKnownM Text Source # | |||||||||||||
| KnownBuiltinTypeIn DefaultUni term Integer => ReadKnownIn DefaultUni term Integer Source # | |||||||||||||
Defined in PlutusCore.Default.Universe Methods readKnown :: term -> ReadKnownM Integer Source # | |||||||||||||
| KnownBuiltinTypeIn DefaultUni term Integer => ReadKnownIn DefaultUni term Natural Source # | |||||||||||||
Defined in PlutusCore.Default.Universe Methods readKnown :: term -> ReadKnownM Natural Source # | |||||||||||||
| KnownBuiltinTypeIn DefaultUni term () => ReadKnownIn DefaultUni term () Source # | |||||||||||||
Defined in PlutusCore.Default.Universe Methods readKnown :: term -> ReadKnownM () Source # | |||||||||||||
| KnownBuiltinTypeIn DefaultUni term Bool => ReadKnownIn DefaultUni term Bool Source # | |||||||||||||
Defined in PlutusCore.Default.Universe Methods readKnown :: term -> ReadKnownM Bool Source # | |||||||||||||
| KnownBuiltinTypeIn DefaultUni term Integer => ReadKnownIn DefaultUni term Int Source # | |||||||||||||
Defined in PlutusCore.Default.Universe Methods readKnown :: term -> ReadKnownM Int Source # | |||||||||||||
| KnownBuiltinTypeIn DefaultUni term Integer => ReadKnownIn DefaultUni term Word Source # | |||||||||||||
Defined in PlutusCore.Default.Universe Methods readKnown :: term -> ReadKnownM Word Source # | |||||||||||||
| Contains DefaultUni ByteString Source # | |||||||||||||
Defined in PlutusCore.Default.Universe Methods knownUni :: DefaultUni (Esc ByteString) Source # | |||||||||||||
| Contains DefaultUni Element Source # | |||||||||||||
Defined in PlutusCore.Default.Universe | |||||||||||||
| Contains DefaultUni Element Source # | |||||||||||||
Defined in PlutusCore.Default.Universe | |||||||||||||
| Contains DefaultUni MlResult Source # | |||||||||||||
Defined in PlutusCore.Default.Universe | |||||||||||||
| Contains DefaultUni Data Source # | |||||||||||||
Defined in PlutusCore.Default.Universe | |||||||||||||
| Contains DefaultUni Value Source # | |||||||||||||
Defined in PlutusCore.Default.Universe | |||||||||||||
| Contains DefaultUni Text Source # | |||||||||||||
Defined in PlutusCore.Default.Universe | |||||||||||||
| Contains DefaultUni Integer Source # | |||||||||||||
Defined in PlutusCore.Default.Universe | |||||||||||||
| Contains DefaultUni () Source # | |||||||||||||
Defined in PlutusCore.Default.Universe Methods knownUni :: DefaultUni (Esc ()) Source # | |||||||||||||
| Contains DefaultUni Bool Source # | |||||||||||||
Defined in PlutusCore.Default.Universe | |||||||||||||
| tyname ~ TyName => KnownTypeAst tyname DefaultUni Void Source # | |||||||||||||
Defined in PlutusCore.Examples.Builtins Associated Types
Methods typeAst :: Type tyname DefaultUni () Source # | |||||||||||||
| KnownTypeAst tyname DefaultUni Int16 Source # | |||||||||||||
Defined in PlutusCore.Default.Universe Associated Types
Methods typeAst :: Type tyname DefaultUni () Source # | |||||||||||||
| KnownTypeAst tyname DefaultUni Int32 Source # | |||||||||||||
Defined in PlutusCore.Default.Universe Associated Types
Methods typeAst :: Type tyname DefaultUni () Source # | |||||||||||||
| KnownTypeAst tyname DefaultUni Int64 Source # | |||||||||||||
Defined in PlutusCore.Default.Universe Associated Types
Methods typeAst :: Type tyname DefaultUni () Source # | |||||||||||||
| KnownTypeAst tyname DefaultUni Int8 Source # | |||||||||||||
Defined in PlutusCore.Default.Universe Associated Types
Methods typeAst :: Type tyname DefaultUni () Source # | |||||||||||||
| KnownTypeAst tyname DefaultUni Word16 Source # | |||||||||||||
Defined in PlutusCore.Default.Universe Associated Types
Methods typeAst :: Type tyname DefaultUni () Source # | |||||||||||||
| KnownTypeAst tyname DefaultUni Word32 Source # | |||||||||||||
Defined in PlutusCore.Default.Universe Associated Types
Methods typeAst :: Type tyname DefaultUni () Source # | |||||||||||||
| KnownTypeAst tyname DefaultUni Word64 Source # | |||||||||||||
Defined in PlutusCore.Default.Universe Associated Types
Methods typeAst :: Type tyname DefaultUni () Source # | |||||||||||||
| KnownTypeAst tyname DefaultUni Word8 Source # | |||||||||||||
Defined in PlutusCore.Default.Universe Associated Types
Methods typeAst :: Type tyname DefaultUni () Source # | |||||||||||||
| KnownBuiltinTypeAst tyname DefaultUni ByteString => KnownTypeAst tyname DefaultUni ByteString Source # | |||||||||||||
Defined in PlutusCore.Default.Universe Associated Types
Methods typeAst :: Type tyname DefaultUni () Source # | |||||||||||||
| KnownBuiltinTypeAst tyname DefaultUni Element => KnownTypeAst tyname DefaultUni Element Source # | |||||||||||||
Defined in PlutusCore.Default.Universe Associated Types
Methods typeAst :: Type tyname DefaultUni () Source # | |||||||||||||
| KnownBuiltinTypeAst tyname DefaultUni Element => KnownTypeAst tyname DefaultUni Element Source # | |||||||||||||
Defined in PlutusCore.Default.Universe Associated Types
Methods typeAst :: Type tyname DefaultUni () Source # | |||||||||||||
| KnownBuiltinTypeAst tyname DefaultUni MlResult => KnownTypeAst tyname DefaultUni MlResult Source # | |||||||||||||
Defined in PlutusCore.Default.Universe Associated Types
Methods typeAst :: Type tyname DefaultUni () Source # | |||||||||||||
| KnownBuiltinTypeAst tyname DefaultUni Data => KnownTypeAst tyname DefaultUni Data Source # | |||||||||||||
Defined in PlutusCore.Default.Universe Associated Types
Methods typeAst :: Type tyname DefaultUni () Source # | |||||||||||||
| KnownTypeAst tyname DefaultUni DataNodeCount Source # | |||||||||||||
Defined in PlutusCore.Default.Universe Associated Types
Methods typeAst :: Type tyname DefaultUni () Source # | |||||||||||||
| KnownTypeAst tyname DefaultUni IntegerCostedLiterally Source # | |||||||||||||
Defined in PlutusCore.Default.Universe Associated Types
Methods typeAst :: Type tyname DefaultUni () Source # | |||||||||||||
| KnownTypeAst tyname DefaultUni NumBytesCostedAsNumWords Source # | |||||||||||||
Defined in PlutusCore.Default.Universe Associated Types
Methods typeAst :: Type tyname DefaultUni () Source # | |||||||||||||
| KnownTypeAst tyname DefaultUni ValueMaxDepth Source # | |||||||||||||
Defined in PlutusCore.Default.Universe Associated Types
Methods typeAst :: Type tyname DefaultUni () Source # | |||||||||||||
| KnownTypeAst tyname DefaultUni ValueTotalSize Source # | |||||||||||||
Defined in PlutusCore.Default.Universe Associated Types
Methods typeAst :: Type tyname DefaultUni () Source # | |||||||||||||
| KnownBuiltinTypeAst tyname DefaultUni Value => KnownTypeAst tyname DefaultUni Value Source # | |||||||||||||
Defined in PlutusCore.Default.Universe Associated Types
Methods typeAst :: Type tyname DefaultUni () Source # | |||||||||||||
| KnownBuiltinTypeAst tyname DefaultUni Text => KnownTypeAst tyname DefaultUni Text Source # | |||||||||||||
Defined in PlutusCore.Default.Universe Associated Types
Methods typeAst :: Type tyname DefaultUni () Source # | |||||||||||||
| KnownBuiltinTypeAst tyname DefaultUni Integer => KnownTypeAst tyname DefaultUni Integer Source # | |||||||||||||
Defined in PlutusCore.Default.Universe Associated Types
Methods typeAst :: Type tyname DefaultUni () Source # | |||||||||||||
| KnownTypeAst tyname DefaultUni Natural Source # | |||||||||||||
Defined in PlutusCore.Default.Universe Associated Types
Methods typeAst :: Type tyname DefaultUni () Source # | |||||||||||||
| KnownBuiltinTypeAst tyname DefaultUni () => KnownTypeAst tyname DefaultUni () Source # | |||||||||||||
Defined in PlutusCore.Default.Universe Associated Types
Methods typeAst :: Type tyname DefaultUni () Source # | |||||||||||||
| KnownBuiltinTypeAst tyname DefaultUni Bool => KnownTypeAst tyname DefaultUni Bool Source # | |||||||||||||
Defined in PlutusCore.Default.Universe Associated Types
Methods typeAst :: Type tyname DefaultUni () Source # | |||||||||||||
| KnownTypeAst tyname DefaultUni Int Source # | |||||||||||||
Defined in PlutusCore.Default.Universe Associated Types
Methods typeAst :: Type tyname DefaultUni () Source # | |||||||||||||
| KnownTypeAst tyname DefaultUni Word Source # | |||||||||||||
Defined in PlutusCore.Default.Universe Associated Types
Methods typeAst :: Type tyname DefaultUni () Source # | |||||||||||||
| KnownBuiltinTypeAst tyname DefaultUni (Vector a) => KnownTypeAst tyname DefaultUni (Vector a :: Type) Source # | |||||||||||||
Defined in PlutusCore.Default.Universe Associated Types
Methods typeAst :: Type tyname DefaultUni () Source # | |||||||||||||
| KnownBuiltinTypeAst tyname DefaultUni [a] => KnownTypeAst tyname DefaultUni ([a] :: Type) Source # | |||||||||||||
Defined in PlutusCore.Default.Universe Associated Types
Methods typeAst :: Type tyname DefaultUni () Source # | |||||||||||||
| KnownBuiltinTypeAst tyname DefaultUni (a, b) => KnownTypeAst tyname DefaultUni ((a, b) :: Type) Source # | |||||||||||||
Defined in PlutusCore.Default.Universe Associated Types
Methods typeAst :: Type tyname DefaultUni () Source # | |||||||||||||
| KnownBuiltinTypeIn DefaultUni term (Vector a) => MakeKnownIn DefaultUni term (Vector a) Source # | |||||||||||||
Defined in PlutusCore.Default.Universe Methods makeKnown :: Vector a -> BuiltinResult term Source # | |||||||||||||
| KnownBuiltinTypeIn DefaultUni term [a] => MakeKnownIn DefaultUni term [a] Source # | |||||||||||||
Defined in PlutusCore.Default.Universe Methods makeKnown :: [a] -> BuiltinResult term Source # | |||||||||||||
| KnownBuiltinTypeIn DefaultUni term (Vector a) => ReadKnownIn DefaultUni term (Vector a) Source # | |||||||||||||
Defined in PlutusCore.Default.Universe Methods readKnown :: term -> ReadKnownM (Vector a) Source # | |||||||||||||
| KnownBuiltinTypeIn DefaultUni term [a] => ReadKnownIn DefaultUni term [a] Source # | |||||||||||||
Defined in PlutusCore.Default.Universe Methods readKnown :: term -> ReadKnownM [a] Source # | |||||||||||||
| (Contains DefaultUni f, Contains DefaultUni a) => Contains DefaultUni (f a :: k2) Source # | |||||||||||||
Defined in PlutusCore.Default.Universe Methods knownUni :: DefaultUni (Esc (f a)) Source # | |||||||||||||
| KnownBuiltinTypeIn DefaultUni term (a, b) => MakeKnownIn DefaultUni term (a, b) Source # | |||||||||||||
Defined in PlutusCore.Default.Universe Methods makeKnown :: (a, b) -> BuiltinResult term Source # | |||||||||||||
| KnownBuiltinTypeIn DefaultUni term (a, b) => ReadKnownIn DefaultUni term (a, b) Source # | |||||||||||||
Defined in PlutusCore.Default.Universe Methods readKnown :: term -> ReadKnownM (a, b) Source # | |||||||||||||
| MakeKnownIn DefaultUni term a => MakeKnownIn DefaultUni term (MetaForall name a) Source # | |||||||||||||
Defined in PlutusCore.Examples.Builtins Methods makeKnown :: MetaForall name a -> BuiltinResult term Source # | |||||||||||||
| PrettyBy RenderContext (DefaultUni a) Source # | |||||||||||||
Defined in PlutusCore.Default.Universe Methods prettyBy :: RenderContext -> DefaultUni a -> Doc ann # prettyListBy :: RenderContext -> [DefaultUni a] -> Doc ann # | |||||||||||||
| PrettyBy RenderContext (SomeTypeIn DefaultUni) Source # | |||||||||||||
Defined in PlutusCore.Default.Universe Methods prettyBy :: RenderContext -> SomeTypeIn DefaultUni -> Doc ann # prettyListBy :: RenderContext -> [SomeTypeIn DefaultUni] -> Doc ann # | |||||||||||||
| Show (DefaultUni a) Source # | |||||||||||||
Defined in PlutusCore.Default.Universe | |||||||||||||
| Pretty (DefaultUni a) Source # | This always pretty-prints parens around type applications (e.g. | ||||||||||||
Defined in PlutusCore.Default.Universe | |||||||||||||
| Pretty (SomeTypeIn DefaultUni) Source # | |||||||||||||
Defined in PlutusCore.Default.Universe Methods pretty :: SomeTypeIn DefaultUni -> Doc ann # prettyList :: [SomeTypeIn DefaultUni] -> Doc ann # | |||||||||||||
| Contains DefaultUni (,) Source # | |||||||||||||
Defined in PlutusCore.Default.Universe | |||||||||||||
| Contains DefaultUni Vector Source # | |||||||||||||
Defined in PlutusCore.Default.Universe Methods knownUni :: DefaultUni (Esc Vector) Source # | |||||||||||||
| Contains DefaultUni [] Source # | |||||||||||||
Defined in PlutusCore.Default.Universe | |||||||||||||
| type Everywhere DefaultUni constr Source # | |||||||||||||
Defined in PlutusCore.Default.Universe type Everywhere DefaultUni constr = (Permits constr Integer, Permits constr ByteString, Permits constr Text, Permits constr (), Permits constr Bool, Permits constr Value, Permits constr [], Permits constr Vector, Permits constr (,), Permits constr Data, Permits constr Element, Permits constr Element, Permits constr MlResult) | |||||||||||||
| type IsBuiltin DefaultUni Void Source # | |||||||||||||
Defined in PlutusCore.Examples.Builtins | |||||||||||||
| type IsBuiltin DefaultUni Int16 Source # | |||||||||||||
Defined in PlutusCore.Default.Universe | |||||||||||||
| type IsBuiltin DefaultUni Int32 Source # | |||||||||||||
Defined in PlutusCore.Default.Universe | |||||||||||||
| type IsBuiltin DefaultUni Int64 Source # | |||||||||||||
Defined in PlutusCore.Default.Universe | |||||||||||||
| type IsBuiltin DefaultUni Int8 Source # | |||||||||||||
Defined in PlutusCore.Default.Universe | |||||||||||||
| type IsBuiltin DefaultUni Word16 Source # | |||||||||||||
Defined in PlutusCore.Default.Universe | |||||||||||||
| type IsBuiltin DefaultUni Word32 Source # | |||||||||||||
Defined in PlutusCore.Default.Universe | |||||||||||||
| type IsBuiltin DefaultUni Word64 Source # | |||||||||||||
Defined in PlutusCore.Default.Universe | |||||||||||||
| type IsBuiltin DefaultUni Word8 Source # | |||||||||||||
Defined in PlutusCore.Default.Universe | |||||||||||||
| type IsBuiltin DefaultUni ByteString Source # | |||||||||||||
Defined in PlutusCore.Default.Universe | |||||||||||||
| type IsBuiltin DefaultUni Element Source # | |||||||||||||
Defined in PlutusCore.Default.Universe | |||||||||||||
| type IsBuiltin DefaultUni Element Source # | |||||||||||||
Defined in PlutusCore.Default.Universe | |||||||||||||
| type IsBuiltin DefaultUni MlResult Source # | |||||||||||||
Defined in PlutusCore.Default.Universe | |||||||||||||
| type IsBuiltin DefaultUni Data Source # | |||||||||||||
Defined in PlutusCore.Default.Universe | |||||||||||||
| type IsBuiltin DefaultUni DataNodeCount Source # | |||||||||||||
Defined in PlutusCore.Default.Universe | |||||||||||||
| type IsBuiltin DefaultUni IntegerCostedLiterally Source # | |||||||||||||
Defined in PlutusCore.Default.Universe | |||||||||||||
| type IsBuiltin DefaultUni NumBytesCostedAsNumWords Source # | |||||||||||||
Defined in PlutusCore.Default.Universe | |||||||||||||
| type IsBuiltin DefaultUni ValueMaxDepth Source # | |||||||||||||
Defined in PlutusCore.Default.Universe | |||||||||||||
| type IsBuiltin DefaultUni ValueTotalSize Source # | |||||||||||||
Defined in PlutusCore.Default.Universe | |||||||||||||
| type IsBuiltin DefaultUni Value Source # | |||||||||||||
Defined in PlutusCore.Default.Universe | |||||||||||||
| type IsBuiltin DefaultUni Text Source # | |||||||||||||
Defined in PlutusCore.Default.Universe | |||||||||||||
| type IsBuiltin DefaultUni Integer Source # | |||||||||||||
Defined in PlutusCore.Default.Universe | |||||||||||||
| type IsBuiltin DefaultUni Natural Source # | |||||||||||||
Defined in PlutusCore.Default.Universe | |||||||||||||
| type IsBuiltin DefaultUni () Source # | |||||||||||||
Defined in PlutusCore.Default.Universe | |||||||||||||
| type IsBuiltin DefaultUni Bool Source # | |||||||||||||
Defined in PlutusCore.Default.Universe | |||||||||||||
| type IsBuiltin DefaultUni Int Source # | |||||||||||||
Defined in PlutusCore.Default.Universe | |||||||||||||
| type IsBuiltin DefaultUni Word Source # | |||||||||||||
Defined in PlutusCore.Default.Universe | |||||||||||||
| type ElaborateBuiltin DefaultUni (x :: a) Source # | |||||||||||||
Defined in PlutusCore.Default.Universe | |||||||||||||
| type ToBinds DefaultUni acc Void Source # | |||||||||||||
Defined in PlutusCore.Examples.Builtins | |||||||||||||
| type ToBinds DefaultUni acc Int16 Source # | |||||||||||||
Defined in PlutusCore.Default.Universe | |||||||||||||
| type ToBinds DefaultUni acc Int32 Source # | |||||||||||||
Defined in PlutusCore.Default.Universe | |||||||||||||
| type ToBinds DefaultUni acc Int64 Source # | |||||||||||||
Defined in PlutusCore.Default.Universe | |||||||||||||
| type ToBinds DefaultUni acc Int8 Source # | |||||||||||||
Defined in PlutusCore.Default.Universe | |||||||||||||
| type ToBinds DefaultUni acc Word16 Source # | |||||||||||||
Defined in PlutusCore.Default.Universe | |||||||||||||
| type ToBinds DefaultUni acc Word32 Source # | |||||||||||||
Defined in PlutusCore.Default.Universe | |||||||||||||
| type ToBinds DefaultUni acc Word64 Source # | |||||||||||||
Defined in PlutusCore.Default.Universe | |||||||||||||
| type ToBinds DefaultUni acc Word8 Source # | |||||||||||||
Defined in PlutusCore.Default.Universe | |||||||||||||
| type ToBinds DefaultUni acc ByteString Source # | |||||||||||||
Defined in PlutusCore.Default.Universe type ToBinds DefaultUni acc ByteString = ToBinds DefaultUni acc (ElaborateBuiltin DefaultUni ByteString) | |||||||||||||
| type ToBinds DefaultUni acc Element Source # | |||||||||||||
Defined in PlutusCore.Default.Universe | |||||||||||||
| type ToBinds DefaultUni acc Element Source # | |||||||||||||
Defined in PlutusCore.Default.Universe | |||||||||||||
| type ToBinds DefaultUni acc MlResult Source # | |||||||||||||
Defined in PlutusCore.Default.Universe type ToBinds DefaultUni acc MlResult = ToBinds DefaultUni acc (ElaborateBuiltin DefaultUni MlResult) | |||||||||||||
| type ToBinds DefaultUni acc Data Source # | |||||||||||||
Defined in PlutusCore.Default.Universe | |||||||||||||
| type ToBinds DefaultUni acc DataNodeCount Source # | |||||||||||||
Defined in PlutusCore.Default.Universe | |||||||||||||
| type ToBinds DefaultUni acc IntegerCostedLiterally Source # | |||||||||||||
Defined in PlutusCore.Default.Universe | |||||||||||||
| type ToBinds DefaultUni acc NumBytesCostedAsNumWords Source # | |||||||||||||
Defined in PlutusCore.Default.Universe | |||||||||||||
| type ToBinds DefaultUni acc ValueMaxDepth Source # | |||||||||||||
Defined in PlutusCore.Default.Universe | |||||||||||||
| type ToBinds DefaultUni acc ValueTotalSize Source # | |||||||||||||
Defined in PlutusCore.Default.Universe | |||||||||||||
| type ToBinds DefaultUni acc Value Source # | |||||||||||||
Defined in PlutusCore.Default.Universe | |||||||||||||
| type ToBinds DefaultUni acc Text Source # | |||||||||||||
Defined in PlutusCore.Default.Universe | |||||||||||||
| type ToBinds DefaultUni acc Integer Source # | |||||||||||||
Defined in PlutusCore.Default.Universe | |||||||||||||
| type ToBinds DefaultUni acc Natural Source # | |||||||||||||
Defined in PlutusCore.Default.Universe | |||||||||||||
| type ToBinds DefaultUni acc () Source # | |||||||||||||
Defined in PlutusCore.Default.Universe | |||||||||||||
| type ToBinds DefaultUni acc Bool Source # | |||||||||||||
Defined in PlutusCore.Default.Universe | |||||||||||||
| type ToBinds DefaultUni acc Int Source # | |||||||||||||
Defined in PlutusCore.Default.Universe | |||||||||||||
| type ToBinds DefaultUni acc Word Source # | |||||||||||||
Defined in PlutusCore.Default.Universe | |||||||||||||
| type ToHoles DefaultUni _1 Void Source # | |||||||||||||
Defined in PlutusCore.Examples.Builtins | |||||||||||||
| type ToHoles DefaultUni hole Int16 Source # | |||||||||||||
Defined in PlutusCore.Default.Universe | |||||||||||||
| type ToHoles DefaultUni hole Int32 Source # | |||||||||||||
Defined in PlutusCore.Default.Universe | |||||||||||||
| type ToHoles DefaultUni hole Int64 Source # | |||||||||||||
Defined in PlutusCore.Default.Universe | |||||||||||||
| type ToHoles DefaultUni hole Int8 Source # | |||||||||||||
Defined in PlutusCore.Default.Universe | |||||||||||||
| type ToHoles DefaultUni hole Word16 Source # | |||||||||||||
Defined in PlutusCore.Default.Universe | |||||||||||||
| type ToHoles DefaultUni hole Word32 Source # | |||||||||||||
Defined in PlutusCore.Default.Universe | |||||||||||||
| type ToHoles DefaultUni hole Word64 Source # | |||||||||||||
Defined in PlutusCore.Default.Universe | |||||||||||||
| type ToHoles DefaultUni hole Word8 Source # | |||||||||||||
Defined in PlutusCore.Default.Universe | |||||||||||||
| type ToHoles DefaultUni hole ByteString Source # | |||||||||||||
Defined in PlutusCore.Default.Universe type ToHoles DefaultUni hole ByteString = ToHoles DefaultUni hole (ElaborateBuiltin DefaultUni ByteString) | |||||||||||||
| type ToHoles DefaultUni hole Element Source # | |||||||||||||
Defined in PlutusCore.Default.Universe type ToHoles DefaultUni hole Element = ToHoles DefaultUni hole (ElaborateBuiltin DefaultUni Element) | |||||||||||||
| type ToHoles DefaultUni hole Element Source # | |||||||||||||
Defined in PlutusCore.Default.Universe type ToHoles DefaultUni hole Element = ToHoles DefaultUni hole (ElaborateBuiltin DefaultUni Element) | |||||||||||||
| type ToHoles DefaultUni hole MlResult Source # | |||||||||||||
Defined in PlutusCore.Default.Universe type ToHoles DefaultUni hole MlResult = ToHoles DefaultUni hole (ElaborateBuiltin DefaultUni MlResult) | |||||||||||||
| type ToHoles DefaultUni hole Data Source # | |||||||||||||
Defined in PlutusCore.Default.Universe | |||||||||||||
| type ToHoles DefaultUni hole DataNodeCount Source # | |||||||||||||
Defined in PlutusCore.Default.Universe | |||||||||||||
| type ToHoles DefaultUni hole IntegerCostedLiterally Source # | |||||||||||||
Defined in PlutusCore.Default.Universe | |||||||||||||
| type ToHoles DefaultUni hole NumBytesCostedAsNumWords Source # | |||||||||||||
Defined in PlutusCore.Default.Universe | |||||||||||||
| type ToHoles DefaultUni hole ValueMaxDepth Source # | |||||||||||||
Defined in PlutusCore.Default.Universe | |||||||||||||
| type ToHoles DefaultUni hole ValueTotalSize Source # | |||||||||||||
Defined in PlutusCore.Default.Universe | |||||||||||||
| type ToHoles DefaultUni hole Value Source # | |||||||||||||
Defined in PlutusCore.Default.Universe | |||||||||||||
| type ToHoles DefaultUni hole Text Source # | |||||||||||||
Defined in PlutusCore.Default.Universe | |||||||||||||
| type ToHoles DefaultUni hole Integer Source # | |||||||||||||
Defined in PlutusCore.Default.Universe type ToHoles DefaultUni hole Integer = ToHoles DefaultUni hole (ElaborateBuiltin DefaultUni Integer) | |||||||||||||
| type ToHoles DefaultUni hole Natural Source # | |||||||||||||
Defined in PlutusCore.Default.Universe | |||||||||||||
| type ToHoles DefaultUni hole () Source # | |||||||||||||
Defined in PlutusCore.Default.Universe | |||||||||||||
| type ToHoles DefaultUni hole Bool Source # | |||||||||||||
Defined in PlutusCore.Default.Universe | |||||||||||||
| type ToHoles DefaultUni hole Int Source # | |||||||||||||
Defined in PlutusCore.Default.Universe | |||||||||||||
| type ToHoles DefaultUni hole Word Source # | |||||||||||||
Defined in PlutusCore.Default.Universe | |||||||||||||
| type ToBinds DefaultUni acc (Vector a :: Type) Source # | |||||||||||||
Defined in PlutusCore.Default.Universe type ToBinds DefaultUni acc (Vector a :: Type) = ToBinds DefaultUni acc (ElaborateBuiltin DefaultUni (Vector a)) | |||||||||||||
| type ToBinds DefaultUni acc ([a] :: Type) Source # | |||||||||||||
Defined in PlutusCore.Default.Universe type ToBinds DefaultUni acc ([a] :: Type) = ToBinds DefaultUni acc (ElaborateBuiltin DefaultUni [a]) | |||||||||||||
| type ToHoles DefaultUni hole (Vector a :: Type) Source # | |||||||||||||
Defined in PlutusCore.Default.Universe type ToHoles DefaultUni hole (Vector a :: Type) = ToHoles DefaultUni hole (ElaborateBuiltin DefaultUni (Vector a)) | |||||||||||||
| type ToHoles DefaultUni hole ([a] :: Type) Source # | |||||||||||||
Defined in PlutusCore.Default.Universe type ToHoles DefaultUni hole ([a] :: Type) = ToHoles DefaultUni hole (ElaborateBuiltin DefaultUni [a]) | |||||||||||||
| type ToBinds DefaultUni acc ((a, b) :: Type) Source # | |||||||||||||
Defined in PlutusCore.Default.Universe type ToBinds DefaultUni acc ((a, b) :: Type) = ToBinds DefaultUni acc (ElaborateBuiltin DefaultUni (a, b)) | |||||||||||||
| type ToHoles DefaultUni hole ((a, b) :: Type) Source # | |||||||||||||
Defined in PlutusCore.Default.Universe type ToHoles DefaultUni hole ((a, b) :: Type) = ToHoles DefaultUni hole (ElaborateBuiltin DefaultUni (a, b)) | |||||||||||||
| type IsBuiltin DefaultUni (Vector a :: Type) Source # | |||||||||||||
Defined in PlutusCore.Default.Universe type IsBuiltin DefaultUni (Vector a :: Type) = IsBuiltin DefaultUni (ElaborateBuiltin DefaultUni (Vector a)) | |||||||||||||
| type IsBuiltin DefaultUni ([a] :: Type) Source # | |||||||||||||
Defined in PlutusCore.Default.Universe | |||||||||||||
| type IsBuiltin DefaultUni ((a, b) :: Type) Source # | |||||||||||||
Defined in PlutusCore.Default.Universe type IsBuiltin DefaultUni ((a, b) :: Type) = IsBuiltin DefaultUni (ElaborateBuiltin DefaultUni (a, b)) | |||||||||||||
data DefaultFun Source #
Default built-in functions.
When updating these, make sure to add them to the protocol version listing! See Note [New builtins/language versions and protocol versions]
Instances
| Bounded DefaultFun Source # | |||||||||
Defined in PlutusCore.Default.Builtins | |||||||||
| Enum DefaultFun Source # | |||||||||
Defined in PlutusCore.Default.Builtins Methods succ :: DefaultFun -> DefaultFun Source # pred :: DefaultFun -> DefaultFun Source # toEnum :: Int -> DefaultFun Source # fromEnum :: DefaultFun -> Int Source # enumFrom :: DefaultFun -> [DefaultFun] Source # enumFromThen :: DefaultFun -> DefaultFun -> [DefaultFun] Source # enumFromTo :: DefaultFun -> DefaultFun -> [DefaultFun] Source # enumFromThenTo :: DefaultFun -> DefaultFun -> DefaultFun -> [DefaultFun] Source # | |||||||||
| Generic DefaultFun Source # | |||||||||
Defined in PlutusCore.Default.Builtins Associated Types
| |||||||||
| Ix DefaultFun Source # | |||||||||
Defined in PlutusCore.Default.Builtins Methods range :: (DefaultFun, DefaultFun) -> [DefaultFun] Source # index :: (DefaultFun, DefaultFun) -> DefaultFun -> Int Source # unsafeIndex :: (DefaultFun, DefaultFun) -> DefaultFun -> Int Source # inRange :: (DefaultFun, DefaultFun) -> DefaultFun -> Bool Source # rangeSize :: (DefaultFun, DefaultFun) -> Int Source # unsafeRangeSize :: (DefaultFun, DefaultFun) -> Int Source # | |||||||||
| Show DefaultFun Source # | |||||||||
Defined in PlutusCore.Default.Builtins | |||||||||
| NFData DefaultFun Source # | |||||||||
Defined in PlutusCore.Default.Builtins Methods rnf :: DefaultFun -> () Source # | |||||||||
| Eq DefaultFun Source # | |||||||||
Defined in PlutusCore.Default.Builtins Methods (==) :: DefaultFun -> DefaultFun -> Bool Source # (/=) :: DefaultFun -> DefaultFun -> Bool Source # | |||||||||
| Ord DefaultFun Source # | |||||||||
Defined in PlutusCore.Default.Builtins Methods compare :: DefaultFun -> DefaultFun -> Ordering Source # (<) :: DefaultFun -> DefaultFun -> Bool Source # (<=) :: DefaultFun -> DefaultFun -> Bool Source # (>) :: DefaultFun -> DefaultFun -> Bool Source # (>=) :: DefaultFun -> DefaultFun -> Bool Source # max :: DefaultFun -> DefaultFun -> DefaultFun Source # min :: DefaultFun -> DefaultFun -> DefaultFun Source # | |||||||||
| Hashable DefaultFun Source # | |||||||||
Defined in PlutusCore.Default.Builtins | |||||||||
| Flat DefaultFun Source # | |||||||||
Defined in PlutusCore.Default.Builtins Methods encode :: DefaultFun -> Encoding decode :: Get DefaultFun size :: DefaultFun -> NumBits -> NumBits | |||||||||
| ExMemoryUsage DefaultFun Source # | |||||||||
Defined in PlutusCore.Default.Builtins Methods memoryUsage :: DefaultFun -> CostRose Source # | |||||||||
| Pretty DefaultFun Source # | |||||||||
Defined in PlutusCore.Default.Builtins | |||||||||
| uni ~ DefaultUni => ToBuiltinMeaning uni DefaultFun Source # | |||||||||
Defined in PlutusCore.Default.Builtins Associated Types
Methods toBuiltinMeaning :: HasMeaningIn uni val => BuiltinSemanticsVariant DefaultFun -> DefaultFun -> BuiltinMeaning val (CostingPart uni DefaultFun) Source # | |||||||||
| PrettyBy PrettyConfigPlc DefaultFun Source # | |||||||||
Defined in PlutusCore.Default.Builtins Methods prettyBy :: PrettyConfigPlc -> DefaultFun -> Doc ann # prettyListBy :: PrettyConfigPlc -> [DefaultFun] -> Doc ann # | |||||||||
| Bounded (BuiltinSemanticsVariant DefaultFun) Source # | |||||||||
Defined in PlutusCore.Default.Builtins | |||||||||
| Enum (BuiltinSemanticsVariant DefaultFun) Source # | |||||||||
Defined in PlutusCore.Default.Builtins Methods succ :: BuiltinSemanticsVariant DefaultFun -> BuiltinSemanticsVariant DefaultFun Source # pred :: BuiltinSemanticsVariant DefaultFun -> BuiltinSemanticsVariant DefaultFun Source # toEnum :: Int -> BuiltinSemanticsVariant DefaultFun Source # fromEnum :: BuiltinSemanticsVariant DefaultFun -> Int Source # enumFrom :: BuiltinSemanticsVariant DefaultFun -> [BuiltinSemanticsVariant DefaultFun] Source # enumFromThen :: BuiltinSemanticsVariant DefaultFun -> BuiltinSemanticsVariant DefaultFun -> [BuiltinSemanticsVariant DefaultFun] Source # enumFromTo :: BuiltinSemanticsVariant DefaultFun -> BuiltinSemanticsVariant DefaultFun -> [BuiltinSemanticsVariant DefaultFun] Source # enumFromThenTo :: BuiltinSemanticsVariant DefaultFun -> BuiltinSemanticsVariant DefaultFun -> BuiltinSemanticsVariant DefaultFun -> [BuiltinSemanticsVariant DefaultFun] Source # | |||||||||
| Generic (BuiltinSemanticsVariant DefaultFun) Source # | |||||||||
Defined in PlutusCore.Default.Builtins Associated Types
Methods from :: BuiltinSemanticsVariant DefaultFun -> Rep (BuiltinSemanticsVariant DefaultFun) x Source # to :: Rep (BuiltinSemanticsVariant DefaultFun) x -> BuiltinSemanticsVariant DefaultFun Source # | |||||||||
| Show (BuiltinSemanticsVariant DefaultFun) Source # | |||||||||
Defined in PlutusCore.Default.Builtins Methods showsPrec :: Int -> BuiltinSemanticsVariant DefaultFun -> ShowS Source # show :: BuiltinSemanticsVariant DefaultFun -> String Source # showList :: [BuiltinSemanticsVariant DefaultFun] -> ShowS Source # | |||||||||
| Default (BuiltinSemanticsVariant DefaultFun) Source # | |||||||||
Defined in PlutusCore.Default.Builtins Methods | |||||||||
| NFData (BuiltinSemanticsVariant DefaultFun) Source # | |||||||||
Defined in PlutusCore.Default.Builtins Methods rnf :: BuiltinSemanticsVariant DefaultFun -> () Source # | |||||||||
| Eq (BuiltinSemanticsVariant DefaultFun) Source # | |||||||||
Defined in PlutusCore.Default.Builtins | |||||||||
| Ord (BuiltinSemanticsVariant DefaultFun) Source # | |||||||||
Defined in PlutusCore.Default.Builtins Methods compare :: BuiltinSemanticsVariant DefaultFun -> BuiltinSemanticsVariant DefaultFun -> Ordering Source # (<) :: BuiltinSemanticsVariant DefaultFun -> BuiltinSemanticsVariant DefaultFun -> Bool Source # (<=) :: BuiltinSemanticsVariant DefaultFun -> BuiltinSemanticsVariant DefaultFun -> Bool Source # (>) :: BuiltinSemanticsVariant DefaultFun -> BuiltinSemanticsVariant DefaultFun -> Bool Source # (>=) :: BuiltinSemanticsVariant DefaultFun -> BuiltinSemanticsVariant DefaultFun -> Bool Source # max :: BuiltinSemanticsVariant DefaultFun -> BuiltinSemanticsVariant DefaultFun -> BuiltinSemanticsVariant DefaultFun Source # min :: BuiltinSemanticsVariant DefaultFun -> BuiltinSemanticsVariant DefaultFun -> BuiltinSemanticsVariant DefaultFun Source # | |||||||||
| NoThunks (BuiltinSemanticsVariant DefaultFun) Source # | |||||||||
Defined in PlutusCore.Default.Builtins Methods noThunks :: Context -> BuiltinSemanticsVariant DefaultFun -> IO (Maybe ThunkInfo) wNoThunks :: Context -> BuiltinSemanticsVariant DefaultFun -> IO (Maybe ThunkInfo) showTypeOf :: Proxy (BuiltinSemanticsVariant DefaultFun) -> String | |||||||||
| Pretty (BuiltinSemanticsVariant DefaultFun) Source # | |||||||||
Defined in PlutusCore.Default.Builtins Methods pretty :: BuiltinSemanticsVariant DefaultFun -> Doc ann # prettyList :: [BuiltinSemanticsVariant DefaultFun] -> Doc ann # | |||||||||
| type Rep DefaultFun Source # | |||||||||
Defined in PlutusCore.Default.Builtins type Rep DefaultFun = D1 ('MetaData "DefaultFun" "PlutusCore.Default.Builtins" "plutus-core-1.60.0.0-LXFqBsoUlXsJIEqLytHte7" 'False) ((((((C1 ('MetaCons "AddInteger" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "SubtractInteger" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MultiplyInteger" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "DivideInteger" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "QuotientInteger" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "RemainderInteger" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "ModInteger" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "EqualsInteger" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LessThanInteger" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "LessThanEqualsInteger" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "AppendByteString" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ConsByteString" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "SliceByteString" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "LengthOfByteString" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "IndexByteString" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "EqualsByteString" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "LessThanByteString" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LessThanEqualsByteString" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Sha2_256" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Sha3_256" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Blake2b_256" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "VerifyEd25519Signature" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "VerifyEcdsaSecp256k1Signature" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "VerifySchnorrSecp256k1Signature" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "AppendString" 'PrefixI 'False) (U1 :: Type -> Type)))))) :+: ((((C1 ('MetaCons "EqualsString" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "EncodeUtf8" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DecodeUtf8" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "IfThenElse" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "ChooseUnit" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Trace" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "FstPair" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "SndPair" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ChooseList" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "MkCons" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "HeadList" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "TailList" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "NullList" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "ChooseData" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ConstrData" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "MapData" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "ListData" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "IData" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "BData" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "UnConstrData" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "UnMapData" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "UnListData" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "UnIData" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "UnBData" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "EqualsData" 'PrefixI 'False) (U1 :: Type -> Type))))))) :+: (((((C1 ('MetaCons "SerialiseData" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "MkPairData" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MkNilData" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "MkNilPairData" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Bls12_381_G1_add" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Bls12_381_G1_neg" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Bls12_381_G1_scalarMul" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Bls12_381_G1_equal" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Bls12_381_G1_hashToGroup" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "Bls12_381_G1_compress" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Bls12_381_G1_uncompress" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Bls12_381_G2_add" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "Bls12_381_G2_neg" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Bls12_381_G2_scalarMul" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Bls12_381_G2_equal" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "Bls12_381_G2_hashToGroup" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Bls12_381_G2_compress" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Bls12_381_G2_uncompress" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Bls12_381_millerLoop" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Bls12_381_mulMlResult" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Bls12_381_finalVerify" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Keccak_256" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Blake2b_224" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "IntegerToByteString" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ByteStringToInteger" 'PrefixI 'False) (U1 :: Type -> Type)))))) :+: ((((C1 ('MetaCons "AndByteString" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "OrByteString" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "XorByteString" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "ComplementByteString" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "ReadBit" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "WriteBits" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "ReplicateByte" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "ShiftByteString" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "RotateByteString" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "CountSetBits" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "FindFirstSetBit" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Ripemd_160" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ExpModInteger" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "DropList" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "LengthOfArray" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ListToArray" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "IndexArray" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Bls12_381_G1_multiScalarMul" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Bls12_381_G2_multiScalarMul" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "InsertCoin" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "LookupCoin" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "UnionValue" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "ValueContains" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ValueData" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "UnValueData" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ScaleValue" 'PrefixI 'False) (U1 :: Type -> Type)))))))) | |||||||||
| data BuiltinSemanticsVariant DefaultFun Source # | |||||||||
| type CostingPart uni DefaultFun Source # | |||||||||
Defined in PlutusCore.Default.Builtins | |||||||||
| type Rep (BuiltinSemanticsVariant DefaultFun) Source # | |||||||||
Defined in PlutusCore.Default.Builtins type Rep (BuiltinSemanticsVariant DefaultFun) = D1 ('MetaData "BuiltinSemanticsVariant" "PlutusCore.Default.Builtins" "plutus-core-1.60.0.0-LXFqBsoUlXsJIEqLytHte7" 'False) ((C1 ('MetaCons "DefaultFunSemanticsVariantA" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DefaultFunSemanticsVariantB" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "DefaultFunSemanticsVariantC" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "DefaultFunSemanticsVariantD" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DefaultFunSemanticsVariantE" 'PrefixI 'False) (U1 :: Type -> Type)))) | |||||||||