Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Constitution.Config.Instance.TxLift

Contents

Orphan instances

Lift DefaultUni ConstitutionConfig Source #
Instance details Methods lift ∷ ConstitutionConfig → RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ()) Source #
Lift DefaultUni ParamValue Source #
Instance details Methods lift ∷ ParamValue → RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ()) Source #
Lift DefaultUni PredKey Source #
Instance details Methods lift ∷ PredKey → RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ()) Source #
Typeable DefaultUni ConstitutionConfig Source #
Instance details Methods typeRep ∷ Proxy ConstitutionConfig → RTCompile DefaultUni fun (Type TyName DefaultUni ()) Source #
Typeable DefaultUni ParamValue Source #
Instance details Methods typeRep ∷ Proxy ParamValue → RTCompile DefaultUni fun (Type TyName DefaultUni ()) Source #
Typeable DefaultUni PredKey Source #
Instance details Methods typeRep ∷ Proxy PredKey → RTCompile DefaultUni fun (Type TyName DefaultUni ()) Source #
(Typeable DefaultUni predValue, Lift DefaultUni predValue) ⇒ Lift DefaultUni (Predicates predValue) Source #
Instance details Methods lift ∷ Predicates predValue → RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ()) Source #
Typeable DefaultUni Predicates Source #
Instance details Methods typeRep ∷ Proxy Predicates → RTCompile DefaultUni fun (Type TyName DefaultUni ()) Source #