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

PlutusTx.Builtins.HasBuiltin

Synopsis

Documentation

class DefaultUni `Contains` a ⇒ HasToBuiltin a where Source #

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

Associated Types

type ToBuiltin a Source #

Methods

toBuiltin ∷ a → ToBuiltin a Source #

Instances

Instances details
HasToBuiltin ByteString Source # 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

Associated Types

type ToBuiltin ByteString Source #

Methods

toBuiltin ∷ ByteString → ToBuiltin ByteString Source #

HasToBuiltin Element Source # 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

Associated Types

type ToBuiltin Element Source #

HasToBuiltin Element Source # 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

Associated Types

type ToBuiltin Element Source #

HasToBuiltin MlResult Source # 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

Associated Types

type ToBuiltin MlResult Source #

HasToBuiltin Data Source # 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

Associated Types

type ToBuiltin Data Source #

HasToBuiltin Text Source # 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

Associated Types

type ToBuiltin Text Source #

Methods

toBuiltin ∷ Text → ToBuiltin Text Source #

HasToBuiltin Integer Source # 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

Associated Types

type ToBuiltin Integer Source #

HasToBuiltin () Source # 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

Associated Types

type ToBuiltin () Source #

Methods

toBuiltin ∷ () → ToBuiltin () Source #

HasToBuiltin Bool Source # 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

Associated Types

type ToBuiltin Bool Source #

HasToBuiltin a ⇒ HasToBuiltin [a] Source # 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

Associated Types

type ToBuiltin [a] Source #

Methods

toBuiltin ∷ [a] → ToBuiltin [a] Source #

(HasToBuiltin a, HasToBuiltin b) ⇒ HasToBuiltin (a, b) Source # 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

Associated Types

type ToBuiltin (a, b) Source #

Methods

toBuiltin ∷ (a, b) → ToBuiltin (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.

Associated Types

type FromBuiltin arep Source #

Methods

fromBuiltin ∷ arep → FromBuiltin arep Source #

Instances

Instances details
HasFromBuiltin BuiltinBLS12_381_G1_Element Source # 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

HasFromBuiltin BuiltinBLS12_381_G2_Element Source # 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

HasFromBuiltin BuiltinBLS12_381_MlResult Source # 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

HasFromBuiltin BuiltinBool Source # 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

Associated Types

type FromBuiltin BuiltinBool Source #

HasFromBuiltin BuiltinByteString Source # 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

Associated Types

type FromBuiltin BuiltinByteString Source #

HasFromBuiltin BuiltinData Source # 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

Associated Types

type FromBuiltin BuiltinData Source #

HasFromBuiltin BuiltinInteger Source # 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

Associated Types

type FromBuiltin BuiltinInteger Source #

HasFromBuiltin BuiltinString Source # 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

Associated Types

type FromBuiltin BuiltinString Source #

HasFromBuiltin BuiltinUnit Source # 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

Associated Types

type FromBuiltin BuiltinUnit Source #

HasFromBuiltin a ⇒ HasFromBuiltin (BuiltinList a) Source # 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

Associated Types

type FromBuiltin (BuiltinList a) Source #

(HasFromBuiltin a, HasFromBuiltin b) ⇒ HasFromBuiltin (BuiltinPair a b) Source # 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

Associated Types

type FromBuiltin (BuiltinPair a b) Source #