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

PlutusTx.Builtins.HasBuiltin

Synopsis

class HasToBuiltin (FromBuiltin arep) => HasFromBuiltin arep where #

A class for converting values of Plutus Tx built-in types to their Haskell-defined counterparts.

Associated Types

type FromBuiltin arep #

Methods

fromBuiltin :: arep -> FromBuiltin arep #

Instances

Instances details
HasFromBuiltin BuiltinBLS12_381_G1_Element # 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

HasFromBuiltin BuiltinBLS12_381_G2_Element # 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

HasFromBuiltin BuiltinBLS12_381_MlResult # 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

HasFromBuiltin BuiltinByteString # 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

Associated Types

type FromBuiltin BuiltinByteString #

HasFromBuiltin BuiltinData # 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

Associated Types

type FromBuiltin BuiltinData #

HasFromBuiltin BuiltinInteger # 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

Associated Types

type FromBuiltin BuiltinInteger #

HasFromBuiltin BuiltinString # 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

Associated Types

type FromBuiltin BuiltinString #

HasFromBuiltin BuiltinUnit # 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

Associated Types

type FromBuiltin BuiltinUnit #

HasFromBuiltin BuiltinValue # 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

Associated Types

type FromBuiltin BuiltinValue #

HasFromBuiltin Bool # 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

Associated Types

type FromBuiltin Bool #

HasFromBuiltin a => HasFromBuiltin (BuiltinArray a) # 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

Associated Types

type FromBuiltin (BuiltinArray a) #

HasFromBuiltin a => HasFromBuiltin (BuiltinList a) # 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

Associated Types

type FromBuiltin (BuiltinList a) #

(HasFromBuiltin a, HasFromBuiltin b) => HasFromBuiltin (BuiltinPair a b) # 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

Associated Types

type FromBuiltin (BuiltinPair a b) #