plutus-tx-1.26.0.0: Libraries for Plutus Tx and its prelude
Safe HaskellSafe-Inferred
LanguageHaskell2010

PlutusTx.Builtins.Class

Synopsis

Documentation

class FromBuiltin arep a | arep -> a where Source #

A class witnessing the ability to convert from the builtin representation to the Haskell representation.

Methods

fromBuiltin :: arep -> a Source #

Instances

Instances details
FromBuiltin BuiltinBLS12_381_G1_Element Element Source # 
Instance details

Defined in PlutusTx.Builtins.Class

FromBuiltin BuiltinBLS12_381_G2_Element Element Source # 
Instance details

Defined in PlutusTx.Builtins.Class

FromBuiltin BuiltinBLS12_381_MlResult MlResult Source # 
Instance details

Defined in PlutusTx.Builtins.Class

FromBuiltin BuiltinBool Bool Source # 
Instance details

Defined in PlutusTx.Builtins.Class

FromBuiltin BuiltinByteString ByteString Source # 
Instance details

Defined in PlutusTx.Builtins.Class

Methods

fromBuiltin :: BuiltinByteString -> ByteString Source #

FromBuiltin BuiltinData BuiltinData Source # 
Instance details

Defined in PlutusTx.Builtins.Class

FromBuiltin BuiltinInteger Integer Source # 
Instance details

Defined in PlutusTx.Builtins.Class

FromBuiltin BuiltinString Text Source # 
Instance details

Defined in PlutusTx.Builtins.Class

Methods

fromBuiltin :: BuiltinString -> Text Source #

FromBuiltin BuiltinUnit () Source # 
Instance details

Defined in PlutusTx.Builtins.Class

FromBuiltin arep a => FromBuiltin (BuiltinList arep) [a] Source # 
Instance details

Defined in PlutusTx.Builtins.Class

Methods

fromBuiltin :: BuiltinList arep -> [a] Source #

(FromBuiltin arep a, FromBuiltin brep b) => FromBuiltin (BuiltinPair arep brep) (a, b) Source # 
Instance details

Defined in PlutusTx.Builtins.Class

Methods

fromBuiltin :: BuiltinPair arep brep -> (a, b) Source #

class ToBuiltin a arep | a -> arep where Source #

A class witnessing the ability to convert from the Haskell representation to the builtin representation.

Methods

toBuiltin :: a -> arep Source #

Instances

Instances details
ToBuiltin ByteString BuiltinByteString Source # 
Instance details

Defined in PlutusTx.Builtins.Class

Methods

toBuiltin :: ByteString -> BuiltinByteString Source #

ToBuiltin Element BuiltinBLS12_381_G1_Element Source # 
Instance details

Defined in PlutusTx.Builtins.Class

ToBuiltin Element BuiltinBLS12_381_G2_Element Source # 
Instance details

Defined in PlutusTx.Builtins.Class

ToBuiltin MlResult BuiltinBLS12_381_MlResult Source # 
Instance details

Defined in PlutusTx.Builtins.Class

ToBuiltin BuiltinData BuiltinData Source # 
Instance details

Defined in PlutusTx.Builtins.Class

ToBuiltin Text BuiltinString Source # 
Instance details

Defined in PlutusTx.Builtins.Class

Methods

toBuiltin :: Text -> BuiltinString Source #

ToBuiltin Integer BuiltinInteger Source # 
Instance details

Defined in PlutusTx.Builtins.Class

ToBuiltin () BuiltinUnit Source # 
Instance details

Defined in PlutusTx.Builtins.Class

Methods

toBuiltin :: () -> BuiltinUnit Source #

ToBuiltin Bool BuiltinBool Source # 
Instance details

Defined in PlutusTx.Builtins.Class

ToBuiltin [BuiltinData] (BuiltinList BuiltinData) Source # 
Instance details

Defined in PlutusTx.Builtins.Class

ToBuiltin [(BuiltinData, BuiltinData)] (BuiltinList (BuiltinPair BuiltinData BuiltinData)) Source # 
Instance details

Defined in PlutusTx.Builtins.Class

ToBuiltin (BuiltinData, BuiltinData) (BuiltinPair BuiltinData BuiltinData) Source # 
Instance details

Defined in PlutusTx.Builtins.Class

Orphan instances