plutus-tx-1.45.0.0: Libraries for Plutus Tx and its prelude
Safe HaskellSafe-Inferred
LanguageHaskell2010

PlutusTx.Lift.Class

Synopsis

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

Defined in PlutusTx.Data.List

Methods

typeRep :: Proxy List -> 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 DefaultUni List Source # 
Instance details

Defined in PlutusTx.Lift.Instances

Methods

typeRep :: Proxy List -> RTCompile DefaultUni fun (Type TyName DefaultUni ()) Source #

HasTypeLevel uni Vector => Typeable uni BuiltinArray Source # 
Instance details

Defined in PlutusTx.Lift.Class

Methods

typeRep :: Proxy BuiltinArray -> RTCompile uni fun (Type TyName uni ()) 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 #

Lift DefaultUni (List a) Source # 
Instance details

Defined in PlutusTx.Data.List

Methods

lift :: List 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, 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 (Vector (FromBuiltin arep))) => Lift uni (BuiltinArray arep) Source # 
Instance details

Defined in PlutusTx.Lift.Class

Methods

lift :: BuiltinArray arep -> RTCompile uni fun (Term TyName Name uni 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 #