Safe Haskell | None |
---|---|
Language | Haskell2010 |
PlutusCore.Examples.Builtins
Contents
Documentation
data ExtensionFun Source #
Constructors
Instances
defBuiltinsRuntimeExt :: HasConstantIn DefaultUni term => BuiltinsRuntime ( Either DefaultFun ExtensionFun ) term Source #
data PlcListRep (a :: Type ) Source #
Instances
KnownTypeAst uni a => KnownTypeAst uni ( PlcListRep a :: Type ) Source # | |
Defined in PlutusCore.Examples.Builtins Associated Types type ToHoles ( PlcListRep a) :: [ Hole ] Source # |
|
type ToHoles ( PlcListRep a :: Type ) Source # | |
Defined in PlutusCore.Examples.Builtins |
|
type ToBinds ( PlcListRep a :: Type ) Source # | |
Defined in PlutusCore.Examples.Builtins |
data BuiltinErrorCall Source #
Constructors
BuiltinErrorCall |
Instances
Eq BuiltinErrorCall Source # | |
Defined in PlutusCore.Examples.Builtins Methods (==) :: BuiltinErrorCall -> BuiltinErrorCall -> Bool Source # (/=) :: BuiltinErrorCall -> BuiltinErrorCall -> Bool Source # |
|
Show BuiltinErrorCall Source # | |
Defined in PlutusCore.Examples.Builtins |
|
Exception BuiltinErrorCall Source # | |
Defined in PlutusCore.Examples.Builtins Methods toException :: BuiltinErrorCall -> SomeException Source # fromException :: SomeException -> Maybe BuiltinErrorCall Source # |