Moduleplutus-tx-1.70.0.0

PlutusTx.Lift.Class

Synopsis

class Lift
type RTCompile
class Typeable

Packageplutus-tx-1.70.0.0
Exports3
LicenceApache-2.0

classclass Lift (uni :: Type -> Type) a where

Methods

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

Instances29Lift, TestAllBuiltinsSatisfy, …

TypeError ('Text "Int is not supported, use Integer instead") => Lift uni IntDefined in plutus-tx-1.70.0.0 · PlutusTx.Lift.Class
HasTermLevel uni ByteString => Lift uni BuiltinByteStringDefined in plutus-tx-1.70.0.0 · PlutusTx.Lift.Class
HasTermLevel uni Integer => Lift uni BuiltinIntegerDefined in plutus-tx-1.70.0.0 · PlutusTx.Lift.Class
HasTermLevel uni Bool => Lift uni BoolDefined in plutus-tx-1.70.0.0 · PlutusTx.Lift.Class
HasTermLevel uni Element => Lift uni BuiltinBLS12_381_G1_ElementDefined in plutus-tx-1.70.0.0 · PlutusTx.Lift.Class
HasTermLevel uni Element => Lift uni BuiltinBLS12_381_G2_ElementDefined in plutus-tx-1.70.0.0 · PlutusTx.Lift.Class
HasTermLevel uni MlResult => Lift uni BuiltinBLS12_381_MlResultDefined in plutus-tx-1.70.0.0 · PlutusTx.Lift.Class
HasTermLevel uni Data => Lift uni BuiltinDataDefined in plutus-tx-1.70.0.0 · PlutusTx.Lift.Class
HasTermLevel uni Value => Lift uni BuiltinValueDefined in plutus-tx-1.70.0.0 · PlutusTx.Lift.Class
HasTermLevel uni Text => Lift uni BuiltinStringDefined in plutus-tx-1.70.0.0 · PlutusTx.Lift.Class
HasTermLevel uni () => Lift uni BuiltinUnitDefined in plutus-tx-1.70.0.0 · PlutusTx.Lift.Class
HasTermLevel uni () => Lift uni ()Defined in plutus-tx-1.70.0.0 · PlutusTx.Lift.Class
Lift DefaultUni RationalDefined in plutus-tx-1.70.0.0 · PlutusTx.Ratio
Lift DefaultUni SqrtDefined in plutus-tx-1.70.0.0 · PlutusTx.Sqrt
Lift DefaultUni (List a)Defined in plutus-tx-1.70.0.0 · PlutusTx.Data.List
(HasFromBuiltin arep, HasTermLevel uni (Vector (FromBuiltin arep))) => Lift uni (BuiltinArray arep)Defined in plutus-tx-1.70.0.0 · PlutusTx.Lift.Class
(HasFromBuiltin arep, HasTermLevel uni [FromBuiltin arep]) => Lift uni (BuiltinList arep)Defined in plutus-tx-1.70.0.0 · PlutusTx.Lift.Class
(Typeable DefaultUni a, Lift DefaultUni a) => Lift DefaultUni (Maybe a)Defined in plutus-tx-1.70.0.0 · PlutusTx.Lift.Instances · orphan
(Typeable DefaultUni a, Lift DefaultUni a) => Lift DefaultUni [a]Defined in plutus-tx-1.70.0.0 · PlutusTx.Lift.Instances · orphan
Lift DefaultUni (Map k a)Defined in plutus-tx-1.70.0.0 · PlutusTx.Data.AssocMap
Lift DefaultUni [(k, v)] => Lift DefaultUni (Map k v)Defined in plutus-tx-1.70.0.0 · PlutusTx.AssocMap
(HasFromBuiltin arep, HasFromBuiltin brep, HasTermLevel uni (FromBuiltin arep, FromBuiltin brep)) => Lift uni (BuiltinPair arep brep)Defined in plutus-tx-1.70.0.0 · PlutusTx.Lift.Class
(Typeable DefaultUni a, Typeable DefaultUni b, Lift DefaultUni a, Lift DefaultUni b) => Lift DefaultUni (Either a b)Defined in plutus-tx-1.70.0.0 · PlutusTx.Lift.Instances · orphan
(Typeable DefaultUni a, Typeable DefaultUni b, Lift DefaultUni a, Lift DefaultUni b) => Lift DefaultUni (These a b)Defined in plutus-tx-1.70.0.0 · PlutusTx.These
(Typeable DefaultUni a, Typeable DefaultUni b, Lift DefaultUni a, Lift DefaultUni b) => Lift DefaultUni (a, b)Defined in plutus-tx-1.70.0.0 · PlutusTx.Lift.Instances · orphan
(Typeable DefaultUni a, Typeable DefaultUni b, Typeable DefaultUni c, Lift DefaultUni a, Lift DefaultUni b, Lift DefaultUni c) => Lift DefaultUni (a, b, c)Defined in plutus-tx-1.70.0.0 · PlutusTx.Lift.Instances · orphan
(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)Defined in plutus-tx-1.70.0.0 · PlutusTx.Lift.Instances · orphan
(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)Defined in plutus-tx-1.70.0.0 · PlutusTx.Lift.Instances · orphan
TestAllBuiltinsSatisfy (AllBuiltinArgs DefaultUni HasFromBuiltin) (Lift DefaultUni)Defined in plutus-tx-1.70.0.0 · PlutusTx.Lift.TestInstances

typetype RTCompile (uni :: Type -> Type) fun = DefT Name uni fun () Quote

classclass Typeable (uni :: Type -> Type) (a :: k) where

Methods

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

Instances31Typeable, TestAllBuiltinsSatisfy, …

TypeError ('Text "Int is not supported, use Integer instead") => Typeable uni IntDefined in plutus-tx-1.70.0.0 · PlutusTx.Lift.Class
HasTypeLevel uni ByteString => Typeable uni BuiltinByteStringDefined in plutus-tx-1.70.0.0 · PlutusTx.Lift.Class
HasTypeLevel uni Integer => Typeable uni BuiltinIntegerDefined in plutus-tx-1.70.0.0 · PlutusTx.Lift.Class
HasTypeLevel uni Bool => Typeable uni BoolDefined in plutus-tx-1.70.0.0 · PlutusTx.Lift.Class
HasTypeLevel uni Element => Typeable uni BuiltinBLS12_381_G1_ElementDefined in plutus-tx-1.70.0.0 · PlutusTx.Lift.Class
HasTypeLevel uni Element => Typeable uni BuiltinBLS12_381_G2_ElementDefined in plutus-tx-1.70.0.0 · PlutusTx.Lift.Class
HasTypeLevel uni MlResult => Typeable uni BuiltinBLS12_381_MlResultDefined in plutus-tx-1.70.0.0 · PlutusTx.Lift.Class
HasTypeLevel uni Data => Typeable uni BuiltinDataDefined in plutus-tx-1.70.0.0 · PlutusTx.Lift.Class
HasTypeLevel uni Value => Typeable uni BuiltinValueDefined in plutus-tx-1.70.0.0 · PlutusTx.Lift.Class
HasTypeLevel uni Text => Typeable uni BuiltinStringDefined in plutus-tx-1.70.0.0 · PlutusTx.Lift.Class
HasTypeLevel uni () => Typeable uni BuiltinUnitDefined in plutus-tx-1.70.0.0 · PlutusTx.Lift.Class
HasTypeLevel uni () => Typeable uni ()Defined in plutus-tx-1.70.0.0 · PlutusTx.Lift.Class
Typeable DefaultUni RationalDefined in plutus-tx-1.70.0.0 · PlutusTx.Ratio
Typeable DefaultUni SqrtDefined in plutus-tx-1.70.0.0 · PlutusTx.Sqrt
(Typeable uni f, Typeable uni a) => Typeable uni (f a)Defined in plutus-tx-1.70.0.0 · PlutusTx.Lift.Class
HasTypeLevel uni Tuple2 => Typeable uni BuiltinPairDefined in plutus-tx-1.70.0.0 · PlutusTx.Lift.Class
HasTypeLevel uni Vector => Typeable uni BuiltinArrayDefined in plutus-tx-1.70.0.0 · PlutusTx.Lift.Class
HasTypeLevel uni [] => Typeable uni BuiltinListDefined in plutus-tx-1.70.0.0 · PlutusTx.Lift.Class
Typeable DefaultUni EitherDefined in plutus-tx-1.70.0.0 · PlutusTx.Lift.Instances · orphan
Typeable DefaultUni MaybeDefined in plutus-tx-1.70.0.0 · PlutusTx.Lift.Instances · orphan
Typeable DefaultUni Tuple2Defined in plutus-tx-1.70.0.0 · PlutusTx.Lift.Instances · orphan
Typeable DefaultUni Tuple3Defined in plutus-tx-1.70.0.0 · PlutusTx.Lift.Instances · orphan
Typeable DefaultUni Tuple4Defined in plutus-tx-1.70.0.0 · PlutusTx.Lift.Instances · orphan
Typeable DefaultUni Tuple5Defined in plutus-tx-1.70.0.0 · PlutusTx.Lift.Instances · orphan
Typeable DefaultUni MapDefined in plutus-tx-1.70.0.0 · PlutusTx.AssocMap
Typeable DefaultUni MapDefined in plutus-tx-1.70.0.0 · PlutusTx.Data.AssocMap
Typeable DefaultUni ListDefined in plutus-tx-1.70.0.0 · PlutusTx.Data.List
Typeable DefaultUni TheseDefined in plutus-tx-1.70.0.0 · PlutusTx.These
Typeable DefaultUni []Defined in plutus-tx-1.70.0.0 · PlutusTx.Lift.Instances · orphan
Typeable uni (->)Defined in plutus-tx-1.70.0.0 · PlutusTx.Lift.Class
TestAllBuiltinsSatisfy (AllBuiltinArgs DefaultUni (Typeable DefaultUni)) (Typeable DefaultUni)Defined in plutus-tx-1.70.0.0 · PlutusTx.Lift.TestInstances