| Safe Haskell | None |
|---|
MAlonzo.Code.Relation.Nullary.Decidable
Documentation
d_map_14 :: T_Level_14 -> () -> T_Level_14 -> () -> T_Equivalence_928 -> T_Dec_32 -> T_Dec_32 Source #
d__'8776'__114 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Setoid_44 -> T_Setoid_44 -> T_Injection_704 -> AgdaAny -> AgdaAny -> () Source #
d__'8776'__118 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Setoid_44 -> T_Setoid_44 -> T_Injection_704 -> AgdaAny -> AgdaAny -> () Source #
d_via'45'injection_120 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Setoid_44 -> T_Setoid_44 -> T_Injection_704 -> (AgdaAny -> AgdaAny -> T_Dec_32) -> AgdaAny -> AgdaAny -> T_Dec_32 Source #
du_via'45'injection_120 :: T_Injection_704 -> (AgdaAny -> AgdaAny -> T_Dec_32) -> AgdaAny -> AgdaAny -> T_Dec_32 Source #
d_True'45''8596'_130 :: T_Level_14 -> () -> T_Dec_32 -> (AgdaAny -> AgdaAny -> T__'8801'__12) -> T_Inverse_1052 Source #