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 #