| Safe Haskell | None |
|---|
MAlonzo.Code.Data.Sum.Function.Setoid
Documentation
d__'8846''45''10230'__36 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Setoid_44 -> T_Setoid_44 -> T_Setoid_44 -> T_Setoid_44 -> T_Π_16 -> T_Π_16 -> T_Π_16 Source #
d__'8776'__48 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Setoid_44 -> T_Setoid_44 -> T_Setoid_44 -> T_Setoid_44 -> T_Π_16 -> T_Π_16 -> T__'8846'__30 -> T__'8846'__30 -> () Source #
d__'8776'__52 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Setoid_44 -> T_Setoid_44 -> T_Setoid_44 -> T_Setoid_44 -> T_Π_16 -> T_Π_16 -> T__'8846'__30 -> T__'8846'__30 -> () Source #
d_fg_54 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Setoid_44 -> T_Setoid_44 -> T_Setoid_44 -> T_Setoid_44 -> T_Π_16 -> T_Π_16 -> T__'8846'__30 -> T__'8846'__30 Source #
du_fg_54 :: T_Π_16 -> T_Π_16 -> T__'8846'__30 -> T__'8846'__30 Source #
d_fg'45'cong_56 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Setoid_44 -> T_Setoid_44 -> T_Setoid_44 -> T_Setoid_44 -> T_Π_16 -> T_Π_16 -> T__'8846'__30 -> T__'8846'__30 -> T_Pointwise_34 -> T_Pointwise_34 Source #
du_fg'45'cong_56 :: T_Π_16 -> T_Π_16 -> T__'8846'__30 -> T__'8846'__30 -> T_Pointwise_34 -> T_Pointwise_34 Source #
d_inj'8321''8347'_78 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Setoid_44 -> T_Setoid_44 -> T_Π_16 Source #
d_inj'8322''8347'_80 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Setoid_44 -> T_Setoid_44 -> T_Π_16 Source #
d_'91'_'44'_'93''8347'_88 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Setoid_44 -> T_Setoid_44 -> T_Level_14 -> T_Level_14 -> T_Setoid_44 -> T_Π_16 -> T_Π_16 -> T_Π_16 Source #
d_swap'8347'_120 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Setoid_44 -> T_Setoid_44 -> T_Π_16 Source #
d__'8846''45'equivalence__150 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Setoid_44 -> T_Setoid_44 -> T_Setoid_44 -> T_Setoid_44 -> T_Equivalence_16 -> T_Equivalence_16 -> T_Equivalence_16 Source #
d__'8846''45'injection__160 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Setoid_44 -> T_Setoid_44 -> T_Setoid_44 -> T_Setoid_44 -> T_Injection_88 -> T_Injection_88 -> T_Injection_88 Source #
d__'8776'__172 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Setoid_44 -> T_Setoid_44 -> T_Setoid_44 -> T_Setoid_44 -> T_Injection_88 -> T_Injection_88 -> T__'8846'__30 -> T__'8846'__30 -> () Source #
d__'8776'__176 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Setoid_44 -> T_Setoid_44 -> T_Setoid_44 -> T_Setoid_44 -> T_Injection_88 -> T_Injection_88 -> T__'8846'__30 -> T__'8846'__30 -> () Source #
d_inj_182 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Setoid_44 -> T_Setoid_44 -> T_Setoid_44 -> T_Setoid_44 -> T_Injection_88 -> T_Injection_88 -> T__'8846'__30 -> T__'8846'__30 -> T_Pointwise_34 -> T_Pointwise_34 Source #
du_inj_182 :: T_Injection_88 -> T_Injection_88 -> T__'8846'__30 -> T__'8846'__30 -> T_Pointwise_34 -> T_Pointwise_34 Source #
d__'8846''45'left'45'inverse__196 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Setoid_44 -> T_Setoid_44 -> T_Setoid_44 -> T_Setoid_44 -> T_LeftInverse_82 -> T_LeftInverse_82 -> T_LeftInverse_82 Source #
du__'8846''45'left'45'inverse__196 :: T_LeftInverse_82 -> T_LeftInverse_82 -> T_LeftInverse_82 Source #
d_eq_206 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Setoid_44 -> T_Setoid_44 -> T_Setoid_44 -> T_Setoid_44 -> T_LeftInverse_82 -> T_LeftInverse_82 -> T_Equivalence_16 Source #
d__'8846''45'surjection__240 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Setoid_44 -> T_Setoid_44 -> T_Setoid_44 -> T_Setoid_44 -> T_Surjection_54 -> T_Surjection_54 -> T_Surjection_54 Source #
d_inv_250 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Setoid_44 -> T_Setoid_44 -> T_Setoid_44 -> T_Setoid_44 -> T_Surjection_54 -> T_Surjection_54 -> T_LeftInverse_82 Source #
d__'8846''45'inverse__252 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Setoid_44 -> T_Setoid_44 -> T_Setoid_44 -> T_Setoid_44 -> T_Inverse_58 -> T_Inverse_58 -> T_Inverse_58 Source #
du__'8846''45'inverse__252 :: T_Setoid_44 -> T_Setoid_44 -> T_Inverse_58 -> T_Inverse_58 -> T_Inverse_58 Source #
d_surj_262 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Setoid_44 -> T_Setoid_44 -> T_Setoid_44 -> T_Setoid_44 -> T_Inverse_58 -> T_Inverse_58 -> T_Surjection_54 Source #
du_surj_262 :: T_Setoid_44 -> T_Setoid_44 -> T_Inverse_58 -> T_Inverse_58 -> T_Surjection_54 Source #
d_inv_264 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Setoid_44 -> T_Setoid_44 -> T_Setoid_44 -> T_Setoid_44 -> T_Inverse_58 -> T_Inverse_58 -> T_LeftInverse_82 Source #