plutus-tx
Safe HaskellNone
LanguageHaskell2010

PlutusTx.Builtins.HasBuiltin

Synopsis

Documentation

useToOpaque :: a -> a Source #

useFromOpaque :: a -> a Source #

class Contains DefaultUni 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 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

type ToBuiltin ByteString = BuiltinByteString

Methods

toBuiltin :: ByteString -> ToBuiltin ByteString Source #

HasToBuiltin Element Source # 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

Associated Types

type ToBuiltin Element 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

type ToBuiltin Element = BuiltinBLS12_381_G1_Element

Methods

toBuiltin :: Element -> ToBuiltin Element Source #

HasToBuiltin Element Source # 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

Associated Types

type ToBuiltin Element 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

type ToBuiltin Element = BuiltinBLS12_381_G2_Element

Methods

toBuiltin :: Element -> ToBuiltin Element Source #

HasToBuiltin MlResult Source # 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

Associated Types

type ToBuiltin MlResult 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

type ToBuiltin MlResult = BuiltinBLS12_381_MlResult

Methods

toBuiltin :: MlResult -> ToBuiltin MlResult Source #

HasToBuiltin Data Source # 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

Associated Types

type ToBuiltin Data 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

type ToBuiltin Data = BuiltinData

Methods

toBuiltin :: Data -> ToBuiltin Data Source #

HasToBuiltin Value Source # 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

Associated Types

type ToBuiltin Value 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

type ToBuiltin Value = BuiltinValue

Methods

toBuiltin :: Value -> ToBuiltin Value Source #

HasToBuiltin Text Source # 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

Associated Types

type ToBuiltin Text 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

type ToBuiltin Text = BuiltinString

Methods

toBuiltin :: Text -> ToBuiltin Text Source #

HasToBuiltin Integer Source # 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

Associated Types

type ToBuiltin Integer 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

type ToBuiltin Integer = BuiltinInteger

Methods

toBuiltin :: Integer -> ToBuiltin Integer Source #

HasToBuiltin () Source # 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

Associated Types

type ToBuiltin () 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

type ToBuiltin () = BuiltinUnit

Methods

toBuiltin :: () -> ToBuiltin () Source #

HasToBuiltin Bool Source # 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

Associated Types

type ToBuiltin Bool 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

type ToBuiltin Bool = Bool

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) 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

type ToBuiltin (Vector a) = BuiltinArray (ToBuiltin a)

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] 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

type ToBuiltin [a] = BuiltinList (ToBuiltin a)

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) 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

type ToBuiltin (a, b) = BuiltinPair (ToBuiltin a) (ToBuiltin b)

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 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

type FromBuiltin BuiltinBLS12_381_G1_Element = Element

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 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

type FromBuiltin BuiltinBLS12_381_G2_Element = Element

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 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

type FromBuiltin BuiltinBLS12_381_MlResult = MlResult

Methods

fromBuiltin :: BuiltinBLS12_381_MlResult -> FromBuiltin BuiltinBLS12_381_MlResult Source #

HasFromBuiltin BuiltinByteString Source # 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

Associated Types

type FromBuiltin BuiltinByteString 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

type FromBuiltin BuiltinByteString = ByteString

Methods

fromBuiltin :: BuiltinByteString -> FromBuiltin BuiltinByteString Source #

HasFromBuiltin BuiltinData Source # 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

Associated Types

type FromBuiltin BuiltinData 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

type FromBuiltin BuiltinData = Data

Methods

fromBuiltin :: BuiltinData -> FromBuiltin BuiltinData Source #

HasFromBuiltin BuiltinInteger Source # 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

Associated Types

type FromBuiltin BuiltinInteger 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

type FromBuiltin BuiltinInteger = Integer

Methods

fromBuiltin :: BuiltinInteger -> FromBuiltin BuiltinInteger Source #

HasFromBuiltin BuiltinString Source # 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

Associated Types

type FromBuiltin BuiltinString 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

type FromBuiltin BuiltinString = Text

Methods

fromBuiltin :: BuiltinString -> FromBuiltin BuiltinString Source #

HasFromBuiltin BuiltinUnit Source # 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

Associated Types

type FromBuiltin BuiltinUnit 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

type FromBuiltin BuiltinUnit = ()

Methods

fromBuiltin :: BuiltinUnit -> FromBuiltin BuiltinUnit Source #

HasFromBuiltin BuiltinValue Source # 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

Associated Types

type FromBuiltin BuiltinValue 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

type FromBuiltin BuiltinValue = Value

Methods

fromBuiltin :: BuiltinValue -> FromBuiltin BuiltinValue Source #

HasFromBuiltin Bool Source # 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

Associated Types

type FromBuiltin Bool 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

type FromBuiltin Bool = Bool

Methods

fromBuiltin :: Bool -> FromBuiltin Bool Source #

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

Defined in PlutusTx.Builtins.HasBuiltin

Associated Types

type FromBuiltin (BuiltinArray a) 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

type FromBuiltin (BuiltinArray a) = Vector (FromBuiltin a)

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) 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

type FromBuiltin (BuiltinList a) = [FromBuiltin a]

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) 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

type FromBuiltin (BuiltinPair a b) = (FromBuiltin a, FromBuiltin b)

Methods

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