Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- useToOpaque ∷ a → a
- useFromOpaque ∷ a → a
- class DefaultUni `Contains` a ⇒ HasToBuiltin a where
- class HasToBuiltin (FromBuiltin arep) ⇒ HasFromBuiltin arep where
- type FromBuiltin arep
- fromBuiltin ∷ arep → FromBuiltin arep
Documentation
useToOpaque ∷ a → a Source #
useFromOpaque ∷ a → a Source #
class DefaultUni `Contains` a ⇒ HasToBuiltin a where Source #
A class for converting values of Haskell-defined built-in types to their Plutus Tx counterparts.
Instances
HasToBuiltin ByteString Source # | |
Defined in PlutusTx.Builtins.HasBuiltin type ToBuiltin ByteString Source # | |
HasToBuiltin Element Source # | |
HasToBuiltin Element Source # | |
HasToBuiltin MlResult Source # | |
HasToBuiltin Data Source # | |
HasToBuiltin Text Source # | |
HasToBuiltin Integer Source # | |
HasToBuiltin () Source # | |
HasToBuiltin Bool Source # | |
HasToBuiltin a ⇒ HasToBuiltin [a] Source # | |
(HasToBuiltin a, HasToBuiltin b) ⇒ HasToBuiltin (a, b) Source # | |
class HasToBuiltin (FromBuiltin arep) ⇒ HasFromBuiltin arep where Source #
A class for converting values of Plutus Tx built-in types to their Haskell-defined counterparts.
type FromBuiltin arep Source #
fromBuiltin ∷ arep → FromBuiltin arep Source #