Safe Haskell	Safe-Inferred
Language	Haskell2010

UntypedPlutusCore

Synopsis

module PlutusCore.Name.Unique
substVarA :: Applicative f => (name -> f (Maybe (Term name uni fun ann))) -> Term name uni fun ann -> f (Term name uni fun ann)
substVar :: (name -> Maybe (Term name uni fun ann)) -> Term name uni fun ann -> Term name uni fun ann
termSubstNamesM :: Monad m => (name -> m (Maybe (Term name uni fun ann))) -> Term name uni fun ann -> m (Term name uni fun ann)
termSubstNames :: (name -> Maybe (Term name uni fun ann)) -> Term name uni fun ann -> Term name uni fun ann
termMapNames :: forall name name' uni fun ann. (name -> name') -> Term name uni fun ann -> Term name' uni fun ann
programMapNames :: forall name name' uni fun ann. (name -> name') -> Program name uni fun ann -> Program name' uni fun ann
vTerm :: Fold (Term name uni fun ann) name
module UntypedPlutusCore.Size
data SimplifyOpts name a = SimplifyOpts {
- _soMaxSimplifierIterations :: Int
- _soMaxCseIterations :: Int
- _soConservativeOpts :: Bool
- _soInlineHints :: InlineHints name a
- _soInlineConstants :: Bool
- _soInlineCallsiteGrowth :: Size
}
soMaxSimplifierIterations :: forall name a. Lens' (SimplifyOpts name a) Int
soMaxCseIterations :: forall name a. Lens' (SimplifyOpts name a) Int
soInlineHints :: forall name a name a. Lens (SimplifyOpts name a) (SimplifyOpts name a) (InlineHints name a) (InlineHints name a)
soConservativeOpts :: forall name a. Lens' (SimplifyOpts name a) Bool
soInlineConstants :: forall name a. Lens' (SimplifyOpts name a) Bool
soInlineCallsiteGrowth :: forall name a. Lens' (SimplifyOpts name a) Size
defaultSimplifyOpts :: SimplifyOpts name a
simplifyTerm :: forall name uni 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 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 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)
newtype InlineHints name a = InlineHints {
- shouldInline :: a -> name -> Inline
}
module UntypedPlutusCore.DeBruijn
module UntypedPlutusCore.Core
module UntypedPlutusCore.Check.Scope
data Term name uni 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 fun ann = Program {
- _progAnn :: ann
- _progVer :: Version
- _progTerm :: Term name uni fun ann
}
applyProgram :: (MonadError ApplyProgramError m, Semigroup a) => Program name uni fun a -> Program name uni fun a -> m (Program name uni fun a)
parseScoped :: (AsParserErrorBundle e, AsUniqueError e SrcSpan, MonadError e m, MonadQuote m) => Text -> m (Program Name DefaultUni DefaultFun SrcSpan)
data DefaultUni a
data DefaultFun

Documentation

module PlutusCore.Name.Unique

substVarA :: Applicative f => (name -> 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 :: (name -> 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 :: Monad m => (name -> 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 :: (name -> 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).

termMapNames :: forall name name' uni 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 fun ann. (name -> name') -> Program name uni fun ann -> Program name' uni fun ann Source #

vTerm :: Fold (Term name uni fun ann) name Source #

Get all the term variables in a term.

module UntypedPlutusCore.Size

data SimplifyOpts name a Source #

Constructors

SimplifyOpts
Fields _soMaxSimplifierIterations :: Int _soMaxCseIterations :: Int _soConservativeOpts :: Bool _soInlineHints :: InlineHints name a _soInlineConstants :: Bool _soInlineCallsiteGrowth :: Size

Instances

Instances details

Show (SimplifyOpts name a) Source #
Instance details Defined in UntypedPlutusCore.Simplify.Opts Methods showsPrec :: Int -> SimplifyOpts name a -> ShowS Source # show :: SimplifyOpts name a -> String Source # showList :: [SimplifyOpts name a] -> ShowS Source #

soMaxSimplifierIterations :: forall name a. Lens' (SimplifyOpts name a) Int Source #

soMaxCseIterations :: forall name a. Lens' (SimplifyOpts name a) Int Source #

soInlineHints :: forall name a name a. Lens (SimplifyOpts name a) (SimplifyOpts name a) (InlineHints name a) (InlineHints name a) Source #

soConservativeOpts :: forall name a. Lens' (SimplifyOpts name a) Bool Source #

soInlineConstants :: forall name a. Lens' (SimplifyOpts name a) Bool Source #

soInlineCallsiteGrowth :: forall name a. Lens' (SimplifyOpts name a) Size Source #

defaultSimplifyOpts :: SimplifyOpts name a Source #

simplifyTerm :: forall name uni 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 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 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 #

newtype InlineHints name a Source #

Constructors

InlineHints
Fields shouldInline :: a -> name -> Inline

Instances

Instances details

Show (InlineHints name a) Source #
Instance details Defined in PlutusCore.Annotation Methods showsPrec :: Int -> InlineHints name a -> ShowS Source # show :: InlineHints name a -> String Source # showList :: [InlineHints name a] -> ShowS Source #
Default (InlineHints name a) Source #
Instance details Defined in PlutusCore.Annotation Methods def :: InlineHints name a #

module UntypedPlutusCore.DeBruijn

module UntypedPlutusCore.Core

module UntypedPlutusCore.Check.Scope

data Term name uni fun ann Source #

The type of Untyped Plutus Core terms. Mirrors the type of Typed Plutus Core terms except

all types are removed
IWrap and Unwrap are 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

Instances details

name ~ Name => Reference Name (Term name uni fun) Source #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details Defined in UntypedPlutusCore.Core.Type Methods fmap :: (a -> b) -> Term name uni fun a -> Term name uni fun b Source # (<$) :: a -> Term name uni fun b -> Term name uni fun a Source #
name ~ Name => CollectScopeInfo (Term name uni fun) Source #
Instance details Defined in UntypedPlutusCore.Core.Instance.Scoping Methods collectScopeInfo :: Term name uni fun NameAnn -> ScopeErrorOrInfo Source #
name ~ Name => EstablishScoping (Term name uni fun) Source #
Instance details Defined in UntypedPlutusCore.Core.Instance.Scoping Methods establishScoping :: Term name uni fun ann -> Quote (Term name uni fun NameAnn) Source #
TermLike (Term name uni fun) TyName name uni fun Source #
Instance details Defined in UntypedPlutusCore.Core.Type Methods var :: ann -> name -> Term name uni fun ann Source # tyAbs :: ann -> TyName -> Kind ann -> Term name uni fun ann -> Term name uni fun ann Source # lamAbs :: ann -> name -> Type TyName uni ann -> Term name uni fun ann -> Term name uni fun ann Source # apply :: ann -> Term name uni fun ann -> Term name uni fun ann -> Term name uni fun ann Source # constant :: ann -> Some (ValueOf uni) -> Term name uni fun ann Source # builtin :: ann -> fun -> Term name uni fun ann Source # tyInst :: ann -> Term name uni fun ann -> Type TyName uni ann -> Term name uni fun ann Source # unwrap :: ann -> Term name uni fun ann -> Term name uni fun ann Source # iWrap :: ann -> Type TyName uni ann -> Type TyName uni ann -> Term name uni fun ann -> Term name uni fun ann Source # error :: ann -> Type TyName uni ann -> Term name uni fun ann Source # 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 #
Instance details 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 #
Instance details Defined in UntypedPlutusCore.Core.Type Associated Types type Rep (Term name uni fun ann) :: Type -> Type Source # Methods from :: Term name uni fun ann -> Rep (Term name uni fun ann) x Source # to :: Rep (Term name uni fun ann) x -> Term name uni fun ann Source #
(Show name, GShow uni, Everywhere uni Show, Show fun, Show ann, Closed uni) => Show (Term name uni fun ann) Source #
Instance details Defined in UntypedPlutusCore.Core.Type Methods showsPrec :: Int -> Term name uni fun ann -> ShowS Source # show :: Term name uni fun ann -> String Source # showList :: [Term name uni fun ann] -> ShowS Source #
(NFData name, NFData fun, NFData ann, Everywhere uni NFData, Closed uni) => NFData (Term name uni fun ann) Source #
Instance details Defined in UntypedPlutusCore.Core.Type Methods rnf :: Term name uni fun ann -> () Source #
(GEq uni, Closed uni, Everywhere uni Eq, Eq fun, Eq ann) => Eq (Term DeBruijn uni fun ann) Source #
Instance details Defined in UntypedPlutusCore.Core.Instance.Eq Methods (==) :: Term DeBruijn uni fun ann -> Term DeBruijn uni fun ann -> Bool Source # (/=) :: Term DeBruijn uni fun ann -> Term DeBruijn uni fun ann -> Bool Source #
(GEq uni, Closed uni, Everywhere uni Eq, Eq fun, Eq ann) => Eq (Term FakeNamedDeBruijn uni fun ann) Source #
Instance details 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 #
Instance details Defined in UntypedPlutusCore.Core.Instance.Eq Methods (==) :: Term NamedDeBruijn uni fun ann -> Term NamedDeBruijn uni fun ann -> Bool Source # (/=) :: Term NamedDeBruijn uni fun ann -> Term NamedDeBruijn uni fun ann -> Bool Source #
(GEq uni, Closed uni, Everywhere uni Eq, Eq fun, Eq ann) => Eq (Term Name uni fun ann) Source #
Instance details Defined in UntypedPlutusCore.Core.Instance.Eq Methods (==) :: Term Name uni fun ann -> Term Name uni fun ann -> Bool Source # (/=) :: Term Name uni fun ann -> Term Name uni fun ann -> Bool Source #
HashableTermConstraints uni fun ann => Hashable (Term DeBruijn uni fun ann) Source #
Instance details Defined in UntypedPlutusCore.Core.Instance.Eq Methods hashWithSalt :: Int -> Term DeBruijn uni fun ann -> Int hash :: Term DeBruijn uni fun ann -> Int
HashableTermConstraints uni fun ann => Hashable (Term FakeNamedDeBruijn uni fun ann) Source #
Instance details 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 #
Instance details 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 #
Instance details Defined in UntypedPlutusCore.Core.Instance.Eq Methods hashWithSalt :: Int -> Term Name uni fun ann -> Int hash :: Term Name uni fun ann -> Int
HasConstant (Term name uni fun ()) Source #
Instance details Defined in UntypedPlutusCore.Core.Type Methods asConstant :: Term name uni fun () -> Either BuiltinError (Some (ValueOf (UniOf (Term name uni fun ())))) Source # fromConstant :: Some (ValueOf (UniOf (Term name uni fun ()))) -> Term name uni fun () Source #
HasUniques (Term name uni fun ann) => Rename (Term name uni fun ann) Source #
Instance details Defined in UntypedPlutusCore.Rename Methods rename :: MonadQuote m => Term name uni fun ann -> m (Term name uni fun ann) Source #
(PrettyClassic name, PrettyUni uni, Pretty fun, Pretty ann) => Pretty (Term name uni fun ann) Source #
Instance details Defined in UntypedPlutusCore.Core.Instance.Pretty.Default Methods pretty :: Term name uni fun ann -> Doc ann0 # prettyList :: [Term name uni fun ann] -> Doc ann0 #
type Rep (Term name uni fun ann) Source #
Instance details Defined in UntypedPlutusCore.Core.Type type Rep (Term name uni fun ann) = D1 ('MetaData "Term" "UntypedPlutusCore.Core.Type" "plutus-core-1.45.0.0-4MxwoS2cXGc67A4wnNpcs5" '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 #
Instance details Defined in UntypedPlutusCore.Core.Type type HasUniques (Term name uni fun ann) = HasUnique name TermUnique
type UniOf (Term name uni fun ann) Source #
Instance details Defined in UntypedPlutusCore.Core.Type type UniOf (Term name uni fun ann) = uni

data Program name uni fun ann Source #

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

Constructors

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

Instances

Instances details

DefaultPrettyPlcStrategy (Program name uni fun ann) => PrettyBy PrettyConfigPlc (Program name uni fun ann) Source #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details Defined in UntypedPlutusCore.Core.Type Methods fmap :: (a -> b) -> Program name uni fun a -> Program name uni fun b Source # (<$) :: a -> Program name uni fun b -> Program name uni fun a Source #
name ~ Name => CollectScopeInfo (Program name uni fun) Source #
Instance details Defined in UntypedPlutusCore.Core.Instance.Scoping Methods collectScopeInfo :: Program name uni fun NameAnn -> ScopeErrorOrInfo Source #
name ~ Name => EstablishScoping (Program name uni fun) Source #
Instance details Defined in UntypedPlutusCore.Core.Instance.Scoping Methods establishScoping :: Program name uni fun ann -> Quote (Program name uni fun NameAnn) Source #
Generic (Program name uni fun ann) Source #
Instance details Defined in UntypedPlutusCore.Core.Type Associated Types type Rep (Program name uni fun ann) :: Type -> Type Source # Methods from :: Program name uni fun ann -> Rep (Program name uni fun ann) x Source # to :: Rep (Program name uni fun ann) x -> Program name uni fun ann Source #
(Show name, GShow uni, Everywhere uni Show, Show fun, Show ann, Closed uni) => Show (Program name uni fun ann) Source #
Instance details Defined in UntypedPlutusCore.Core.Type Methods showsPrec :: Int -> Program name uni fun ann -> ShowS Source # show :: Program name uni fun ann -> String Source # showList :: [Program name uni fun ann] -> ShowS Source #
(NFData name, Everywhere uni NFData, NFData fun, NFData ann, Closed uni) => NFData (Program name uni fun ann) Source #
Instance details Defined in UntypedPlutusCore.Core.Type Methods rnf :: Program name uni fun ann -> () Source #
(GEq uni, Closed uni, Everywhere uni Eq, Eq fun, Eq ann, Eq (Term name uni fun ann)) => Eq (Program name uni fun ann) Source #
Instance details Defined in UntypedPlutusCore.Core.Instance.Eq Methods (==) :: Program name uni fun ann -> Program name uni fun ann -> Bool Source # (/=) :: Program name uni fun ann -> Program name uni fun ann -> Bool Source #
HasUniques (Program name uni fun ann) => Rename (Program name uni fun ann) Source #
Instance details Defined in UntypedPlutusCore.Rename Methods rename :: MonadQuote m => Program name uni fun ann -> m (Program name uni fun ann) Source #
(PrettyClassic name, PrettyUni uni, Pretty fun, Pretty ann) => Pretty (Program name uni fun ann) Source #
Instance details Defined in UntypedPlutusCore.Core.Instance.Pretty.Default Methods pretty :: Program name uni fun ann -> Doc ann0 # prettyList :: [Program name uni fun ann] -> Doc ann0 #
type Rep (Program name uni fun ann) Source #
Instance details Defined in UntypedPlutusCore.Core.Type type Rep (Program name uni fun ann) = D1 ('MetaData "Program" "UntypedPlutusCore.Core.Type" "plutus-core-1.45.0.0-4MxwoS2cXGc67A4wnNpcs5" '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 #
Instance details Defined in UntypedPlutusCore.Core.Type type HasUniques (Program name uni fun ann) = HasUniques (Term name uni fun ann)

applyProgram :: (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 :: (AsParserErrorBundle e, AsUniqueError e SrcSpan, MonadError e 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

Instances details

ToKind DefaultUni Source #
Instance details Defined in PlutusCore.Default.Universe Methods toSingKind :: forall k (a :: k). DefaultUni (Esc a) -> SingKind k Source #
TestTypesFromTheUniverseAreAllKnown DefaultUni Source #
Instance details Defined in PlutusCore.Default.Universe
Closed DefaultUni Source #
Instance details Defined in PlutusCore.Default.Universe Associated Types type Everywhere DefaultUni constr Source # Methods encodeUni :: DefaultUni a -> [Int] Source # withDecodedUni :: (forall k (a :: k). Typeable k => DefaultUni (Esc a) -> DecodeUniM r) -> DecodeUniM r Source # bring :: Everywhere DefaultUni constr => proxy constr -> DefaultUni (Esc a) -> (constr a => r) -> r Source #
HasUniApply DefaultUni Source #
Instance details 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 #
GEq DefaultUni Source #
Instance details Defined in PlutusCore.Default.Universe Methods geq :: forall (a :: k) (b :: k). DefaultUni a -> DefaultUni b -> Maybe (a :~: b) #
GShow DefaultUni Source #
Instance details Defined in PlutusCore.Default.Universe Methods gshowsPrec :: forall (a :: k). Int -> DefaultUni a -> ShowS #
UniOf term ~ DefaultUni => MakeKnownIn DefaultUni term Void Source #
Instance details Defined in PlutusCore.Examples.Builtins Methods makeKnown :: Void -> BuiltinResult (HeadSpine term) Source #
KnownBuiltinTypeIn DefaultUni term Integer => MakeKnownIn DefaultUni term Int16 Source #
Instance details Defined in PlutusCore.Default.Universe Methods makeKnown :: Int16 -> BuiltinResult (HeadSpine term) Source #
KnownBuiltinTypeIn DefaultUni term Integer => MakeKnownIn DefaultUni term Int32 Source #
Instance details Defined in PlutusCore.Default.Universe Methods makeKnown :: Int32 -> BuiltinResult (HeadSpine term) Source #
KnownBuiltinTypeIn DefaultUni term Integer => MakeKnownIn DefaultUni term Int64 Source #
Instance details Defined in PlutusCore.Default.Universe Methods makeKnown :: Int64 -> BuiltinResult (HeadSpine term) Source #
KnownBuiltinTypeIn DefaultUni term Integer => MakeKnownIn DefaultUni term Int8 Source #
Instance details Defined in PlutusCore.Default.Universe Methods makeKnown :: Int8 -> BuiltinResult (HeadSpine term) Source #
KnownBuiltinTypeIn DefaultUni term Integer => MakeKnownIn DefaultUni term Word16 Source #
Instance details Defined in PlutusCore.Default.Universe Methods makeKnown :: Word16 -> BuiltinResult (HeadSpine term) Source #
KnownBuiltinTypeIn DefaultUni term Integer => MakeKnownIn DefaultUni term Word32 Source #
Instance details Defined in PlutusCore.Default.Universe Methods makeKnown :: Word32 -> BuiltinResult (HeadSpine term) Source #
KnownBuiltinTypeIn DefaultUni term Integer => MakeKnownIn DefaultUni term Word64 Source #
Instance details Defined in PlutusCore.Default.Universe Methods makeKnown :: Word64 -> BuiltinResult (HeadSpine term) Source #
KnownBuiltinTypeIn DefaultUni term Integer => MakeKnownIn DefaultUni term Word8 Source #
Instance details Defined in PlutusCore.Default.Universe Methods makeKnown :: Word8 -> BuiltinResult (HeadSpine term) Source #
KnownBuiltinTypeIn DefaultUni term ByteString => MakeKnownIn DefaultUni term ByteString Source #
Instance details Defined in PlutusCore.Default.Universe Methods makeKnown :: ByteString -> BuiltinResult (HeadSpine term) Source #
KnownBuiltinTypeIn DefaultUni term Element => MakeKnownIn DefaultUni term Element Source #
Instance details Defined in PlutusCore.Default.Universe Methods makeKnown :: Element -> BuiltinResult (HeadSpine term) Source #
KnownBuiltinTypeIn DefaultUni term Element => MakeKnownIn DefaultUni term Element Source #
Instance details Defined in PlutusCore.Default.Universe Methods makeKnown :: Element -> BuiltinResult (HeadSpine term) Source #
KnownBuiltinTypeIn DefaultUni term MlResult => MakeKnownIn DefaultUni term MlResult Source #
Instance details Defined in PlutusCore.Default.Universe Methods makeKnown :: MlResult -> BuiltinResult (HeadSpine term) Source #
KnownBuiltinTypeIn DefaultUni term Data => MakeKnownIn DefaultUni term Data Source #
Instance details Defined in PlutusCore.Default.Universe Methods makeKnown :: Data -> BuiltinResult (HeadSpine term) Source #
KnownBuiltinTypeIn DefaultUni term Integer => MakeKnownIn DefaultUni term IntegerCostedLiterally Source #
Instance details Defined in PlutusCore.Default.Universe Methods makeKnown :: IntegerCostedLiterally -> BuiltinResult (HeadSpine term) Source #
KnownBuiltinTypeIn DefaultUni term Integer => MakeKnownIn DefaultUni term NumBytesCostedAsNumWords Source #
Instance details Defined in PlutusCore.Default.Universe Methods makeKnown :: NumBytesCostedAsNumWords -> BuiltinResult (HeadSpine term) Source #
KnownBuiltinTypeIn DefaultUni term Text => MakeKnownIn DefaultUni term Text Source #
Instance details Defined in PlutusCore.Default.Universe Methods makeKnown :: Text -> BuiltinResult (HeadSpine term) Source #
KnownBuiltinTypeIn DefaultUni term Integer => MakeKnownIn DefaultUni term Integer Source #
Instance details Defined in PlutusCore.Default.Universe Methods makeKnown :: Integer -> BuiltinResult (HeadSpine term) Source #
KnownBuiltinTypeIn DefaultUni term Integer => MakeKnownIn DefaultUni term Natural Source #
Instance details Defined in PlutusCore.Default.Universe Methods makeKnown :: Natural -> BuiltinResult (HeadSpine term) Source #
KnownBuiltinTypeIn DefaultUni term () => MakeKnownIn DefaultUni term () Source #
Instance details Defined in PlutusCore.Default.Universe Methods makeKnown :: () -> BuiltinResult (HeadSpine term) Source #
KnownBuiltinTypeIn DefaultUni term Bool => MakeKnownIn DefaultUni term Bool Source #
Instance details Defined in PlutusCore.Default.Universe Methods makeKnown :: Bool -> BuiltinResult (HeadSpine term) Source #
KnownBuiltinTypeIn DefaultUni term Integer => MakeKnownIn DefaultUni term Int Source #
Instance details Defined in PlutusCore.Default.Universe Methods makeKnown :: Int -> BuiltinResult (HeadSpine term) Source #
KnownBuiltinTypeIn DefaultUni term Integer => MakeKnownIn DefaultUni term Word Source #
Instance details Defined in PlutusCore.Default.Universe Methods makeKnown :: Word -> BuiltinResult (HeadSpine term) Source #
UniOf term ~ DefaultUni => ReadKnownIn DefaultUni term Void Source #
Instance details Defined in PlutusCore.Examples.Builtins Methods readKnown :: term -> ReadKnownM Void Source #
KnownBuiltinTypeIn DefaultUni term Integer => ReadKnownIn DefaultUni term Int16 Source #
Instance details Defined in PlutusCore.Default.Universe Methods readKnown :: term -> ReadKnownM Int16 Source #
KnownBuiltinTypeIn DefaultUni term Integer => ReadKnownIn DefaultUni term Int32 Source #
Instance details Defined in PlutusCore.Default.Universe Methods readKnown :: term -> ReadKnownM Int32 Source #
KnownBuiltinTypeIn DefaultUni term Integer => ReadKnownIn DefaultUni term Int64 Source #
Instance details Defined in PlutusCore.Default.Universe Methods readKnown :: term -> ReadKnownM Int64 Source #
KnownBuiltinTypeIn DefaultUni term Integer => ReadKnownIn DefaultUni term Int8 Source #
Instance details Defined in PlutusCore.Default.Universe Methods readKnown :: term -> ReadKnownM Int8 Source #
KnownBuiltinTypeIn DefaultUni term Integer => ReadKnownIn DefaultUni term Word16 Source #
Instance details Defined in PlutusCore.Default.Universe Methods readKnown :: term -> ReadKnownM Word16 Source #
KnownBuiltinTypeIn DefaultUni term Integer => ReadKnownIn DefaultUni term Word32 Source #
Instance details Defined in PlutusCore.Default.Universe Methods readKnown :: term -> ReadKnownM Word32 Source #
KnownBuiltinTypeIn DefaultUni term Integer => ReadKnownIn DefaultUni term Word64 Source #
Instance details Defined in PlutusCore.Default.Universe Methods readKnown :: term -> ReadKnownM Word64 Source #
KnownBuiltinTypeIn DefaultUni term Integer => ReadKnownIn DefaultUni term Word8 Source #
Instance details Defined in PlutusCore.Default.Universe Methods readKnown :: term -> ReadKnownM Word8 Source #
KnownBuiltinTypeIn DefaultUni term ByteString => ReadKnownIn DefaultUni term ByteString Source #
Instance details Defined in PlutusCore.Default.Universe Methods readKnown :: term -> ReadKnownM ByteString Source #
KnownBuiltinTypeIn DefaultUni term Element => ReadKnownIn DefaultUni term Element Source #
Instance details Defined in PlutusCore.Default.Universe Methods readKnown :: term -> ReadKnownM Element Source #
KnownBuiltinTypeIn DefaultUni term Element => ReadKnownIn DefaultUni term Element Source #
Instance details Defined in PlutusCore.Default.Universe Methods readKnown :: term -> ReadKnownM Element Source #
KnownBuiltinTypeIn DefaultUni term MlResult => ReadKnownIn DefaultUni term MlResult Source #
Instance details Defined in PlutusCore.Default.Universe Methods readKnown :: term -> ReadKnownM MlResult Source #
KnownBuiltinTypeIn DefaultUni term Data => ReadKnownIn DefaultUni term Data Source #
Instance details Defined in PlutusCore.Default.Universe Methods readKnown :: term -> ReadKnownM Data Source #
KnownBuiltinTypeIn DefaultUni term Integer => ReadKnownIn DefaultUni term IntegerCostedLiterally Source #
Instance details Defined in PlutusCore.Default.Universe Methods readKnown :: term -> ReadKnownM IntegerCostedLiterally Source #
KnownBuiltinTypeIn DefaultUni term Integer => ReadKnownIn DefaultUni term NumBytesCostedAsNumWords Source #
Instance details Defined in PlutusCore.Default.Universe Methods readKnown :: term -> ReadKnownM NumBytesCostedAsNumWords Source #
KnownBuiltinTypeIn DefaultUni term Text => ReadKnownIn DefaultUni term Text Source #
Instance details Defined in PlutusCore.Default.Universe Methods readKnown :: term -> ReadKnownM Text Source #
KnownBuiltinTypeIn DefaultUni term Integer => ReadKnownIn DefaultUni term Integer Source #
Instance details Defined in PlutusCore.Default.Universe Methods readKnown :: term -> ReadKnownM Integer Source #
KnownBuiltinTypeIn DefaultUni term Integer => ReadKnownIn DefaultUni term Natural Source #
Instance details Defined in PlutusCore.Default.Universe Methods readKnown :: term -> ReadKnownM Natural Source #
KnownBuiltinTypeIn DefaultUni term () => ReadKnownIn DefaultUni term () Source #
Instance details Defined in PlutusCore.Default.Universe Methods readKnown :: term -> ReadKnownM () Source #
KnownBuiltinTypeIn DefaultUni term Bool => ReadKnownIn DefaultUni term Bool Source #
Instance details Defined in PlutusCore.Default.Universe Methods readKnown :: term -> ReadKnownM Bool Source #
KnownBuiltinTypeIn DefaultUni term Integer => ReadKnownIn DefaultUni term Int Source #
Instance details Defined in PlutusCore.Default.Universe Methods readKnown :: term -> ReadKnownM Int Source #
KnownBuiltinTypeIn DefaultUni term Integer => ReadKnownIn DefaultUni term Word Source #
Instance details Defined in PlutusCore.Default.Universe Methods readKnown :: term -> ReadKnownM Word Source #
Contains DefaultUni ByteString Source #
Instance details Defined in PlutusCore.Default.Universe Methods knownUni :: DefaultUni (Esc ByteString) Source #
Contains DefaultUni Element Source #
Instance details Defined in PlutusCore.Default.Universe Methods knownUni :: DefaultUni (Esc Element) Source #
Contains DefaultUni Element Source #
Instance details Defined in PlutusCore.Default.Universe Methods knownUni :: DefaultUni (Esc Element) Source #
Contains DefaultUni MlResult Source #
Instance details Defined in PlutusCore.Default.Universe Methods knownUni :: DefaultUni (Esc MlResult) Source #
Contains DefaultUni Data Source #
Instance details Defined in PlutusCore.Default.Universe Methods knownUni :: DefaultUni (Esc Data) Source #
Contains DefaultUni Text Source #
Instance details Defined in PlutusCore.Default.Universe Methods knownUni :: DefaultUni (Esc Text) Source #
Contains DefaultUni Integer Source #
Instance details Defined in PlutusCore.Default.Universe Methods knownUni :: DefaultUni (Esc Integer) Source #
Contains DefaultUni () Source #
Instance details Defined in PlutusCore.Default.Universe Methods knownUni :: DefaultUni (Esc ()) Source #
Contains DefaultUni Bool Source #
Instance details Defined in PlutusCore.Default.Universe Methods knownUni :: DefaultUni (Esc Bool) Source #
tyname ~ TyName => KnownTypeAst tyname DefaultUni Void Source #
Instance details Defined in PlutusCore.Examples.Builtins Associated Types type IsBuiltin DefaultUni Void :: Bool Source # type ToHoles DefaultUni hole Void :: [Hole] Source # type ToBinds DefaultUni acc Void :: [Some TyNameRep] Source # Methods typeAst :: Type tyname DefaultUni () Source #
KnownTypeAst tyname DefaultUni Int16 Source #
Instance details Defined in PlutusCore.Default.Universe Associated Types type IsBuiltin DefaultUni Int16 :: Bool Source # type ToHoles DefaultUni hole Int16 :: [Hole] Source # type ToBinds DefaultUni acc Int16 :: [Some TyNameRep] Source # Methods typeAst :: Type tyname DefaultUni () Source #
KnownTypeAst tyname DefaultUni Int32 Source #
Instance details Defined in PlutusCore.Default.Universe Associated Types type IsBuiltin DefaultUni Int32 :: Bool Source # type ToHoles DefaultUni hole Int32 :: [Hole] Source # type ToBinds DefaultUni acc Int32 :: [Some TyNameRep] Source # Methods typeAst :: Type tyname DefaultUni () Source #
KnownTypeAst tyname DefaultUni Int64 Source #
Instance details Defined in PlutusCore.Default.Universe Associated Types type IsBuiltin DefaultUni Int64 :: Bool Source # type ToHoles DefaultUni hole Int64 :: [Hole] Source # type ToBinds DefaultUni acc Int64 :: [Some TyNameRep] Source # Methods typeAst :: Type tyname DefaultUni () Source #
KnownTypeAst tyname DefaultUni Int8 Source #
Instance details Defined in PlutusCore.Default.Universe Associated Types type IsBuiltin DefaultUni Int8 :: Bool Source # type ToHoles DefaultUni hole Int8 :: [Hole] Source # type ToBinds DefaultUni acc Int8 :: [Some TyNameRep] Source # Methods typeAst :: Type tyname DefaultUni () Source #
KnownTypeAst tyname DefaultUni Word16 Source #
Instance details Defined in PlutusCore.Default.Universe Associated Types type IsBuiltin DefaultUni Word16 :: Bool Source # type ToHoles DefaultUni hole Word16 :: [Hole] Source # type ToBinds DefaultUni acc Word16 :: [Some TyNameRep] Source # Methods typeAst :: Type tyname DefaultUni () Source #
KnownTypeAst tyname DefaultUni Word32 Source #
Instance details Defined in PlutusCore.Default.Universe Associated Types type IsBuiltin DefaultUni Word32 :: Bool Source # type ToHoles DefaultUni hole Word32 :: [Hole] Source # type ToBinds DefaultUni acc Word32 :: [Some TyNameRep] Source # Methods typeAst :: Type tyname DefaultUni () Source #
KnownTypeAst tyname DefaultUni Word64 Source #
Instance details Defined in PlutusCore.Default.Universe Associated Types type IsBuiltin DefaultUni Word64 :: Bool Source # type ToHoles DefaultUni hole Word64 :: [Hole] Source # type ToBinds DefaultUni acc Word64 :: [Some TyNameRep] Source # Methods typeAst :: Type tyname DefaultUni () Source #
KnownTypeAst tyname DefaultUni Word8 Source #
Instance details Defined in PlutusCore.Default.Universe Associated Types type IsBuiltin DefaultUni Word8 :: Bool Source # type ToHoles DefaultUni hole Word8 :: [Hole] Source # type ToBinds DefaultUni acc Word8 :: [Some TyNameRep] Source # Methods typeAst :: Type tyname DefaultUni () Source #
KnownBuiltinTypeAst tyname DefaultUni ByteString => KnownTypeAst tyname DefaultUni ByteString Source #
Instance details Defined in PlutusCore.Default.Universe Associated Types type IsBuiltin DefaultUni ByteString :: Bool Source # type ToHoles DefaultUni hole ByteString :: [Hole] Source # type ToBinds DefaultUni acc ByteString :: [Some TyNameRep] Source # Methods typeAst :: Type tyname DefaultUni () Source #
KnownBuiltinTypeAst tyname DefaultUni Element => KnownTypeAst tyname DefaultUni Element Source #
Instance details Defined in PlutusCore.Default.Universe Associated Types type IsBuiltin DefaultUni Element :: Bool Source # type ToHoles DefaultUni hole Element :: [Hole] Source # type ToBinds DefaultUni acc Element :: [Some TyNameRep] Source # Methods typeAst :: Type tyname DefaultUni () Source #
KnownBuiltinTypeAst tyname DefaultUni Element => KnownTypeAst tyname DefaultUni Element Source #
Instance details Defined in PlutusCore.Default.Universe Associated Types type IsBuiltin DefaultUni Element :: Bool Source # type ToHoles DefaultUni hole Element :: [Hole] Source # type ToBinds DefaultUni acc Element :: [Some TyNameRep] Source # Methods typeAst :: Type tyname DefaultUni () Source #
KnownBuiltinTypeAst tyname DefaultUni MlResult => KnownTypeAst tyname DefaultUni MlResult Source #
Instance details Defined in PlutusCore.Default.Universe Associated Types type IsBuiltin DefaultUni MlResult :: Bool Source # type ToHoles DefaultUni hole MlResult :: [Hole] Source # type ToBinds DefaultUni acc MlResult :: [Some TyNameRep] Source # Methods typeAst :: Type tyname DefaultUni () Source #
KnownBuiltinTypeAst tyname DefaultUni Data => KnownTypeAst tyname DefaultUni Data Source #
Instance details Defined in PlutusCore.Default.Universe Associated Types type IsBuiltin DefaultUni Data :: Bool Source # type ToHoles DefaultUni hole Data :: [Hole] Source # type ToBinds DefaultUni acc Data :: [Some TyNameRep] Source # Methods typeAst :: Type tyname DefaultUni () Source #
KnownTypeAst tyname DefaultUni IntegerCostedLiterally Source #
Instance details Defined in PlutusCore.Default.Universe Associated Types type IsBuiltin DefaultUni IntegerCostedLiterally :: Bool Source # type ToHoles DefaultUni hole IntegerCostedLiterally :: [Hole] Source # type ToBinds DefaultUni acc IntegerCostedLiterally :: [Some TyNameRep] Source # Methods typeAst :: Type tyname DefaultUni () Source #
KnownTypeAst tyname DefaultUni NumBytesCostedAsNumWords Source #
Instance details Defined in PlutusCore.Default.Universe Associated Types type IsBuiltin DefaultUni NumBytesCostedAsNumWords :: Bool Source # type ToHoles DefaultUni hole NumBytesCostedAsNumWords :: [Hole] Source # type ToBinds DefaultUni acc NumBytesCostedAsNumWords :: [Some TyNameRep] Source # Methods typeAst :: Type tyname DefaultUni () Source #
KnownBuiltinTypeAst tyname DefaultUni Text => KnownTypeAst tyname DefaultUni Text Source #
Instance details Defined in PlutusCore.Default.Universe Associated Types type IsBuiltin DefaultUni Text :: Bool Source # type ToHoles DefaultUni hole Text :: [Hole] Source # type ToBinds DefaultUni acc Text :: [Some TyNameRep] Source # Methods typeAst :: Type tyname DefaultUni () Source #
KnownBuiltinTypeAst tyname DefaultUni Integer => KnownTypeAst tyname DefaultUni Integer Source #
Instance details Defined in PlutusCore.Default.Universe Associated Types type IsBuiltin DefaultUni Integer :: Bool Source # type ToHoles DefaultUni hole Integer :: [Hole] Source # type ToBinds DefaultUni acc Integer :: [Some TyNameRep] Source # Methods typeAst :: Type tyname DefaultUni () Source #
KnownTypeAst tyname DefaultUni Natural Source #
Instance details Defined in PlutusCore.Default.Universe Associated Types type IsBuiltin DefaultUni Natural :: Bool Source # type ToHoles DefaultUni hole Natural :: [Hole] Source # type ToBinds DefaultUni acc Natural :: [Some TyNameRep] Source # Methods typeAst :: Type tyname DefaultUni () Source #
KnownBuiltinTypeAst tyname DefaultUni () => KnownTypeAst tyname DefaultUni () Source #
Instance details Defined in PlutusCore.Default.Universe Associated Types type IsBuiltin DefaultUni () :: Bool Source # type ToHoles DefaultUni hole () :: [Hole] Source # type ToBinds DefaultUni acc () :: [Some TyNameRep] Source # Methods typeAst :: Type tyname DefaultUni () Source #
KnownBuiltinTypeAst tyname DefaultUni Bool => KnownTypeAst tyname DefaultUni Bool Source #
Instance details Defined in PlutusCore.Default.Universe Associated Types type IsBuiltin DefaultUni Bool :: Bool Source # type ToHoles DefaultUni hole Bool :: [Hole] Source # type ToBinds DefaultUni acc Bool :: [Some TyNameRep] Source # Methods typeAst :: Type tyname DefaultUni () Source #
KnownTypeAst tyname DefaultUni Int Source #
Instance details Defined in PlutusCore.Default.Universe Associated Types type IsBuiltin DefaultUni Int :: Bool Source # type ToHoles DefaultUni hole Int :: [Hole] Source # type ToBinds DefaultUni acc Int :: [Some TyNameRep] Source # Methods typeAst :: Type tyname DefaultUni () Source #
KnownTypeAst tyname DefaultUni Word Source #
Instance details Defined in PlutusCore.Default.Universe Associated Types type IsBuiltin DefaultUni Word :: Bool Source # type ToHoles DefaultUni hole Word :: [Hole] Source # type ToBinds DefaultUni acc Word :: [Some TyNameRep] Source # Methods typeAst :: Type tyname DefaultUni () Source #
KnownTypeAst tyname DefaultUni a => KnownTypeAst tyname DefaultUni (ArrayCostedByLength a :: Type) Source #
Instance details Defined in PlutusCore.Default.Universe Associated Types type IsBuiltin DefaultUni (ArrayCostedByLength a) :: Bool Source # type ToHoles DefaultUni hole (ArrayCostedByLength a) :: [Hole] Source # type ToBinds DefaultUni acc (ArrayCostedByLength a) :: [Some TyNameRep] Source # Methods typeAst :: Type0 tyname DefaultUni () Source #
KnownTypeAst tyname DefaultUni a => KnownTypeAst tyname DefaultUni (ListCostedByLength a :: Type) Source #
Instance details Defined in PlutusCore.Default.Universe Associated Types type IsBuiltin DefaultUni (ListCostedByLength a) :: Bool Source # type ToHoles DefaultUni hole (ListCostedByLength a) :: [Hole] Source # type ToBinds DefaultUni acc (ListCostedByLength a) :: [Some TyNameRep] Source # Methods typeAst :: Type0 tyname DefaultUni () Source #
KnownBuiltinTypeAst tyname DefaultUni (Vector a) => KnownTypeAst tyname DefaultUni (Vector a :: Type) Source #
Instance details Defined in PlutusCore.Default.Universe Associated Types type IsBuiltin DefaultUni (Vector a) :: Bool Source # type ToHoles DefaultUni hole (Vector a) :: [Hole] Source # type ToBinds DefaultUni acc (Vector a) :: [Some TyNameRep] Source # Methods typeAst :: Type0 tyname DefaultUni () Source #
KnownBuiltinTypeAst tyname DefaultUni [a] => KnownTypeAst tyname DefaultUni ([a] :: Type) Source #
Instance details Defined in PlutusCore.Default.Universe Associated Types type IsBuiltin DefaultUni [a] :: Bool Source # type ToHoles DefaultUni hole [a] :: [Hole] Source # type ToBinds DefaultUni acc [a] :: [Some TyNameRep] Source # Methods typeAst :: Type0 tyname DefaultUni () Source #
KnownBuiltinTypeAst tyname DefaultUni (a, b) => KnownTypeAst tyname DefaultUni ((a, b) :: Type) Source #
Instance details Defined in PlutusCore.Default.Universe Associated Types type IsBuiltin DefaultUni (a, b) :: Bool Source # type ToHoles DefaultUni hole (a, b) :: [Hole] Source # type ToBinds DefaultUni acc (a, b) :: [Some TyNameRep] Source # Methods typeAst :: Type0 tyname DefaultUni () Source #
KnownBuiltinTypeIn DefaultUni term (Vector a) => MakeKnownIn DefaultUni term (ArrayCostedByLength a) Source #
Instance details Defined in PlutusCore.Default.Universe Methods makeKnown :: ArrayCostedByLength a -> BuiltinResult (HeadSpine term) Source #
KnownBuiltinTypeIn DefaultUni term [a] => MakeKnownIn DefaultUni term (ListCostedByLength a) Source #
Instance details Defined in PlutusCore.Default.Universe Methods makeKnown :: ListCostedByLength a -> BuiltinResult (HeadSpine term) Source #
KnownBuiltinTypeIn DefaultUni term (Vector a) => MakeKnownIn DefaultUni term (Vector a) Source #
Instance details Defined in PlutusCore.Default.Universe Methods makeKnown :: Vector a -> BuiltinResult (HeadSpine term) Source #
KnownBuiltinTypeIn DefaultUni term [a] => MakeKnownIn DefaultUni term [a] Source #
Instance details Defined in PlutusCore.Default.Universe Methods makeKnown :: [a] -> BuiltinResult (HeadSpine term) Source #
KnownBuiltinTypeIn DefaultUni term (Vector a) => ReadKnownIn DefaultUni term (ArrayCostedByLength a) Source #
Instance details Defined in PlutusCore.Default.Universe Methods readKnown :: term -> ReadKnownM (ArrayCostedByLength a) Source #
KnownBuiltinTypeIn DefaultUni term [a] => ReadKnownIn DefaultUni term (ListCostedByLength a) Source #
Instance details Defined in PlutusCore.Default.Universe Methods readKnown :: term -> ReadKnownM (ListCostedByLength a) Source #
KnownBuiltinTypeIn DefaultUni term (Vector a) => ReadKnownIn DefaultUni term (Vector a) Source #
Instance details Defined in PlutusCore.Default.Universe Methods readKnown :: term -> ReadKnownM (Vector a) Source #
KnownBuiltinTypeIn DefaultUni term [a] => ReadKnownIn DefaultUni term [a] Source #
Instance details Defined in PlutusCore.Default.Universe Methods readKnown :: term -> ReadKnownM [a] Source #
(Contains DefaultUni f, Contains DefaultUni a) => Contains DefaultUni (f a :: k2) Source #
Instance details Defined in PlutusCore.Default.Universe Methods knownUni :: DefaultUni (Esc (f a)) Source #
KnownBuiltinTypeIn DefaultUni term (a, b) => MakeKnownIn DefaultUni term (a, b) Source #
Instance details Defined in PlutusCore.Default.Universe Methods makeKnown :: (a, b) -> BuiltinResult (HeadSpine term) Source #
KnownBuiltinTypeIn DefaultUni term (a, b) => ReadKnownIn DefaultUni term (a, b) Source #
Instance details Defined in PlutusCore.Default.Universe Methods readKnown :: term -> ReadKnownM (a, b) Source #
MakeKnownIn DefaultUni term a => MakeKnownIn DefaultUni term (MetaForall name a) Source #
Instance details Defined in PlutusCore.Examples.Builtins Methods makeKnown :: MetaForall name a -> BuiltinResult (HeadSpine term) Source #
PrettyBy RenderContext (DefaultUni a) Source #
Instance details Defined in PlutusCore.Default.Universe Methods prettyBy :: RenderContext -> DefaultUni a -> Doc ann # prettyListBy :: RenderContext -> [DefaultUni a] -> Doc ann #
PrettyBy RenderContext (SomeTypeIn DefaultUni) Source #
Instance details Defined in PlutusCore.Default.Universe Methods prettyBy :: RenderContext -> SomeTypeIn DefaultUni -> Doc ann # prettyListBy :: RenderContext -> [SomeTypeIn DefaultUni] -> Doc ann #
Show (DefaultUni a) Source #
Instance details Defined in PlutusCore.Default.Universe Methods showsPrec :: Int -> DefaultUni a -> ShowS Source # show :: DefaultUni a -> String Source # showList :: [DefaultUni a] -> ShowS Source #
Pretty (DefaultUni a) Source #	This always pretty-prints parens around type applications (e.g. `(list bool)`) and doesn't pretty-print them otherwise (e.g. `integer`).
Instance details Defined in PlutusCore.Default.Universe Methods pretty :: DefaultUni a -> Doc ann # prettyList :: [DefaultUni a] -> Doc ann #
Pretty (SomeTypeIn DefaultUni) Source #
Instance details Defined in PlutusCore.Default.Universe Methods pretty :: SomeTypeIn DefaultUni -> Doc ann # prettyList :: [SomeTypeIn DefaultUni] -> Doc ann #
Contains DefaultUni (,) Source #
Instance details Defined in PlutusCore.Default.Universe Methods knownUni :: DefaultUni (Esc (,)) Source #
Contains DefaultUni Vector Source #
Instance details Defined in PlutusCore.Default.Universe Methods knownUni :: DefaultUni (Esc Vector) Source #
Contains DefaultUni List Source #
Instance details Defined in PlutusCore.Default.Universe Methods knownUni :: DefaultUni (Esc List) Source #
type Everywhere DefaultUni constr Source #
Instance details Defined in PlutusCore.Default.Universe type Everywhere DefaultUni constr = (Permits constr Integer, Permits constr ByteString, Permits constr Text, Permits constr (), Permits constr Bool, Permits constr List, Permits constr Vector, Permits constr (,), Permits constr Data, Permits constr Element, Permits constr Element, Permits constr MlResult)
type IsBuiltin DefaultUni Void Source #
Instance details Defined in PlutusCore.Examples.Builtins type IsBuiltin DefaultUni Void = 'False
type IsBuiltin DefaultUni Int16 Source #
Instance details Defined in PlutusCore.Default.Universe type IsBuiltin DefaultUni Int16
type IsBuiltin DefaultUni Int32 Source #
Instance details Defined in PlutusCore.Default.Universe type IsBuiltin DefaultUni Int32
type IsBuiltin DefaultUni Int64 Source #
Instance details Defined in PlutusCore.Default.Universe type IsBuiltin DefaultUni Int64
type IsBuiltin DefaultUni Int8 Source #
Instance details Defined in PlutusCore.Default.Universe type IsBuiltin DefaultUni Int8
type IsBuiltin DefaultUni Word16 Source #
Instance details Defined in PlutusCore.Default.Universe type IsBuiltin DefaultUni Word16
type IsBuiltin DefaultUni Word32 Source #
Instance details Defined in PlutusCore.Default.Universe type IsBuiltin DefaultUni Word32
type IsBuiltin DefaultUni Word64 Source #
Instance details Defined in PlutusCore.Default.Universe type IsBuiltin DefaultUni Word64
type IsBuiltin DefaultUni Word8 Source #
Instance details Defined in PlutusCore.Default.Universe type IsBuiltin DefaultUni Word8
type IsBuiltin DefaultUni ByteString Source #
Instance details Defined in PlutusCore.Default.Universe type IsBuiltin DefaultUni ByteString = IsBuiltin DefaultUni (ElaborateBuiltin DefaultUni ByteString)
type IsBuiltin DefaultUni Element Source #
Instance details Defined in PlutusCore.Default.Universe type IsBuiltin DefaultUni Element = IsBuiltin DefaultUni (ElaborateBuiltin DefaultUni Element)
type IsBuiltin DefaultUni Element Source #
Instance details Defined in PlutusCore.Default.Universe type IsBuiltin DefaultUni Element = IsBuiltin DefaultUni (ElaborateBuiltin DefaultUni Element)
type IsBuiltin DefaultUni MlResult Source #
Instance details Defined in PlutusCore.Default.Universe type IsBuiltin DefaultUni MlResult = IsBuiltin DefaultUni (ElaborateBuiltin DefaultUni MlResult)
type IsBuiltin DefaultUni Data Source #
Instance details Defined in PlutusCore.Default.Universe type IsBuiltin DefaultUni Data = IsBuiltin DefaultUni (ElaborateBuiltin DefaultUni Data)
type IsBuiltin DefaultUni IntegerCostedLiterally Source #
Instance details Defined in PlutusCore.Default.Universe type IsBuiltin DefaultUni IntegerCostedLiterally = IsBuiltin DefaultUni Integer
type IsBuiltin DefaultUni NumBytesCostedAsNumWords Source #
Instance details Defined in PlutusCore.Default.Universe type IsBuiltin DefaultUni NumBytesCostedAsNumWords = IsBuiltin DefaultUni Integer
type IsBuiltin DefaultUni Text Source #
Instance details Defined in PlutusCore.Default.Universe type IsBuiltin DefaultUni Text = IsBuiltin DefaultUni (ElaborateBuiltin DefaultUni Text)
type IsBuiltin DefaultUni Integer Source #
Instance details Defined in PlutusCore.Default.Universe type IsBuiltin DefaultUni Integer = IsBuiltin DefaultUni (ElaborateBuiltin DefaultUni Integer)
type IsBuiltin DefaultUni Natural Source #
Instance details Defined in PlutusCore.Default.Universe type IsBuiltin DefaultUni Natural
type IsBuiltin DefaultUni () Source #
Instance details Defined in PlutusCore.Default.Universe type IsBuiltin DefaultUni () = IsBuiltin DefaultUni (ElaborateBuiltin DefaultUni ())
type IsBuiltin DefaultUni Bool Source #
Instance details Defined in PlutusCore.Default.Universe type IsBuiltin DefaultUni Bool = IsBuiltin DefaultUni (ElaborateBuiltin DefaultUni Bool)
type IsBuiltin DefaultUni Int Source #
Instance details Defined in PlutusCore.Default.Universe type IsBuiltin DefaultUni Int
type IsBuiltin DefaultUni Word Source #
Instance details Defined in PlutusCore.Default.Universe type IsBuiltin DefaultUni Word
type ElaborateBuiltin DefaultUni (x :: a) Source #
Instance details Defined in PlutusCore.Default.Universe type ElaborateBuiltin DefaultUni (x :: a)
type ToBinds DefaultUni acc Void Source #
Instance details Defined in PlutusCore.Examples.Builtins type ToBinds DefaultUni acc Void = acc
type ToBinds DefaultUni acc Int16 Source #
Instance details Defined in PlutusCore.Default.Universe type ToBinds DefaultUni acc Int16
type ToBinds DefaultUni acc Int32 Source #
Instance details Defined in PlutusCore.Default.Universe type ToBinds DefaultUni acc Int32
type ToBinds DefaultUni acc Int64 Source #
Instance details Defined in PlutusCore.Default.Universe type ToBinds DefaultUni acc Int64
type ToBinds DefaultUni acc Int8 Source #
Instance details Defined in PlutusCore.Default.Universe type ToBinds DefaultUni acc Int8
type ToBinds DefaultUni acc Word16 Source #
Instance details Defined in PlutusCore.Default.Universe type ToBinds DefaultUni acc Word16
type ToBinds DefaultUni acc Word32 Source #
Instance details Defined in PlutusCore.Default.Universe type ToBinds DefaultUni acc Word32
type ToBinds DefaultUni acc Word64 Source #
Instance details Defined in PlutusCore.Default.Universe type ToBinds DefaultUni acc Word64
type ToBinds DefaultUni acc Word8 Source #
Instance details Defined in PlutusCore.Default.Universe type ToBinds DefaultUni acc Word8
type ToBinds DefaultUni acc ByteString Source #
Instance details Defined in PlutusCore.Default.Universe type ToBinds DefaultUni acc ByteString = ToBinds DefaultUni acc (ElaborateBuiltin DefaultUni ByteString)
type ToBinds DefaultUni acc Element Source #
Instance details Defined in PlutusCore.Default.Universe type ToBinds DefaultUni acc Element = ToBinds DefaultUni acc (ElaborateBuiltin DefaultUni Element)
type ToBinds DefaultUni acc Element Source #
Instance details Defined in PlutusCore.Default.Universe type ToBinds DefaultUni acc Element = ToBinds DefaultUni acc (ElaborateBuiltin DefaultUni Element)
type ToBinds DefaultUni acc MlResult Source #
Instance details Defined in PlutusCore.Default.Universe type ToBinds DefaultUni acc MlResult = ToBinds DefaultUni acc (ElaborateBuiltin DefaultUni MlResult)
type ToBinds DefaultUni acc Data Source #
Instance details Defined in PlutusCore.Default.Universe type ToBinds DefaultUni acc Data = ToBinds DefaultUni acc (ElaborateBuiltin DefaultUni Data)
type ToBinds DefaultUni acc IntegerCostedLiterally Source #
Instance details Defined in PlutusCore.Default.Universe type ToBinds DefaultUni acc IntegerCostedLiterally = ToBinds DefaultUni acc Integer
type ToBinds DefaultUni acc NumBytesCostedAsNumWords Source #
Instance details Defined in PlutusCore.Default.Universe type ToBinds DefaultUni acc NumBytesCostedAsNumWords = ToBinds DefaultUni acc Integer
type ToBinds DefaultUni acc Text Source #
Instance details Defined in PlutusCore.Default.Universe type ToBinds DefaultUni acc Text = ToBinds DefaultUni acc (ElaborateBuiltin DefaultUni Text)
type ToBinds DefaultUni acc Integer Source #
Instance details Defined in PlutusCore.Default.Universe type ToBinds DefaultUni acc Integer = ToBinds DefaultUni acc (ElaborateBuiltin DefaultUni Integer)
type ToBinds DefaultUni acc Natural Source #
Instance details Defined in PlutusCore.Default.Universe type ToBinds DefaultUni acc Natural
type ToBinds DefaultUni acc () Source #
Instance details Defined in PlutusCore.Default.Universe type ToBinds DefaultUni acc () = ToBinds DefaultUni acc (ElaborateBuiltin DefaultUni ())
type ToBinds DefaultUni acc Bool Source #
Instance details Defined in PlutusCore.Default.Universe type ToBinds DefaultUni acc Bool = ToBinds DefaultUni acc (ElaborateBuiltin DefaultUni Bool)
type ToBinds DefaultUni acc Int Source #
Instance details Defined in PlutusCore.Default.Universe type ToBinds DefaultUni acc Int
type ToBinds DefaultUni acc Word Source #
Instance details Defined in PlutusCore.Default.Universe type ToBinds DefaultUni acc Word
type ToHoles DefaultUni _1 Void Source #
Instance details Defined in PlutusCore.Examples.Builtins type ToHoles DefaultUni _1 Void = '[] :: [Hole]
type ToHoles DefaultUni hole Int16 Source #
Instance details Defined in PlutusCore.Default.Universe type ToHoles DefaultUni hole Int16
type ToHoles DefaultUni hole Int32 Source #
Instance details Defined in PlutusCore.Default.Universe type ToHoles DefaultUni hole Int32
type ToHoles DefaultUni hole Int64 Source #
Instance details Defined in PlutusCore.Default.Universe type ToHoles DefaultUni hole Int64
type ToHoles DefaultUni hole Int8 Source #
Instance details Defined in PlutusCore.Default.Universe type ToHoles DefaultUni hole Int8
type ToHoles DefaultUni hole Word16 Source #
Instance details Defined in PlutusCore.Default.Universe type ToHoles DefaultUni hole Word16
type ToHoles DefaultUni hole Word32 Source #
Instance details Defined in PlutusCore.Default.Universe type ToHoles DefaultUni hole Word32
type ToHoles DefaultUni hole Word64 Source #
Instance details Defined in PlutusCore.Default.Universe type ToHoles DefaultUni hole Word64
type ToHoles DefaultUni hole Word8 Source #
Instance details Defined in PlutusCore.Default.Universe type ToHoles DefaultUni hole Word8
type ToHoles DefaultUni hole ByteString Source #
Instance details Defined in PlutusCore.Default.Universe type ToHoles DefaultUni hole ByteString = ToHoles DefaultUni hole (ElaborateBuiltin DefaultUni ByteString)
type ToHoles DefaultUni hole Element Source #
Instance details Defined in PlutusCore.Default.Universe type ToHoles DefaultUni hole Element = ToHoles DefaultUni hole (ElaborateBuiltin DefaultUni Element)
type ToHoles DefaultUni hole Element Source #
Instance details Defined in PlutusCore.Default.Universe type ToHoles DefaultUni hole Element = ToHoles DefaultUni hole (ElaborateBuiltin DefaultUni Element)
type ToHoles DefaultUni hole MlResult Source #
Instance details Defined in PlutusCore.Default.Universe type ToHoles DefaultUni hole MlResult = ToHoles DefaultUni hole (ElaborateBuiltin DefaultUni MlResult)
type ToHoles DefaultUni hole Data Source #
Instance details Defined in PlutusCore.Default.Universe type ToHoles DefaultUni hole Data = ToHoles DefaultUni hole (ElaborateBuiltin DefaultUni Data)
type ToHoles DefaultUni hole IntegerCostedLiterally Source #
Instance details Defined in PlutusCore.Default.Universe type ToHoles DefaultUni hole IntegerCostedLiterally = ToHoles DefaultUni hole Integer
type ToHoles DefaultUni hole NumBytesCostedAsNumWords Source #
Instance details Defined in PlutusCore.Default.Universe type ToHoles DefaultUni hole NumBytesCostedAsNumWords = ToHoles DefaultUni hole Integer
type ToHoles DefaultUni hole Text Source #
Instance details Defined in PlutusCore.Default.Universe type ToHoles DefaultUni hole Text = ToHoles DefaultUni hole (ElaborateBuiltin DefaultUni Text)
type ToHoles DefaultUni hole Integer Source #
Instance details Defined in PlutusCore.Default.Universe type ToHoles DefaultUni hole Integer = ToHoles DefaultUni hole (ElaborateBuiltin DefaultUni Integer)
type ToHoles DefaultUni hole Natural Source #
Instance details Defined in PlutusCore.Default.Universe type ToHoles DefaultUni hole Natural
type ToHoles DefaultUni hole () Source #
Instance details Defined in PlutusCore.Default.Universe type ToHoles DefaultUni hole () = ToHoles DefaultUni hole (ElaborateBuiltin DefaultUni ())
type ToHoles DefaultUni hole Bool Source #
Instance details Defined in PlutusCore.Default.Universe type ToHoles DefaultUni hole Bool = ToHoles DefaultUni hole (ElaborateBuiltin DefaultUni Bool)
type ToHoles DefaultUni hole Int Source #
Instance details Defined in PlutusCore.Default.Universe type ToHoles DefaultUni hole Int
type ToHoles DefaultUni hole Word Source #
Instance details Defined in PlutusCore.Default.Universe type ToHoles DefaultUni hole Word
type ToBinds DefaultUni acc (ArrayCostedByLength a :: Type) Source #
Instance details Defined in PlutusCore.Default.Universe type ToBinds DefaultUni acc (ArrayCostedByLength a :: Type) = ToBinds DefaultUni acc (Vector a)
type ToBinds DefaultUni acc (ListCostedByLength a :: Type) Source #
Instance details Defined in PlutusCore.Default.Universe type ToBinds DefaultUni acc (ListCostedByLength a :: Type) = ToBinds DefaultUni acc [a]
type ToBinds DefaultUni acc (Vector a :: Type) Source #
Instance details 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 #
Instance details Defined in PlutusCore.Default.Universe type ToBinds DefaultUni acc ([a] :: Type) = ToBinds DefaultUni acc (ElaborateBuiltin DefaultUni [a])
type ToHoles DefaultUni hole (ArrayCostedByLength a :: Type) Source #
Instance details Defined in PlutusCore.Default.Universe type ToHoles DefaultUni hole (ArrayCostedByLength a :: Type) = ToHoles DefaultUni hole (Vector a)
type ToHoles DefaultUni hole (ListCostedByLength a :: Type) Source #
Instance details Defined in PlutusCore.Default.Universe type ToHoles DefaultUni hole (ListCostedByLength a :: Type) = ToHoles DefaultUni hole [a]
type ToHoles DefaultUni hole (Vector a :: Type) Source #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Instance details Defined in PlutusCore.Default.Universe type ToHoles DefaultUni hole ((a, b) :: Type) = ToHoles DefaultUni hole (ElaborateBuiltin DefaultUni (a, b))
type IsBuiltin DefaultUni (ArrayCostedByLength a :: Type) Source #
Instance details Defined in PlutusCore.Default.Universe type IsBuiltin DefaultUni (ArrayCostedByLength a :: Type) = IsBuiltin DefaultUni (Vector a)
type IsBuiltin DefaultUni (ListCostedByLength a :: Type) Source #
Instance details Defined in PlutusCore.Default.Universe type IsBuiltin DefaultUni (ListCostedByLength a :: Type) = IsBuiltin DefaultUni [a]
type IsBuiltin DefaultUni (Vector a :: Type) Source #
Instance details Defined in PlutusCore.Default.Universe type IsBuiltin DefaultUni (Vector a :: Type) = IsBuiltin DefaultUni (ElaborateBuiltin DefaultUni (Vector a))
type IsBuiltin DefaultUni ([a] :: Type) Source #
Instance details Defined in PlutusCore.Default.Universe type IsBuiltin DefaultUni ([a] :: Type) = IsBuiltin DefaultUni (ElaborateBuiltin DefaultUni [a])
type IsBuiltin DefaultUni ((a, b) :: Type) Source #
Instance details 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

Instances details

Bounded DefaultFun Source #
Instance details Defined in PlutusCore.Default.Builtins Methods minBound :: DefaultFun Source # maxBound :: DefaultFun Source #
Enum DefaultFun Source #
Instance details Defined in PlutusCore.Default.Builtins Methods succ :: DefaultFun -> DefaultFun Source # pred :: DefaultFun -> DefaultFun Source # toEnum :: Int -> DefaultFun Source # fromEnum :: DefaultFun -> Int Source # enumFrom :: DefaultFun -> [DefaultFun] Source # enumFromThen :: DefaultFun -> DefaultFun -> [DefaultFun] Source # enumFromTo :: DefaultFun -> DefaultFun -> [DefaultFun] Source # enumFromThenTo :: DefaultFun -> DefaultFun -> DefaultFun -> [DefaultFun] Source #
Generic DefaultFun Source #
Instance details Defined in PlutusCore.Default.Builtins Associated Types type Rep DefaultFun :: Type -> Type Source # Methods from :: DefaultFun -> Rep DefaultFun x Source # to :: Rep DefaultFun x -> DefaultFun Source #
Ix DefaultFun Source #
Instance details Defined in PlutusCore.Default.Builtins Methods range :: (DefaultFun, DefaultFun) -> [DefaultFun] Source # index :: (DefaultFun, DefaultFun) -> DefaultFun -> Int Source # unsafeIndex :: (DefaultFun, DefaultFun) -> DefaultFun -> Int Source # inRange :: (DefaultFun, DefaultFun) -> DefaultFun -> Bool Source # rangeSize :: (DefaultFun, DefaultFun) -> Int Source # unsafeRangeSize :: (DefaultFun, DefaultFun) -> Int Source #
Show DefaultFun Source #
Instance details Defined in PlutusCore.Default.Builtins Methods showsPrec :: Int -> DefaultFun -> ShowS Source # show :: DefaultFun -> String Source # showList :: [DefaultFun] -> ShowS Source #
NFData DefaultFun Source #
Instance details Defined in PlutusCore.Default.Builtins Methods rnf :: DefaultFun -> () Source #
Flat DefaultFun Source #
Instance details Defined in PlutusCore.Default.Builtins Methods encode :: DefaultFun -> Encoding decode :: Get DefaultFun size :: DefaultFun -> NumBits -> NumBits
Eq DefaultFun Source #
Instance details Defined in PlutusCore.Default.Builtins Methods (==) :: DefaultFun -> DefaultFun -> Bool Source # (/=) :: DefaultFun -> DefaultFun -> Bool Source #
Ord DefaultFun Source #
Instance details Defined in PlutusCore.Default.Builtins Methods compare :: DefaultFun -> DefaultFun -> Ordering Source # (<) :: DefaultFun -> DefaultFun -> Bool Source # (<=) :: DefaultFun -> DefaultFun -> Bool Source # (>) :: DefaultFun -> DefaultFun -> Bool Source # (>=) :: DefaultFun -> DefaultFun -> Bool Source # max :: DefaultFun -> DefaultFun -> DefaultFun Source # min :: DefaultFun -> DefaultFun -> DefaultFun Source #
Hashable DefaultFun Source #
Instance details Defined in PlutusCore.Default.Builtins Methods hashWithSalt :: Int -> DefaultFun -> Int hash :: DefaultFun -> Int
ExMemoryUsage DefaultFun Source #
Instance details Defined in PlutusCore.Default.Builtins Methods memoryUsage :: DefaultFun -> CostRose Source #
Pretty DefaultFun Source #
Instance details Defined in PlutusCore.Default.Builtins Methods pretty :: DefaultFun -> Doc ann # prettyList :: [DefaultFun] -> Doc ann #
uni ~ DefaultUni => ToBuiltinMeaning uni DefaultFun Source #
Instance details Defined in PlutusCore.Default.Builtins Associated Types type CostingPart uni DefaultFun Source # data BuiltinSemanticsVariant DefaultFun Source # Methods toBuiltinMeaning :: HasMeaningIn uni val => BuiltinSemanticsVariant DefaultFun -> DefaultFun -> BuiltinMeaning val (CostingPart uni DefaultFun) Source #
PrettyBy PrettyConfigPlc DefaultFun Source #
Instance details Defined in PlutusCore.Default.Builtins Methods prettyBy :: PrettyConfigPlc -> DefaultFun -> Doc ann # prettyListBy :: PrettyConfigPlc -> [DefaultFun] -> Doc ann #
Bounded (BuiltinSemanticsVariant DefaultFun) Source #
Instance details Defined in PlutusCore.Default.Builtins Methods minBound :: BuiltinSemanticsVariant DefaultFun Source # maxBound :: BuiltinSemanticsVariant DefaultFun Source #
Enum (BuiltinSemanticsVariant DefaultFun) Source #
Instance details 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 #
Instance details Defined in PlutusCore.Default.Builtins Associated Types type Rep (BuiltinSemanticsVariant DefaultFun) :: Type -> Type Source # Methods from :: BuiltinSemanticsVariant DefaultFun -> Rep (BuiltinSemanticsVariant DefaultFun) x Source # to :: Rep (BuiltinSemanticsVariant DefaultFun) x -> BuiltinSemanticsVariant DefaultFun Source #
Show (BuiltinSemanticsVariant DefaultFun) Source #
Instance details 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 #
Instance details Defined in PlutusCore.Default.Builtins Methods def :: BuiltinSemanticsVariant DefaultFun #
NFData (BuiltinSemanticsVariant DefaultFun) Source #
Instance details Defined in PlutusCore.Default.Builtins Methods rnf :: BuiltinSemanticsVariant DefaultFun -> () Source #
Eq (BuiltinSemanticsVariant DefaultFun) Source #
Instance details Defined in PlutusCore.Default.Builtins Methods (==) :: BuiltinSemanticsVariant DefaultFun -> BuiltinSemanticsVariant DefaultFun -> Bool Source # (/=) :: BuiltinSemanticsVariant DefaultFun -> BuiltinSemanticsVariant DefaultFun -> Bool Source #
Ord (BuiltinSemanticsVariant DefaultFun) Source #
Instance details 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 #
Instance details 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 #
Instance details Defined in PlutusCore.Default.Builtins Methods pretty :: BuiltinSemanticsVariant DefaultFun -> Doc ann # prettyList :: [BuiltinSemanticsVariant DefaultFun] -> Doc ann #
type Rep DefaultFun Source #
Instance details Defined in PlutusCore.Default.Builtins type Rep DefaultFun = D1 ('MetaData "DefaultFun" "PlutusCore.Default.Builtins" "plutus-core-1.45.0.0-4MxwoS2cXGc67A4wnNpcs5" '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 "CaseList" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "CaseData" '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))))))))
data BuiltinSemanticsVariant DefaultFun Source #
Instance details Defined in PlutusCore.Default.Builtins data BuiltinSemanticsVariant DefaultFun = DefaultFunSemanticsVariantA \| DefaultFunSemanticsVariantB \| DefaultFunSemanticsVariantC
type CostingPart uni DefaultFun Source #
Instance details Defined in PlutusCore.Default.Builtins type CostingPart uni DefaultFun = BuiltinCostModel
type Rep (BuiltinSemanticsVariant DefaultFun) Source #
Instance details Defined in PlutusCore.Default.Builtins type Rep (BuiltinSemanticsVariant DefaultFun) = D1 ('MetaData "BuiltinSemanticsVariant" "PlutusCore.Default.Builtins" "plutus-core-1.45.0.0-4MxwoS2cXGc67A4wnNpcs5" '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)))