Safe Haskell	Safe-Inferred
Language	Haskell2010

PlutusTx.Lift.Instances

Contents

Orphan instances

Orphan instances

Lift DefaultUni () Source #
Instance details Methods lift ∷ () → RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ()) Source #
Typeable DefaultUni () Source #
Instance details Methods typeRep ∷ Proxy () → RTCompile DefaultUni fun (Type TyName DefaultUni ()) Source #
(Typeable DefaultUni a, Lift DefaultUni a) ⇒ Lift DefaultUni (Maybe a) Source #
Instance details 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 Methods lift ∷ [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 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 (These a b) Source #
Instance details 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 Methods lift ∷ (a, b) → 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 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 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 Methods lift ∷ (a, b, c, d, e) → RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ()) Source #
Typeable DefaultUni (,,,,) Source #
Instance details Methods typeRep ∷ Proxy (,,,,) → RTCompile DefaultUni fun (Type TyName DefaultUni ()) Source #
Typeable DefaultUni (,,,) Source #
Instance details Methods typeRep ∷ Proxy (,,,) → RTCompile DefaultUni fun (Type TyName DefaultUni ()) Source #
Typeable DefaultUni (,,) Source #
Instance details Methods typeRep ∷ Proxy (,,) → RTCompile DefaultUni fun (Type TyName DefaultUni ()) Source #
Typeable DefaultUni Either Source #
Instance details Methods typeRep ∷ Proxy Either → RTCompile DefaultUni fun (Type TyName DefaultUni ()) Source #
Typeable DefaultUni These Source #
Instance details Methods typeRep ∷ Proxy These → RTCompile DefaultUni fun (Type TyName DefaultUni ()) Source #
Typeable DefaultUni (,) Source #
Instance details Methods typeRep ∷ Proxy (,) → RTCompile DefaultUni fun (Type TyName DefaultUni ()) Source #
Typeable DefaultUni Maybe Source #
Instance details Methods typeRep ∷ Proxy Maybe → RTCompile DefaultUni fun (Type TyName DefaultUni ()) Source #
Typeable DefaultUni List Source #
Instance details Methods typeRep ∷ Proxy List → RTCompile DefaultUni fun (Type TyName DefaultUni ()) Source #