Safe Haskell	Safe-Inferred
Language	Haskell2010

PlutusTx.Lift.Class

Synopsis

class Typeable uni (a :: k) where
- typeRep :: Proxy a -> RTCompile uni fun (Type TyName uni ())
class Lift uni a where
- lift :: a -> RTCompile uni fun (Term TyName Name uni fun ())
type RTCompile uni fun = DefT Name uni fun () Quote

Documentation

class Typeable uni (a :: k) where Source #

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

Methods

typeRep :: Proxy a -> RTCompile uni fun (Type TyName uni ()) Source #

Get the Plutus IR type corresponding to this type.

Instances

Instances details

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 Bool Source #
Instance details Defined in PlutusTx.Lift.Instances Methods typeRep :: Proxy Bool -> RTCompile DefaultUni fun (Type TyName DefaultUni ()) Source #
HasTypeLevel uni Element => Typeable uni BuiltinBLS12_381_G1_Element Source #
Instance details Defined in PlutusTx.Lift.Class Methods typeRep :: Proxy BuiltinBLS12_381_G1_Element -> RTCompile uni fun (Type TyName uni ()) Source #
HasTypeLevel uni Element => Typeable uni BuiltinBLS12_381_G2_Element Source #
Instance details Defined in PlutusTx.Lift.Class Methods typeRep :: Proxy BuiltinBLS12_381_G2_Element -> RTCompile uni fun (Type TyName uni ()) Source #
HasTypeLevel uni MlResult => Typeable uni BuiltinBLS12_381_MlResult Source #
Instance details Defined in PlutusTx.Lift.Class Methods typeRep :: Proxy BuiltinBLS12_381_MlResult -> RTCompile uni fun (Type TyName uni ()) Source #
HasTypeLevel uni Bool => Typeable uni BuiltinBool Source #
Instance details Defined in PlutusTx.Lift.Class Methods typeRep :: Proxy BuiltinBool -> RTCompile uni fun (Type TyName uni ()) Source #
HasTypeLevel uni ByteString => Typeable uni BuiltinByteString Source #
Instance details Defined in PlutusTx.Lift.Class Methods typeRep :: Proxy BuiltinByteString -> RTCompile uni fun (Type TyName uni ()) Source #
HasTypeLevel uni Data => Typeable uni BuiltinData Source #
Instance details Defined in PlutusTx.Lift.Class Methods typeRep :: Proxy BuiltinData -> RTCompile uni fun (Type TyName uni ()) Source #
HasTypeLevel uni Integer => Typeable uni BuiltinInteger Source #
Instance details Defined in PlutusTx.Lift.Class Methods typeRep :: Proxy BuiltinInteger -> RTCompile uni fun (Type TyName uni ()) Source #
HasTypeLevel uni Text => Typeable uni BuiltinString Source #
Instance details Defined in PlutusTx.Lift.Class Methods typeRep :: Proxy BuiltinString -> RTCompile uni fun (Type TyName uni ()) Source #
HasTypeLevel uni () => Typeable uni BuiltinUnit Source #
Instance details Defined in PlutusTx.Lift.Class Methods typeRep :: Proxy BuiltinUnit -> 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.Class Methods typeRep :: Proxy Int -> RTCompile uni fun (Type TyName uni ()) Source #
(Typeable uni f, Typeable uni a) => Typeable uni (f a :: k) Source #
Instance details Defined in PlutusTx.Lift.Class Methods typeRep :: Proxy (f a) -> RTCompile uni fun (Type TyName uni ()) 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 Map Source #
Instance details Defined in PlutusTx.AssocMap Methods typeRep :: Proxy Map -> RTCompile DefaultUni fun (Type TyName DefaultUni ()) Source #
Typeable DefaultUni Map Source #
Instance details Defined in PlutusTx.Data.AssocMap Methods typeRep :: Proxy Map -> RTCompile DefaultUni fun (Type TyName DefaultUni ()) Source #
Typeable DefaultUni These Source #
Instance details Defined in PlutusTx.Lift.Instances Methods typeRep :: Proxy These -> 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 #
HasTypeLevel uni (,) => Typeable uni BuiltinPair Source #
Instance details Defined in PlutusTx.Lift.Class Methods typeRep :: Proxy BuiltinPair -> RTCompile uni fun (Type TyName uni ()) Source #
Typeable DefaultUni Maybe Source #
Instance details Defined in PlutusTx.Lift.Instances Methods typeRep :: Proxy Maybe -> RTCompile DefaultUni fun (Type TyName DefaultUni ()) Source #
Typeable DefaultUni List Source #
Instance details Defined in PlutusTx.Lift.Instances Methods typeRep :: Proxy List -> RTCompile DefaultUni fun (Type TyName DefaultUni ()) Source #
HasTypeLevel uni List => Typeable uni BuiltinList Source #
Instance details Defined in PlutusTx.Lift.Class Methods typeRep :: Proxy BuiltinList -> RTCompile uni fun (Type TyName uni ()) Source #
Typeable uni (->) Source #
Instance details Defined in PlutusTx.Lift.Class Methods typeRep :: Proxy (->) -> RTCompile uni fun (Type TyName uni ()) Source #

class Lift uni a where Source #

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

Methods

lift :: a -> RTCompile uni fun (Term TyName Name uni fun ()) Source #

Get a Plutus IR term corresponding to the given value.

Instances

Instances details

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 #
Lift DefaultUni () Source #
Instance details Defined in PlutusTx.Lift.Instances Methods lift :: () -> RTCompile DefaultUni fun (Term TyName Name DefaultUni 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 #
HasTermLevel uni Element => Lift uni BuiltinBLS12_381_G1_Element Source #
Instance details Defined in PlutusTx.Lift.Class Methods lift :: BuiltinBLS12_381_G1_Element -> RTCompile uni fun (Term TyName Name uni fun ()) Source #
HasTermLevel uni Element => Lift uni BuiltinBLS12_381_G2_Element Source #
Instance details Defined in PlutusTx.Lift.Class Methods lift :: BuiltinBLS12_381_G2_Element -> RTCompile uni fun (Term TyName Name uni fun ()) Source #
HasTermLevel uni MlResult => Lift uni BuiltinBLS12_381_MlResult Source #
Instance details Defined in PlutusTx.Lift.Class Methods lift :: BuiltinBLS12_381_MlResult -> RTCompile uni fun (Term TyName Name uni fun ()) Source #
HasTermLevel uni Bool => Lift uni BuiltinBool Source #
Instance details Defined in PlutusTx.Lift.Class Methods lift :: BuiltinBool -> RTCompile uni fun (Term TyName Name uni fun ()) Source #
HasTermLevel uni ByteString => Lift uni BuiltinByteString Source #
Instance details Defined in PlutusTx.Lift.Class Methods lift :: BuiltinByteString -> RTCompile uni fun (Term TyName Name uni fun ()) Source #
HasTermLevel uni Data => Lift uni BuiltinData Source #
Instance details Defined in PlutusTx.Lift.Class Methods lift :: BuiltinData -> RTCompile uni fun (Term TyName Name uni fun ()) Source #
HasTermLevel uni Integer => Lift uni BuiltinInteger Source #
Instance details Defined in PlutusTx.Lift.Class Methods lift :: BuiltinInteger -> RTCompile uni fun (Term TyName Name uni fun ()) Source #
HasTermLevel uni Text => Lift uni BuiltinString Source #
Instance details Defined in PlutusTx.Lift.Class Methods lift :: BuiltinString -> RTCompile uni fun (Term TyName Name uni fun ()) Source #
HasTermLevel uni () => Lift uni BuiltinUnit Source #
Instance details Defined in PlutusTx.Lift.Class Methods lift :: BuiltinUnit -> 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.Class Methods lift :: Int -> RTCompile uni fun (Term TyName Name uni 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, 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 #
(HasFromBuiltin arep, HasTermLevel uni [FromBuiltin arep]) => Lift uni (BuiltinList arep) Source #
Instance details Defined in PlutusTx.Lift.Class Methods lift :: BuiltinList arep -> RTCompile uni fun (Term TyName Name uni 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 #
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 #
Lift DefaultUni (Map k a) Source #
Instance details Defined in PlutusTx.Data.AssocMap Methods lift :: Map k a -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ()) Source #
(Typeable DefaultUni a, Typeable DefaultUni b, Lift DefaultUni a, Lift DefaultUni b) => Lift DefaultUni (These a b) Source #
Instance details Defined in PlutusTx.Lift.Instances Methods lift :: These 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 #
(HasFromBuiltin arep, HasFromBuiltin brep, HasTermLevel uni (FromBuiltin arep, FromBuiltin brep)) => Lift uni (BuiltinPair arep brep) Source #
Instance details Defined in PlutusTx.Lift.Class Methods lift :: BuiltinPair arep brep -> RTCompile uni fun (Term TyName Name uni 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 #

type RTCompile uni fun = DefT Name uni fun () Quote Source #