| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
MAlonzo.Code.Relation.Nullary.Decidable
Documentation
d_map_14 ∷ T_Level_18 → () → T_Level_18 → () → T_Equivalence_16 → T_Dec_32 → T_Dec_32 Source #
d__'8776'__62 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Setoid_44 → T_Setoid_44 → T_Injection_88 → AgdaAny → AgdaAny → () Source #
d__'8776'__66 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Setoid_44 → T_Setoid_44 → T_Injection_88 → AgdaAny → AgdaAny → () Source #
d_via'45'injection_68 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Setoid_44 → T_Setoid_44 → T_Injection_88 → (AgdaAny → AgdaAny → T_Dec_32) → AgdaAny → AgdaAny → T_Dec_32 Source #
du_via'45'injection_68 ∷ T_Injection_88 → (AgdaAny → AgdaAny → T_Dec_32) → AgdaAny → AgdaAny → T_Dec_32 Source #
d_True'45''8596'_78 ∷ T_Level_18 → () → T_Dec_32 → (AgdaAny → AgdaAny → T__'8801'__12) → T_Inverse_1048 Source #