| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
MAlonzo.Code.Relation.Binary.Reasoning.Setoid
Documentation
d__IsRelatedTo__38 :: p -> p -> p -> p -> p -> () #
d__'8718'_40 :: T_Level_18 -> T_Level_18 -> T_Setoid_44 -> AgdaAny -> T__IsRelatedTo__26 #
du__'8718'_40 :: T_Setoid_44 -> AgdaAny -> T__IsRelatedTo__26 #
d_begin__42 :: T_Level_18 -> T_Level_18 -> T_Setoid_44 -> AgdaAny -> AgdaAny -> T__IsRelatedTo__26 -> AgdaAny #
du_begin__42 :: AgdaAny -> AgdaAny -> T__IsRelatedTo__26 -> AgdaAny #
d_start_46 :: T_Level_18 -> T_Level_18 -> T_Setoid_44 -> AgdaAny -> AgdaAny -> T__IsRelatedTo__26 -> AgdaAny #
du_start_46 :: AgdaAny -> AgdaAny -> T__IsRelatedTo__26 -> AgdaAny #
d_step'45''8801'_50 :: T_Level_18 -> T_Level_18 -> T_Setoid_44 -> AgdaAny -> AgdaAny -> AgdaAny -> T__IsRelatedTo__26 -> T__'8801'__12 -> T__IsRelatedTo__26 #
du_step'45''8801'_50 :: AgdaAny -> AgdaAny -> AgdaAny -> T__IsRelatedTo__26 -> T__'8801'__12 -> T__IsRelatedTo__26 #
d_step'45''8801''45''8739'_52 :: T_Level_18 -> T_Level_18 -> T_Setoid_44 -> AgdaAny -> AgdaAny -> T__IsRelatedTo__26 -> T__IsRelatedTo__26 #
d_step'45''8801''45''10216'_54 :: T_Level_18 -> T_Level_18 -> T_Setoid_44 -> AgdaAny -> AgdaAny -> AgdaAny -> T__IsRelatedTo__26 -> T__'8801'__12 -> T__IsRelatedTo__26 #
du_step'45''8801''45''10216'_54 :: AgdaAny -> AgdaAny -> AgdaAny -> T__IsRelatedTo__26 -> T__'8801'__12 -> T__IsRelatedTo__26 #
d_step'45''8801''45''10217'_56 :: T_Level_18 -> T_Level_18 -> T_Setoid_44 -> AgdaAny -> AgdaAny -> AgdaAny -> T__IsRelatedTo__26 -> T__'8801'__12 -> T__IsRelatedTo__26 #
du_step'45''8801''45''10217'_56 :: AgdaAny -> AgdaAny -> AgdaAny -> T__IsRelatedTo__26 -> T__'8801'__12 -> T__IsRelatedTo__26 #
d_step'45''8801''728'_58 :: T_Level_18 -> T_Level_18 -> T_Setoid_44 -> AgdaAny -> AgdaAny -> AgdaAny -> T__IsRelatedTo__26 -> T__'8801'__12 -> T__IsRelatedTo__26 #
du_step'45''8801''728'_58 :: AgdaAny -> AgdaAny -> AgdaAny -> T__IsRelatedTo__26 -> T__'8801'__12 -> T__IsRelatedTo__26 #
d_stop_60 :: T_Level_18 -> T_Level_18 -> T_Setoid_44 -> AgdaAny -> T__IsRelatedTo__26 #
du_stop_60 :: T_Setoid_44 -> AgdaAny -> T__IsRelatedTo__26 #
d_'8764''45'go_62 :: T_Level_18 -> T_Level_18 -> T_Setoid_44 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> T__IsRelatedTo__26 -> T__IsRelatedTo__26 #
du_'8764''45'go_62 :: T_Setoid_44 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> T__IsRelatedTo__26 -> T__IsRelatedTo__26 #
d_'8801''45'go_64 :: T_Level_18 -> T_Level_18 -> T_Setoid_44 -> AgdaAny -> AgdaAny -> AgdaAny -> T__'8801'__12 -> T__IsRelatedTo__26 -> T__IsRelatedTo__26 #
d_step'45''8776'_72 :: T_Level_18 -> T_Level_18 -> T_Setoid_44 -> AgdaAny -> AgdaAny -> AgdaAny -> T__IsRelatedTo__26 -> AgdaAny -> T__IsRelatedTo__26 #
du_step'45''8776'_72 :: T_Setoid_44 -> AgdaAny -> AgdaAny -> AgdaAny -> T__IsRelatedTo__26 -> AgdaAny -> T__IsRelatedTo__26 #
d_step'45''8776''45''10216'_74 :: T_Level_18 -> T_Level_18 -> T_Setoid_44 -> AgdaAny -> AgdaAny -> AgdaAny -> T__IsRelatedTo__26 -> AgdaAny -> T__IsRelatedTo__26 #
du_step'45''8776''45''10216'_74 :: T_Setoid_44 -> AgdaAny -> AgdaAny -> AgdaAny -> T__IsRelatedTo__26 -> AgdaAny -> T__IsRelatedTo__26 #
d_step'45''8776''45''10217'_76 :: T_Level_18 -> T_Level_18 -> T_Setoid_44 -> AgdaAny -> AgdaAny -> AgdaAny -> T__IsRelatedTo__26 -> AgdaAny -> T__IsRelatedTo__26 #
du_step'45''8776''45''10217'_76 :: T_Setoid_44 -> AgdaAny -> AgdaAny -> AgdaAny -> T__IsRelatedTo__26 -> AgdaAny -> T__IsRelatedTo__26 #
d_step'45''8776''728'_78 :: T_Level_18 -> T_Level_18 -> T_Setoid_44 -> AgdaAny -> AgdaAny -> AgdaAny -> T__IsRelatedTo__26 -> AgdaAny -> T__IsRelatedTo__26 #
du_step'45''8776''728'_78 :: T_Setoid_44 -> AgdaAny -> AgdaAny -> AgdaAny -> T__IsRelatedTo__26 -> AgdaAny -> T__IsRelatedTo__26 #