Safe Haskell	Safe-Inferred
Language	Haskell2010

PlutusTx.Builtins.Class

Contents

Orphan instances

Synopsis

class FromBuiltin arep a | arep -> a where
- fromBuiltin :: arep -> a
class ToBuiltin a arep | a -> arep where
- toBuiltin :: a -> arep
stringToBuiltinString :: String -> BuiltinString
obfuscatedId :: a -> a
stringToBuiltinByteString :: String -> BuiltinByteString

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 BuiltinBool Bool Source #
Instance details Defined in PlutusTx.Builtins.Class Methods fromBuiltin :: BuiltinBool -> Bool Source #
FromBuiltin BuiltinByteString ByteString Source #
Instance details Defined in PlutusTx.Builtins.Class Methods fromBuiltin :: BuiltinByteString -> ByteString Source #
FromBuiltin BuiltinData BuiltinData Source #
Instance details Defined in PlutusTx.Builtins.Class Methods fromBuiltin :: BuiltinData -> BuiltinData Source #
FromBuiltin BuiltinInteger Integer Source #
Instance details Defined in PlutusTx.Builtins.Class Methods fromBuiltin :: BuiltinInteger -> Integer Source #
FromBuiltin BuiltinString Text Source #
Instance details Defined in PlutusTx.Builtins.Class Methods fromBuiltin :: BuiltinString -> Text Source #
FromBuiltin BuiltinUnit () Source #
Instance details Defined in PlutusTx.Builtins.Class Methods fromBuiltin :: BuiltinUnit -> () Source #
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 ByteString BuiltinByteString Source #
Instance details Defined in PlutusTx.Builtins.Class Methods toBuiltin :: ByteString -> BuiltinByteString Source #
ToBuiltin BuiltinData BuiltinData Source #
Instance details Defined in PlutusTx.Builtins.Class Methods toBuiltin :: BuiltinData -> BuiltinData Source #
ToBuiltin Text BuiltinString Source #
Instance details Defined in PlutusTx.Builtins.Class Methods toBuiltin :: Text -> BuiltinString Source #
ToBuiltin Integer BuiltinInteger Source #
Instance details Defined in PlutusTx.Builtins.Class Methods toBuiltin :: Integer -> BuiltinInteger Source #
ToBuiltin () BuiltinUnit Source #
Instance details Defined in PlutusTx.Builtins.Class Methods toBuiltin :: () -> BuiltinUnit Source #
ToBuiltin Bool BuiltinBool Source #
Instance details Defined in PlutusTx.Builtins.Class Methods toBuiltin :: Bool -> BuiltinBool Source #
ToBuiltin [BuiltinData] (BuiltinList BuiltinData) Source #
Instance details Defined in PlutusTx.Builtins.Class Methods toBuiltin :: [BuiltinData] -> BuiltinList BuiltinData Source #
ToBuiltin [(BuiltinData, BuiltinData)] (BuiltinList (BuiltinPair BuiltinData BuiltinData)) Source #
Instance details Defined in PlutusTx.Builtins.Class Methods toBuiltin :: [(BuiltinData, BuiltinData)] -> BuiltinList (BuiltinPair BuiltinData BuiltinData) Source #
ToBuiltin (BuiltinData, BuiltinData) (BuiltinPair BuiltinData BuiltinData) Source #
Instance details Defined in PlutusTx.Builtins.Class Methods toBuiltin :: (BuiltinData, BuiltinData) -> BuiltinPair BuiltinData BuiltinData Source #

stringToBuiltinString :: String -> BuiltinString Source #

obfuscatedId :: a -> a Source #

stringToBuiltinByteString :: String -> BuiltinByteString Source #

Orphan instances

IsString BuiltinByteString Source #
Instance details Methods fromString :: String -> BuiltinByteString Source #
IsString BuiltinString Source #
Instance details Methods fromString :: String -> BuiltinString Source #