| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
PlutusTx.Builtins.HasBuiltin
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
class HasToBuiltin (FromBuiltin arep) ⇒ HasFromBuiltin arep where Source #
A class for converting values of Plutus Tx built-in types to their Haskell-defined counterparts.
Associated Types
type FromBuiltin arep Source #
Methods
fromBuiltin ∷ arep → FromBuiltin arep Source #