Safe Haskell	None
Language	Haskell2010

PlutusTx

Synopsis

module PlutusTx.TH
type CompiledCode = CompiledCodeIn DefaultUni DefaultFun
data CompiledCodeIn uni fun a
getPlc :: (Closed uni, uni `Everywhere` Flat, Flat fun, uni `Everywhere` PrettyConst, GShow uni, Pretty fun) => CompiledCodeIn uni fun a -> Program NamedDeBruijn uni fun ()
getPir :: (Closed uni, uni `Everywhere` Flat, Flat fun) => CompiledCodeIn uni fun a -> Maybe (Program TyName Name uni fun ())
applyCode :: (Closed uni, uni `Everywhere` Flat, Flat fun, uni `Everywhere` PrettyConst, GShow uni, Pretty fun) => CompiledCodeIn uni fun (a -> b) -> CompiledCodeIn uni fun a -> CompiledCodeIn uni fun b
data BuiltinData
data Data
- = Constr Integer [Data]
- | Map [(Data, Data)]
- | List [Data]
- | I Integer
- | B ByteString
class ToData (a :: Type) where
- toBuiltinData :: a -> BuiltinData
class FromData (a :: Type) where
- fromBuiltinData :: BuiltinData -> Maybe a
class UnsafeFromData (a :: Type) where
- unsafeFromBuiltinData :: BuiltinData -> a
toData :: ToData a => a -> Data
fromData :: FromData a => Data -> Maybe a
builtinDataToData :: BuiltinData -> Data
dataToBuiltinData :: Data -> BuiltinData
unstableMakeIsData :: Name -> Q [Dec]
makeIsDataIndexed :: Name -> [(Name, Int)] -> Q [Dec]
class Lift uni a
class Typeable uni (a :: k)
makeLift :: Name -> Q [Dec]
safeLiftCode :: (Lift uni a, AsTypeError e (Term TyName Name uni fun ()) uni fun (Provenance ()), GEq uni, AsTypeErrorExt e uni (Provenance ()), AsFreeVariableError e, AsError e uni fun (Provenance ()), MonadError e m, MonadQuote m, Typecheckable uni fun, PrettyPrintable uni fun) => a -> m (CompiledCodeIn uni fun a)
liftCode :: (Lift uni a, Throwable uni fun, Typecheckable uni fun) => a -> CompiledCodeIn uni fun a

Documentation

module PlutusTx.TH

type CompiledCode = CompiledCodeIn DefaultUni DefaultFun Source #

CompiledCodeIn instantiated with default built-in types and functions.

data CompiledCodeIn uni fun a Source #

A compiled Plutus Tx program. The last type parameter indicates the type of the Haskell expression that was compiled, and hence the type of the compiled code.

Note: the compiled PLC program does *not* have normalized types, if you want to put it on the chain you must normalize the types first.

Instances

Instances details

(Closed uni, Everywhere uni Flat, Flat fun, Everywhere uni PrettyConst, GShow uni, Pretty fun) => Flat (CompiledCodeIn uni fun a) Source #
Instance details Defined in PlutusTx.Code Methods encode :: CompiledCodeIn uni fun a -> Encoding decode :: Get (CompiledCodeIn uni fun a) size :: CompiledCodeIn uni fun a -> NumBits -> NumBits

getPlc :: (Closed uni, uni `Everywhere` Flat, Flat fun, uni `Everywhere` PrettyConst, GShow uni, Pretty fun) => CompiledCodeIn uni fun a -> Program NamedDeBruijn uni fun () Source #

Get the actual Plutus Core program out of a CompiledCodeIn.

getPir :: (Closed uni, uni `Everywhere` Flat, Flat fun) => CompiledCodeIn uni fun a -> Maybe (Program TyName Name uni fun ()) Source #

Get the Plutus IR program, if there is one, out of a CompiledCodeIn.

applyCode :: (Closed uni, uni `Everywhere` Flat, Flat fun, uni `Everywhere` PrettyConst, GShow uni, Pretty fun) => CompiledCodeIn uni fun (a -> b) -> CompiledCodeIn uni fun a -> CompiledCodeIn uni fun b Source #

Apply a compiled function to a compiled argument.

data BuiltinData Source #

A type corresponding to the Plutus Core builtin equivalent of Data.

The point of this type is to be an opaque equivalent of Data, so as to ensure that it is only used in ways that the compiler can handle.

As such, you should use this type in your on-chain code, and in any data structures that you want to be representable on-chain.

For off-chain usage, there are conversion functions builtinDataToData and dataToBuiltinData, but note that these will not work on-chain.

Instances

Instances details

Eq BuiltinData Source #
Instance details Defined in PlutusTx.Builtins.Internal Methods (==) :: BuiltinData -> BuiltinData -> Bool Source # (/=) :: BuiltinData -> BuiltinData -> Bool Source #
Data BuiltinData Source #
Instance details Defined in PlutusTx.Builtins.Internal Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> BuiltinData -> c BuiltinData Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c BuiltinData Source # toConstr :: BuiltinData -> Constr Source # dataTypeOf :: BuiltinData -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c BuiltinData) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c BuiltinData) Source # gmapT :: (forall b. Data b => b -> b) -> BuiltinData -> BuiltinData Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> BuiltinData -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> BuiltinData -> r Source # gmapQ :: (forall d. Data d => d -> u) -> BuiltinData -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> BuiltinData -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> BuiltinData -> m BuiltinData Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> BuiltinData -> m BuiltinData Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> BuiltinData -> m BuiltinData Source #
Ord BuiltinData Source #
Instance details Defined in PlutusTx.Builtins.Internal Methods compare :: BuiltinData -> BuiltinData -> Ordering Source # (<) :: BuiltinData -> BuiltinData -> Bool Source # (<=) :: BuiltinData -> BuiltinData -> Bool Source # (>) :: BuiltinData -> BuiltinData -> Bool Source # (>=) :: BuiltinData -> BuiltinData -> Bool Source # max :: BuiltinData -> BuiltinData -> BuiltinData Source # min :: BuiltinData -> BuiltinData -> BuiltinData Source #
Show BuiltinData Source #
Instance details Defined in PlutusTx.Builtins.Internal Methods showsPrec :: Int -> BuiltinData -> ShowS Source # show :: BuiltinData -> String Source # showList :: [BuiltinData] -> ShowS Source #
NFData BuiltinData Source #
Instance details Defined in PlutusTx.Builtins.Internal Methods rnf :: BuiltinData -> () Source #
Pretty BuiltinData Source #
Instance details Defined in PlutusTx.Builtins.Internal Methods pretty :: BuiltinData -> Doc ann prettyList :: [BuiltinData] -> Doc ann
Eq BuiltinData Source #
Instance details Defined in PlutusTx.Eq Methods (==) :: BuiltinData -> BuiltinData -> Bool Source #
UnsafeFromData BuiltinData Source #
Instance details Defined in PlutusTx.IsData.Class Methods unsafeFromBuiltinData :: BuiltinData -> BuiltinData Source #
FromData BuiltinData Source #
Instance details Defined in PlutusTx.IsData.Class Methods fromBuiltinData :: BuiltinData -> Maybe BuiltinData Source #
ToData BuiltinData Source #
Instance details Defined in PlutusTx.IsData.Class Methods toBuiltinData :: BuiltinData -> BuiltinData Source #
Includes uni Data => Lift uni BuiltinData Source #
Instance details Defined in PlutusTx.Lift.Instances Methods lift :: BuiltinData -> RTCompile uni fun (Term TyName Name uni fun ()) Source #
ToBuiltin BuiltinData BuiltinData Source #
Instance details Defined in PlutusTx.Builtins.Class Methods toBuiltin :: BuiltinData -> BuiltinData Source #
FromBuiltin BuiltinData BuiltinData Source #
Instance details Defined in PlutusTx.Builtins.Class Methods fromBuiltin :: BuiltinData -> BuiltinData Source #
Includes uni Data => Typeable uni BuiltinData Source #
Instance details Defined in PlutusTx.Lift.Instances Methods typeRep :: Proxy BuiltinData -> RTCompile uni fun (Type TyName uni ()) 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] (BuiltinList BuiltinData) Source #
Instance details Defined in PlutusTx.Builtins.Class Methods toBuiltin :: [BuiltinData] -> BuiltinList BuiltinData Source #
ToBuiltin (BuiltinData, BuiltinData) (BuiltinPair BuiltinData BuiltinData) Source #
Instance details Defined in PlutusTx.Builtins.Class Methods toBuiltin :: (BuiltinData, BuiltinData) -> BuiltinPair BuiltinData BuiltinData Source #

data Data #

Constructors

Constr Integer [Data]
Map [(Data, Data)]
List [Data]
I Integer
B ByteString

Instances

Instances details

Eq Data
Instance details Defined in PlutusCore.Data Methods (==) :: Data -> Data -> Bool Source # (/=) :: Data -> Data -> Bool Source #
Data Data
Instance details Defined in PlutusCore.Data Methods gfoldl :: (forall d b. Data0 d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Data -> c Data Source # gunfold :: (forall b r. Data0 b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Data Source # toConstr :: Data -> Constr Source # dataTypeOf :: Data -> DataType Source # dataCast1 :: Typeable t => (forall d. Data0 d => c (t d)) -> Maybe (c Data) Source # dataCast2 :: Typeable t => (forall d e. (Data0 d, Data0 e) => c (t d e)) -> Maybe (c Data) Source # gmapT :: (forall b. Data0 b => b -> b) -> Data -> Data Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data0 d => d -> r') -> Data -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data0 d => d -> r') -> Data -> r Source # gmapQ :: (forall d. Data0 d => d -> u) -> Data -> [u] Source # gmapQi :: Int -> (forall d. Data0 d => d -> u) -> Data -> u Source # gmapM :: Monad m => (forall d. Data0 d => d -> m d) -> Data -> m Data Source # gmapMp :: MonadPlus m => (forall d. Data0 d => d -> m d) -> Data -> m Data Source # gmapMo :: MonadPlus m => (forall d. Data0 d => d -> m d) -> Data -> m Data Source #
Ord Data
Instance details Defined in PlutusCore.Data Methods compare :: Data -> Data -> Ordering Source # (<) :: Data -> Data -> Bool Source # (<=) :: Data -> Data -> Bool Source # (>) :: Data -> Data -> Bool Source # (>=) :: Data -> Data -> Bool Source # max :: Data -> Data -> Data Source # min :: Data -> Data -> Data Source #
Show Data
Instance details Defined in PlutusCore.Data Methods showsPrec :: Int -> Data -> ShowS Source # show :: Data -> String Source # showList :: [Data] -> ShowS Source #
Generic Data
Instance details Defined in PlutusCore.Data Associated Types type Rep Data :: Type -> Type Source # Methods from :: Data -> Rep Data x Source # to :: Rep Data x -> Data Source #
NFData Data
Instance details Defined in PlutusCore.Data Methods rnf :: Data -> () Source #
Serialise Data
Instance details Defined in PlutusCore.Data Methods encode :: Data -> Encoding decode :: Decoder s Data encodeList :: [Data] -> Encoding decodeList :: Decoder s [Data]
Pretty Data
Instance details Defined in PlutusCore.Data Methods pretty :: Data -> Doc ann prettyList :: [Data] -> Doc ann
ExMemoryUsage Data
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods memoryUsage :: Data -> ExMemory
PrettyBy ConstConfig Data
Instance details Defined in PlutusCore.Pretty.PrettyConst Methods prettyBy :: ConstConfig -> Data -> Doc ann prettyListBy :: ConstConfig -> [Data] -> Doc ann
Lift DefaultUni Data Source #
Instance details Defined in PlutusTx.Lift.Instances Methods lift :: Data -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ()) Source #
HasConstantIn DefaultUni term => MakeKnownIn DefaultUni term Data
Instance details Defined in PlutusCore.Default.Universe Methods makeKnown :: Maybe cause -> Data -> MakeKnownM cause term
HasConstantIn DefaultUni term => ReadKnownIn DefaultUni term Data
Instance details Defined in PlutusCore.Default.Universe Methods readKnown :: Maybe cause -> term -> ReadKnownM cause Data
Contains DefaultUni Data
Instance details Defined in PlutusCore.Default.Universe Methods knownUni :: DefaultUni (Esc Data)
KnownBuiltinTypeAst DefaultUni Data => KnownTypeAst DefaultUni Data
Instance details Defined in PlutusCore.Default.Universe Associated Types type ToHoles Data :: [Hole] type ToBinds Data :: [Some TyNameRep] Methods toTypeAst :: proxy Data -> Type TyName DefaultUni ()
Typeable DefaultUni Data Source #
Instance details Defined in PlutusTx.Lift.Instances Methods typeRep :: Proxy Data -> RTCompile DefaultUni fun (Type TyName DefaultUni ()) Source #
type Rep Data
Instance details Defined in PlutusCore.Data type Rep Data = D1 ('MetaData "Data" "PlutusCore.Data" "plutus-core-1.0.0.1-6wMiyL0yerXJu56t8zBoKx" 'False) ((C1 ('MetaCons "Constr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Data])) :+: C1 ('MetaCons "Map" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [(Data, Data)]))) :+: (C1 ('MetaCons "List" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Data])) :+: (C1 ('MetaCons "I" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)) :+: C1 ('MetaCons "B" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString)))))
type ToBinds Data
Instance details Defined in PlutusCore.Default.Universe type ToBinds Data = ToBinds (ElaborateBuiltin Data)
type ToHoles Data
Instance details Defined in PlutusCore.Default.Universe type ToHoles Data = ToHoles (ElaborateBuiltin Data)

class ToData (a :: Type) where Source #

A typeclass for types that can be converted to and from BuiltinData.

Methods

toBuiltinData :: a -> BuiltinData Source #

Convert a value to BuiltinData.

Instances

Instances details

ToData Bool Source #
Instance details Defined in PlutusTx.IsData.Instances Methods toBuiltinData :: Bool -> BuiltinData Source #
(TypeError ('Text "Int is not supported, use Integer instead") :: Constraint) => ToData Int Source #
Instance details Defined in PlutusTx.IsData.Class Methods toBuiltinData :: Int -> BuiltinData Source #
ToData Integer Source #
Instance details Defined in PlutusTx.IsData.Class Methods toBuiltinData :: Integer -> BuiltinData Source #
ToData () Source #
Instance details Defined in PlutusTx.IsData.Instances Methods toBuiltinData :: () -> BuiltinData Source #
ToData Void Source #
Instance details Defined in PlutusTx.IsData.Class Methods toBuiltinData :: Void -> BuiltinData Source #
ToData BuiltinData Source #
Instance details Defined in PlutusTx.IsData.Class Methods toBuiltinData :: BuiltinData -> BuiltinData Source #
ToData BuiltinByteString Source #
Instance details Defined in PlutusTx.IsData.Class Methods toBuiltinData :: BuiltinByteString -> BuiltinData Source #
ToData Rational Source #
Instance details Defined in PlutusTx.Ratio Methods toBuiltinData :: Rational -> BuiltinData Source #
ToData Sqrt Source #
Instance details Defined in PlutusTx.Sqrt Methods toBuiltinData :: Sqrt -> BuiltinData Source #
ToData a => ToData [a] Source #
Instance details Defined in PlutusTx.IsData.Class Methods toBuiltinData :: [a] -> BuiltinData Source #
ToData a => ToData (Maybe a) Source #
Instance details Defined in PlutusTx.IsData.Instances Methods toBuiltinData :: Maybe a -> BuiltinData Source #
(ToData a, ToData b) => ToData (Either a b) Source #
Instance details Defined in PlutusTx.IsData.Instances Methods toBuiltinData :: Either a b -> BuiltinData Source #
(ToData a, ToData b) => ToData (a, b) Source #
Instance details Defined in PlutusTx.IsData.Instances Methods toBuiltinData :: (a, b) -> BuiltinData Source #
(ToData k, ToData v) => ToData (Map k v) Source #
Instance details Defined in PlutusTx.AssocMap Methods toBuiltinData :: Map k v -> BuiltinData Source #
(ToData a, ToData b, ToData c) => ToData (a, b, c) Source #
Instance details Defined in PlutusTx.IsData.Instances Methods toBuiltinData :: (a, b, c) -> BuiltinData Source #
(ToData a, ToData b, ToData c, ToData d) => ToData (a, b, c, d) Source #
Instance details Defined in PlutusTx.IsData.Instances Methods toBuiltinData :: (a, b, c, d) -> BuiltinData Source #

class FromData (a :: Type) where Source #

Methods

fromBuiltinData :: BuiltinData -> Maybe a Source #

Convert a value from BuiltinData, returning Nothing if this fails.

Instances

Instances details

FromData Bool Source #
Instance details Defined in PlutusTx.IsData.Instances Methods fromBuiltinData :: BuiltinData -> Maybe Bool Source #
(TypeError ('Text "Int is not supported, use Integer instead") :: Constraint) => FromData Int Source #
Instance details Defined in PlutusTx.IsData.Class Methods fromBuiltinData :: BuiltinData -> Maybe Int Source #
FromData Integer Source #
Instance details Defined in PlutusTx.IsData.Class Methods fromBuiltinData :: BuiltinData -> Maybe Integer Source #
FromData () Source #
Instance details Defined in PlutusTx.IsData.Instances Methods fromBuiltinData :: BuiltinData -> Maybe () Source #
FromData Void Source #
Instance details Defined in PlutusTx.IsData.Class Methods fromBuiltinData :: BuiltinData -> Maybe Void Source #
FromData BuiltinData Source #
Instance details Defined in PlutusTx.IsData.Class Methods fromBuiltinData :: BuiltinData -> Maybe BuiltinData Source #
FromData BuiltinByteString Source #
Instance details Defined in PlutusTx.IsData.Class Methods fromBuiltinData :: BuiltinData -> Maybe BuiltinByteString Source #
FromData Rational Source #
Instance details Defined in PlutusTx.Ratio Methods fromBuiltinData :: BuiltinData -> Maybe Rational Source #
FromData Sqrt Source #
Instance details Defined in PlutusTx.Sqrt Methods fromBuiltinData :: BuiltinData -> Maybe Sqrt Source #
FromData a => FromData [a] Source #
Instance details Defined in PlutusTx.IsData.Class Methods fromBuiltinData :: BuiltinData -> Maybe [a] Source #
FromData a => FromData (Maybe a) Source #
Instance details Defined in PlutusTx.IsData.Instances Methods fromBuiltinData :: BuiltinData -> Maybe (Maybe a) Source #
(FromData a, FromData b) => FromData (Either a b) Source #
Instance details Defined in PlutusTx.IsData.Instances Methods fromBuiltinData :: BuiltinData -> Maybe (Either a b) Source #
(FromData a, FromData b) => FromData (a, b) Source #
Instance details Defined in PlutusTx.IsData.Instances Methods fromBuiltinData :: BuiltinData -> Maybe (a, b) Source #
(FromData k, FromData v) => FromData (Map k v) Source #
Instance details Defined in PlutusTx.AssocMap Methods fromBuiltinData :: BuiltinData -> Maybe (Map k v) Source #
(FromData a, FromData b, FromData c) => FromData (a, b, c) Source #
Instance details Defined in PlutusTx.IsData.Instances Methods fromBuiltinData :: BuiltinData -> Maybe (a, b, c) Source #
(FromData a, FromData b, FromData c, FromData d) => FromData (a, b, c, d) Source #
Instance details Defined in PlutusTx.IsData.Instances Methods fromBuiltinData :: BuiltinData -> Maybe (a, b, c, d) Source #

class UnsafeFromData (a :: Type) where Source #

Methods

unsafeFromBuiltinData :: BuiltinData -> a Source #

Convert a value from BuiltinData, calling error if this fails. This is typically much faster than fromBuiltinData.

When implementing this function, make sure to call unsafeFromBuiltinData rather than fromBuiltinData when converting substructures!

Instances

Instances details

UnsafeFromData Bool Source #
Instance details Defined in PlutusTx.IsData.Instances Methods unsafeFromBuiltinData :: BuiltinData -> Bool Source #
(TypeError ('Text "Int is not supported, use Integer instead") :: Constraint) => UnsafeFromData Int Source #
Instance details Defined in PlutusTx.IsData.Class Methods unsafeFromBuiltinData :: BuiltinData -> Int Source #
UnsafeFromData Integer Source #
Instance details Defined in PlutusTx.IsData.Class Methods unsafeFromBuiltinData :: BuiltinData -> Integer Source #
UnsafeFromData () Source #
Instance details Defined in PlutusTx.IsData.Instances Methods unsafeFromBuiltinData :: BuiltinData -> () Source #
UnsafeFromData Void Source #
Instance details Defined in PlutusTx.IsData.Class Methods unsafeFromBuiltinData :: BuiltinData -> Void Source #
UnsafeFromData BuiltinData Source #
Instance details Defined in PlutusTx.IsData.Class Methods unsafeFromBuiltinData :: BuiltinData -> BuiltinData Source #
UnsafeFromData BuiltinByteString Source #
Instance details Defined in PlutusTx.IsData.Class Methods unsafeFromBuiltinData :: BuiltinData -> BuiltinByteString Source #
UnsafeFromData Rational Source #
Instance details Defined in PlutusTx.Ratio Methods unsafeFromBuiltinData :: BuiltinData -> Rational Source #
UnsafeFromData Sqrt Source #
Instance details Defined in PlutusTx.Sqrt Methods unsafeFromBuiltinData :: BuiltinData -> Sqrt Source #
UnsafeFromData a => UnsafeFromData [a] Source #
Instance details Defined in PlutusTx.IsData.Class Methods unsafeFromBuiltinData :: BuiltinData -> [a] Source #
UnsafeFromData a => UnsafeFromData (Maybe a) Source #
Instance details Defined in PlutusTx.IsData.Instances Methods unsafeFromBuiltinData :: BuiltinData -> Maybe a Source #
(UnsafeFromData a, UnsafeFromData b) => UnsafeFromData (Either a b) Source #
Instance details Defined in PlutusTx.IsData.Instances Methods unsafeFromBuiltinData :: BuiltinData -> Either a b Source #
(UnsafeFromData a, UnsafeFromData b) => UnsafeFromData (a, b) Source #
Instance details Defined in PlutusTx.IsData.Instances Methods unsafeFromBuiltinData :: BuiltinData -> (a, b) Source #
(UnsafeFromData k, UnsafeFromData v) => UnsafeFromData (Map k v) Source #
Instance details Defined in PlutusTx.AssocMap Methods unsafeFromBuiltinData :: BuiltinData -> Map k v Source #
(UnsafeFromData a, UnsafeFromData b, UnsafeFromData c) => UnsafeFromData (a, b, c) Source #
Instance details Defined in PlutusTx.IsData.Instances Methods unsafeFromBuiltinData :: BuiltinData -> (a, b, c) Source #
(UnsafeFromData a, UnsafeFromData b, UnsafeFromData c, UnsafeFromData d) => UnsafeFromData (a, b, c, d) Source #
Instance details Defined in PlutusTx.IsData.Instances Methods unsafeFromBuiltinData :: BuiltinData -> (a, b, c, d) Source #

toData :: ToData a => a -> Data Source #

Convert a value to Data.

fromData :: FromData a => Data -> Maybe a Source #

Convert a value from Data, returning Nothing if this fails.

builtinDataToData :: BuiltinData -> Data Source #

Convert a BuiltinData into a Data. Only works off-chain.

dataToBuiltinData :: Data -> BuiltinData Source #

Convert a Data into a BuiltinData. Only works off-chain.

unstableMakeIsData :: Name -> Q [Dec] Source #

Generate a FromData and a ToData instance for a type. This may not be stable in the face of constructor additions, renamings, etc. Use makeIsDataIndexed if you need stability.

makeIsDataIndexed :: Name -> [(Name, Int)] -> Q [Dec] Source #

Generate a FromData and a ToData instance for a type, using an explicit mapping of constructor names to indices. Use this for types where you need to keep the representation stable.

class Lift uni a Source #

Class for types which can be lifted into Plutus IR. Instances should be derived, do not write your own instance!

Minimal complete definition

lift

Instances

Instances details

Includes uni Text => Lift uni BuiltinString Source #
Instance details Defined in PlutusTx.Lift.Instances Methods lift :: BuiltinString -> RTCompile uni fun (Term TyName Name uni fun ()) Source #
Includes uni ByteString => Lift uni BuiltinByteString Source #
Instance details Defined in PlutusTx.Lift.Instances Methods lift :: BuiltinByteString -> RTCompile uni fun (Term TyName Name uni fun ()) Source #
Includes uni Data => Lift uni BuiltinData Source #
Instance details Defined in PlutusTx.Lift.Instances Methods lift :: BuiltinData -> RTCompile uni fun (Term TyName Name uni fun ()) Source #
Includes uni ByteString => Lift uni ByteString Source #
Instance details Defined in PlutusTx.Lift.Instances Methods lift :: ByteString -> RTCompile uni fun (Term TyName Name uni fun ()) Source #
Includes uni Integer => Lift uni Integer Source #
Instance details Defined in PlutusTx.Lift.Instances Methods lift :: Integer -> RTCompile uni fun (Term TyName Name uni fun ()) Source #
(TypeError ('Text "Int is not supported, use Integer instead") :: Constraint) => Lift uni Int Source #
Instance details Defined in PlutusTx.Lift.Instances Methods lift :: Int -> RTCompile uni fun (Term TyName Name uni fun ()) Source #
Lift DefaultUni Bool Source #
Instance details Defined in PlutusTx.Lift.Instances Methods lift :: Bool -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ()) Source #
Lift DefaultUni () Source #
Instance details Defined in PlutusTx.Lift.Instances Methods lift :: () -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ()) Source #
Lift DefaultUni Data Source #
Instance details Defined in PlutusTx.Lift.Instances Methods lift :: Data -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ()) Source #
Lift DefaultUni Rational Source #
Instance details Defined in PlutusTx.Ratio Methods lift :: Rational -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ()) Source #
Lift DefaultUni Sqrt Source #
Instance details Defined in PlutusTx.Sqrt Methods lift :: Sqrt -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ()) Source #
(FromBuiltin arep a, Includes uni [a]) => Lift uni (BuiltinList arep) Source #
Instance details Defined in PlutusTx.Lift.Instances Methods lift :: BuiltinList arep -> RTCompile uni fun (Term TyName Name uni fun ()) Source #
(Typeable DefaultUni a, Lift DefaultUni a) => Lift DefaultUni [a] Source #
Instance details Defined in PlutusTx.Lift.Instances Methods lift :: [a] -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ()) Source #
(Typeable DefaultUni a, Lift DefaultUni a) => Lift DefaultUni (Maybe a) Source #
Instance details Defined in PlutusTx.Lift.Instances Methods lift :: Maybe a -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ()) Source #
(Typeable DefaultUni a, Typeable DefaultUni b, Lift DefaultUni a, Lift DefaultUni b) => Lift DefaultUni (Either a b) Source #
Instance details Defined in PlutusTx.Lift.Instances Methods lift :: Either a b -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ()) Source #
(Typeable DefaultUni a, Typeable DefaultUni b, Lift DefaultUni a, Lift DefaultUni b) => Lift DefaultUni (a, b) Source #
Instance details Defined in PlutusTx.Lift.Instances Methods lift :: (a, b) -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ()) Source #
Lift DefaultUni [(k, v)] => Lift DefaultUni (Map k v) Source #
Instance details Defined in PlutusTx.AssocMap Methods lift :: Map k v -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ()) Source #
(Typeable DefaultUni a, Typeable DefaultUni b, Typeable DefaultUni c, Lift DefaultUni a, Lift DefaultUni b, Lift DefaultUni c) => Lift DefaultUni (a, b, c) Source #
Instance details Defined in PlutusTx.Lift.Instances Methods lift :: (a, b, c) -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ()) Source #
(Typeable DefaultUni a, Typeable DefaultUni b, Typeable DefaultUni c, Typeable DefaultUni d, Lift DefaultUni a, Lift DefaultUni b, Lift DefaultUni c, Lift DefaultUni d) => Lift DefaultUni (a, b, c, d) Source #
Instance details Defined in PlutusTx.Lift.Instances Methods lift :: (a, b, c, d) -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ()) Source #
(Typeable DefaultUni a, Typeable DefaultUni b, Typeable DefaultUni c, Typeable DefaultUni d, Typeable DefaultUni e, Lift DefaultUni a, Lift DefaultUni b, Lift DefaultUni c, Lift DefaultUni d, Lift DefaultUni e) => Lift DefaultUni (a, b, c, d, e) Source #
Instance details Defined in PlutusTx.Lift.Instances Methods lift :: (a, b, c, d, e) -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ()) Source #

class Typeable uni (a :: k) Source #

Class for types which have a corresponding Plutus IR type. Instances should always be derived, do not write your own instance!

Minimal complete definition

typeRep

Instances

Instances details

(Typeable uni f, Typeable uni a) => Typeable uni (f a :: k) Source #
Instance details Defined in PlutusTx.Lift.Instances Methods typeRep :: Proxy (f a) -> RTCompile uni fun (Type TyName uni ()) Source #
Includes uni Text => Typeable uni BuiltinString Source #
Instance details Defined in PlutusTx.Lift.Instances Methods typeRep :: Proxy BuiltinString -> RTCompile uni fun (Type TyName uni ()) Source #
Includes uni ByteString => Typeable uni BuiltinByteString Source #
Instance details Defined in PlutusTx.Lift.Instances Methods typeRep :: Proxy BuiltinByteString -> RTCompile uni fun (Type TyName uni ()) Source #
Includes uni Data => Typeable uni BuiltinData Source #
Instance details Defined in PlutusTx.Lift.Instances Methods typeRep :: Proxy BuiltinData -> RTCompile uni fun (Type TyName uni ()) Source #
Includes uni ByteString => Typeable uni ByteString Source #
Instance details Defined in PlutusTx.Lift.Instances Methods typeRep :: Proxy ByteString -> RTCompile uni fun (Type TyName uni ()) Source #
Includes uni Integer => Typeable uni Integer Source #
Instance details Defined in PlutusTx.Lift.Instances Methods typeRep :: Proxy Integer -> RTCompile uni fun (Type TyName uni ()) Source #
(TypeError ('Text "Int is not supported, use Integer instead") :: Constraint) => Typeable uni Int Source #
Instance details Defined in PlutusTx.Lift.Instances Methods typeRep :: Proxy Int -> RTCompile uni fun (Type TyName uni ()) Source #
Typeable DefaultUni Bool Source #
Instance details Defined in PlutusTx.Lift.Instances Methods typeRep :: Proxy Bool -> RTCompile DefaultUni fun (Type TyName DefaultUni ()) Source #
Typeable DefaultUni () Source #
Instance details Defined in PlutusTx.Lift.Instances Methods typeRep :: Proxy () -> RTCompile DefaultUni fun (Type TyName DefaultUni ()) Source #
Typeable DefaultUni Data Source #
Instance details Defined in PlutusTx.Lift.Instances Methods typeRep :: Proxy Data -> RTCompile DefaultUni fun (Type TyName DefaultUni ()) Source #
Typeable DefaultUni Rational Source #
Instance details Defined in PlutusTx.Ratio Methods typeRep :: Proxy Rational -> RTCompile DefaultUni fun (Type TyName DefaultUni ()) Source #
Typeable DefaultUni Sqrt Source #
Instance details Defined in PlutusTx.Sqrt Methods typeRep :: Proxy Sqrt -> RTCompile DefaultUni fun (Type TyName DefaultUni ()) Source #
Typeable DefaultUni (,,,,) Source #
Instance details Defined in PlutusTx.Lift.Instances Methods typeRep :: Proxy (,,,,) -> RTCompile DefaultUni fun (Type TyName DefaultUni ()) Source #
Typeable DefaultUni (,,,) Source #
Instance details Defined in PlutusTx.Lift.Instances Methods typeRep :: Proxy (,,,) -> RTCompile DefaultUni fun (Type TyName DefaultUni ()) Source #
Typeable DefaultUni (,,) Source #
Instance details Defined in PlutusTx.Lift.Instances Methods typeRep :: Proxy (,,) -> RTCompile DefaultUni fun (Type TyName DefaultUni ()) Source #
Typeable DefaultUni Either Source #
Instance details Defined in PlutusTx.Lift.Instances Methods typeRep :: Proxy Either -> RTCompile DefaultUni fun (Type TyName DefaultUni ()) Source #
Typeable DefaultUni (,) Source #
Instance details Defined in PlutusTx.Lift.Instances Methods typeRep :: Proxy (,) -> RTCompile DefaultUni fun (Type TyName DefaultUni ()) Source #
Typeable DefaultUni Map Source #
Instance details Defined in PlutusTx.AssocMap Methods typeRep :: Proxy Map -> RTCompile DefaultUni fun (Type TyName DefaultUni ()) Source #
Typeable DefaultUni [] Source #
Instance details Defined in PlutusTx.Lift.Instances Methods typeRep :: Proxy [] -> RTCompile DefaultUni fun (Type TyName DefaultUni ()) Source #
Typeable DefaultUni Maybe Source #
Instance details Defined in PlutusTx.Lift.Instances Methods typeRep :: Proxy Maybe -> RTCompile DefaultUni fun (Type TyName DefaultUni ()) Source #
Typeable uni ((->) :: Type -> Type -> Type) Source #
Instance details Defined in PlutusTx.Lift.Instances Methods typeRep :: Proxy (->) -> RTCompile uni fun (Type0 TyName uni ()) Source #

makeLift :: Name -> Q [Dec] Source #

safeLiftCode :: (Lift uni a, AsTypeError e (Term TyName Name uni fun ()) uni fun (Provenance ()), GEq uni, AsTypeErrorExt e uni (Provenance ()), AsFreeVariableError e, AsError e uni fun (Provenance ()), MonadError e m, MonadQuote m, Typecheckable uni fun, PrettyPrintable uni fun) => a -> m (CompiledCodeIn uni fun a) Source #

liftCode :: (Lift uni a, Throwable uni fun, Typecheckable uni fun) => a -> CompiledCodeIn uni fun a Source #

Get a Plutus Core program corresponding to the given value as a CompiledCodeIn, throwing any errors that occur as exceptions and ignoring fresh names.