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

PlutusTx.Builtins.HasBuiltin

Synopsis

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.

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 #

Methods

toBuiltin :: Element -> ToBuiltin Element Source #

HasToBuiltin Element Source # 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

Associated Types

type ToBuiltin Element Source #

Methods

toBuiltin :: Element -> ToBuiltin Element Source #

HasToBuiltin MlResult Source # 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

Associated Types

type ToBuiltin MlResult Source #

Methods

toBuiltin :: MlResult -> ToBuiltin MlResult Source #

HasToBuiltin Data Source # 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

Associated Types

type ToBuiltin Data Source #

Methods

toBuiltin :: Data -> 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 #

Methods

toBuiltin :: Integer -> 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 #

Methods

toBuiltin :: Bool -> ToBuiltin Bool Source #

HasToBuiltin a => HasToBuiltin (Vector a) Source # 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

Associated Types

type ToBuiltin (Vector a) Source #

Methods

toBuiltin :: Vector a -> ToBuiltin (Vector a) 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

Associated Types

type FromBuiltin BuiltinBLS12_381_G1_Element Source #

Methods

fromBuiltin :: BuiltinBLS12_381_G1_Element -> FromBuiltin BuiltinBLS12_381_G1_Element Source #

HasFromBuiltin BuiltinBLS12_381_G2_Element Source # 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

Associated Types

type FromBuiltin BuiltinBLS12_381_G2_Element Source #

Methods

fromBuiltin :: BuiltinBLS12_381_G2_Element -> FromBuiltin BuiltinBLS12_381_G2_Element Source #

HasFromBuiltin BuiltinBLS12_381_MlResult Source # 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

Associated Types

type FromBuiltin BuiltinBLS12_381_MlResult Source #

Methods

fromBuiltin :: BuiltinBLS12_381_MlResult -> FromBuiltin BuiltinBLS12_381_MlResult Source #

HasFromBuiltin BuiltinBool Source # 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

Associated Types

type FromBuiltin BuiltinBool Source #

Methods

fromBuiltin :: BuiltinBool -> FromBuiltin BuiltinBool Source #

HasFromBuiltin BuiltinByteString Source # 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

Associated Types

type FromBuiltin BuiltinByteString Source #

Methods

fromBuiltin :: BuiltinByteString -> FromBuiltin BuiltinByteString Source #

HasFromBuiltin BuiltinData Source # 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

Associated Types

type FromBuiltin BuiltinData Source #

Methods

fromBuiltin :: BuiltinData -> FromBuiltin BuiltinData Source #

HasFromBuiltin BuiltinInteger Source # 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

Associated Types

type FromBuiltin BuiltinInteger Source #

Methods

fromBuiltin :: BuiltinInteger -> FromBuiltin BuiltinInteger Source #

HasFromBuiltin BuiltinString Source # 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

Associated Types

type FromBuiltin BuiltinString Source #

Methods

fromBuiltin :: BuiltinString -> FromBuiltin BuiltinString Source #

HasFromBuiltin BuiltinUnit Source # 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

Associated Types

type FromBuiltin BuiltinUnit Source #

Methods

fromBuiltin :: BuiltinUnit -> FromBuiltin BuiltinUnit Source #

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

Defined in PlutusTx.Builtins.HasBuiltin

Associated Types

type FromBuiltin (BuiltinArray a) Source #

Methods

fromBuiltin :: BuiltinArray a -> FromBuiltin (BuiltinArray a) Source #

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

Defined in PlutusTx.Builtins.HasBuiltin

Associated Types

type FromBuiltin (BuiltinList a) Source #

Methods

fromBuiltin :: BuiltinList a -> 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 #

Methods

fromBuiltin :: BuiltinPair a b -> FromBuiltin (BuiltinPair a b) Source #