| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
MAlonzo.Code.Data.Sum.Function.Propositional
Documentation
d__'8846''45''8660'__28 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → () → () → () → () → T_Equivalence_16 → T_Equivalence_16 → T_Equivalence_16 Source #
d__'8846''45''8611'__38 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → () → () → () → () → T_Injection_88 → T_Injection_88 → T_Injection_88 Source #
d__'8846''45''8606'__48 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → () → () → () → () → T_LeftInverse_82 → T_LeftInverse_82 → T_LeftInverse_82 Source #
d__'8846''45''8608'__58 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → () → () → () → () → T_Surjection_54 → T_Surjection_54 → T_Surjection_54 Source #
d__'8846''45''8596'__68 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → () → () → () → () → T_Inverse_58 → T_Inverse_58 → T_Inverse_58 Source #
d__'8846''45'cong__100 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → () → () → () → () → T_Kind_52 → AgdaAny → AgdaAny → AgdaAny Source #