plutus-tx-0.1.0.0: Libraries for Plutus Tx and its prelude
Safe HaskellNone
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 BuiltinData BuiltinData Source # 
Instance details

Defined in PlutusTx.Builtins.Class

FromBuiltin BuiltinString Text Source # 
Instance details

Defined in PlutusTx.Builtins.Class

FromBuiltin BuiltinByteString ByteString Source # 
Instance details

Defined in PlutusTx.Builtins.Class

FromBuiltin BuiltinInteger Integer Source # 
Instance details

Defined in PlutusTx.Builtins.Class

FromBuiltin BuiltinUnit () Source # 
Instance details

Defined in PlutusTx.Builtins.Class

FromBuiltin BuiltinBool Bool 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 Bool BuiltinBool Source # 
Instance details

Defined in PlutusTx.Builtins.Class

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 ByteString BuiltinByteString Source # 
Instance details

Defined in PlutusTx.Builtins.Class

ToBuiltin Text BuiltinString Source # 
Instance details

Defined in PlutusTx.Builtins.Class

ToBuiltin BuiltinData 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] (BuiltinList 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