| Safe Haskell | None |
|---|
MAlonzo.Code.Data.Product.Function.NonDependent.Setoid
Documentation
d__'215''45''10230'__38 :: 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'__50 :: 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_Σ_14 -> T_Σ_14 -> () Source #
d__'8776'__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_Σ_14 -> T_Σ_14 -> () Source #
d_fg_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_Σ_14 -> T_Σ_14 Source #
d_fg'45'cong_62 :: 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_Σ_14 -> T_Σ_14 -> T_Σ_14 -> T_Σ_14 Source #
d_'60'_'44'_'62''8347'_90 :: 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_Π_16 -> T_Π_16 -> T_Π_16 Source #
d_proj'8321''8347'_116 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Setoid_44 -> T_Setoid_44 -> T_Π_16 Source #
d_proj'8322''8347'_118 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Setoid_44 -> T_Setoid_44 -> 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__'215''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__'215''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__'215''45'left'45'inverse__170 :: 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__'215''45'left'45'inverse__170 :: T_LeftInverse_82 -> T_LeftInverse_82 -> T_LeftInverse_82 Source #
d_eq_180 :: 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_left_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_LeftInverse_82 -> T_LeftInverse_82 -> T_Σ_14 -> T_Σ_14 Source #
du_left_182 :: T_LeftInverse_82 -> T_LeftInverse_82 -> T_Σ_14 -> T_Σ_14 Source #
d__'215''45'surjection__216 :: 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_226 :: 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__'215''45'inverse__228 :: 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__'215''45'inverse__228 :: T_Setoid_44 -> T_Setoid_44 -> T_Inverse_58 -> T_Inverse_58 -> T_Inverse_58 Source #
d_surj_238 :: 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_238 :: T_Setoid_44 -> T_Setoid_44 -> T_Inverse_58 -> T_Inverse_58 -> T_Surjection_54 Source #
d_inv_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_Inverse_58 -> T_Inverse_58 -> T_LeftInverse_82 Source #