| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
MAlonzo.Code.Data.Product.Function.NonDependent.Setoid
Documentation
d__'215''45''10230'__38 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Setoid_44 → T_Setoid_44 → T_Setoid_44 → T_Setoid_44 → T_Π_16 → T_Π_16 → T_Π_16 Source #
d__'8776'__50 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → 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_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → 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_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → 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_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → 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_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Setoid_44 → T_Setoid_44 → T_Setoid_44 → T_Π_16 → T_Π_16 → T_Π_16 Source #
d_proj'8321''8347'_116 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Setoid_44 → T_Setoid_44 → T_Π_16 Source #
d_proj'8322''8347'_118 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Setoid_44 → T_Setoid_44 → T_Π_16 Source #
d_swap'8347'_120 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Setoid_44 → T_Setoid_44 → T_Π_16 Source #
d__'215''45'equivalence__150 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → 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_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → 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_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Setoid_44 → T_Setoid_44 → T_Setoid_44 → T_Setoid_44 → T_LeftInverse_82 → T_LeftInverse_82 → T_LeftInverse_82 Source #
d_eq_180 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → 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_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Setoid_44 → T_Setoid_44 → T_Setoid_44 → T_Setoid_44 → T_LeftInverse_82 → T_LeftInverse_82 → T_Σ_14 → T_Σ_14 Source #
d__'215''45'surjection__216 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → 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_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → 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_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → 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_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Setoid_44 → T_Setoid_44 → T_Setoid_44 → T_Setoid_44 → T_Inverse_58 → T_Inverse_58 → T_Surjection_54 Source #
d_inv_240 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Setoid_44 → T_Setoid_44 → T_Setoid_44 → T_Setoid_44 → T_Inverse_58 → T_Inverse_58 → T_LeftInverse_82 Source #