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

PlutusTx.Lift.Instances

Orphan instances

Lift DefaultUni () Source # 
Instance details

Methods

lift ∷ () → RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ()) Source #

Lift DefaultUni Bool Source # 
Instance details

Typeable DefaultUni () Source # 
Instance details

Typeable DefaultUni Bool Source # 
Instance details

(Typeable DefaultUni a, Lift DefaultUni a) ⇒ Lift DefaultUni (Maybe a) Source # 
Instance details

(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

liftEither 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

liftThese 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

Typeable DefaultUni (,,,) Source # 
Instance details

Typeable DefaultUni (,,) Source # 
Instance details

Typeable DefaultUni Either Source # 
Instance details

Typeable DefaultUni These Source # 
Instance details

Typeable DefaultUni (,) Source # 
Instance details

Typeable DefaultUni Maybe Source # 
Instance details

Typeable DefaultUni List Source # 
Instance details