Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- stringToBuiltinByteString ∷ String → BuiltinByteString
- stringToBuiltinString ∷ String → BuiltinString
- class HasToOpaque a arep | a → arep where
- toOpaque ∷ a → arep
- class HasFromOpaque arep a | arep → a where
- fromOpaque ∷ arep → a
- mkNilOpaque ∷ BuiltinList a
- class MkNil arep where
- mkNil ∷ BuiltinList arep
Documentation
class HasToOpaque a arep | a → arep where Source #
A class for converting values of transparent Haskell-defined built-in types (such as ()
,
Bool
, '[]' etc) to their opaque Plutus Tx counterparts. Instances for built-in types that are
not transparent are provided as well, simply as identities, since those types are already opaque.
Nothing
Instances
class HasFromOpaque arep a | arep → a where Source #
A class for converting values of opaque Plutus Tx types to their transparent Haskell-defined
counterparts (a.k.a. pattern-matchable) built-in types (such as ()
, Bool
, '[]' etc). If no
transparent counterpart exists, then the implementation is identity.
Nothing
fromOpaque ∷ arep → a Source #
default fromOpaque ∷ a ~ arep ⇒ arep → a Source #
Instances
mkNilOpaque ∷ BuiltinList a Source #
The empty list of elements of the given type that gets spotted by the plugin (grep for
mkNilOpaque
in the plugin code) and replaced by the actual empty list constant for types that
are supported (a subset of built-in types).
class MkNil arep where Source #
Nothing
mkNil ∷ BuiltinList arep Source #
Instances
MkNil BuiltinBool Source # | |
Defined in PlutusTx.Builtins.HasOpaque | |
MkNil BuiltinData Source # | |
Defined in PlutusTx.Builtins.HasOpaque | |
MkNil BuiltinInteger Source # | |
Defined in PlutusTx.Builtins.HasOpaque | |
MkNil (BuiltinPair BuiltinData BuiltinData) Source # | |
Defined in PlutusTx.Builtins.HasOpaque |