| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
MAlonzo.Code.Data.Product.Function.NonDependent.Setoid
Documentation
d_proj'8321''8347'_38 ∷ T_Level_18 → T_Level_18 → T_Setoid_46 → T_Level_18 → T_Level_18 → T_Setoid_46 → T_Func_774 Source #
d_proj'8322''8347'_40 ∷ T_Level_18 → T_Level_18 → T_Setoid_46 → T_Level_18 → T_Level_18 → T_Setoid_46 → T_Func_774 Source #
d_'60'_'44'_'62''8347'_42 ∷ T_Level_18 → T_Level_18 → T_Setoid_46 → T_Level_18 → T_Level_18 → T_Setoid_46 → T_Level_18 → T_Level_18 → T_Setoid_46 → T_Func_774 → T_Func_774 → T_Func_774 Source #
d_swap'8347'_52 ∷ T_Level_18 → T_Level_18 → T_Setoid_46 → T_Level_18 → T_Level_18 → T_Setoid_46 → T_Func_774 Source #
d__'215''45'function__54 ∷ T_Level_18 → T_Level_18 → T_Setoid_46 → T_Level_18 → T_Level_18 → T_Setoid_46 → T_Level_18 → T_Level_18 → T_Setoid_46 → T_Level_18 → T_Level_18 → T_Setoid_46 → T_Func_774 → T_Func_774 → T_Func_774 Source #
d__'215''45'equivalence__64 ∷ T_Level_18 → T_Level_18 → T_Setoid_46 → T_Level_18 → T_Level_18 → T_Setoid_46 → T_Level_18 → T_Level_18 → T_Setoid_46 → T_Level_18 → T_Level_18 → T_Setoid_46 → T_Equivalence_1858 → T_Equivalence_1858 → T_Equivalence_1858 Source #
du__'215''45'equivalence__64 ∷ T_Equivalence_1858 → T_Equivalence_1858 → T_Equivalence_1858 Source #
d__'215''45'injection__74 ∷ T_Level_18 → T_Level_18 → T_Setoid_46 → T_Level_18 → T_Level_18 → T_Setoid_46 → T_Level_18 → T_Level_18 → T_Setoid_46 → T_Level_18 → T_Level_18 → T_Setoid_46 → T_Injection_842 → T_Injection_842 → T_Injection_842 Source #
d__'215''45'surjection__84 ∷ T_Level_18 → T_Level_18 → T_Setoid_46 → T_Level_18 → T_Level_18 → T_Setoid_46 → T_Level_18 → T_Level_18 → T_Setoid_46 → T_Level_18 → T_Level_18 → T_Setoid_46 → T_Surjection_918 → T_Surjection_918 → T_Surjection_918 Source #
d__'215''45'bijection__102 ∷ T_Level_18 → T_Level_18 → T_Setoid_46 → T_Level_18 → T_Level_18 → T_Setoid_46 → T_Level_18 → T_Level_18 → T_Setoid_46 → T_Level_18 → T_Level_18 → T_Setoid_46 → T_Bijection_1004 → T_Bijection_1004 → T_Bijection_1004 Source #
d__'215''45'leftInverse__128 ∷ T_Level_18 → T_Level_18 → T_Setoid_46 → T_Level_18 → T_Level_18 → T_Setoid_46 → T_Level_18 → T_Level_18 → T_Setoid_46 → T_Level_18 → T_Level_18 → T_Setoid_46 → T_LeftInverse_1942 → T_LeftInverse_1942 → T_LeftInverse_1942 Source #
du__'215''45'leftInverse__128 ∷ T_LeftInverse_1942 → T_LeftInverse_1942 → T_LeftInverse_1942 Source #
d__'215''45'rightInverse__140 ∷ T_Level_18 → T_Level_18 → T_Setoid_46 → T_Level_18 → T_Level_18 → T_Setoid_46 → T_Level_18 → T_Level_18 → T_Setoid_46 → T_Level_18 → T_Level_18 → T_Setoid_46 → T_RightInverse_2036 → T_RightInverse_2036 → T_RightInverse_2036 Source #
du__'215''45'rightInverse__140 ∷ T_RightInverse_2036 → T_RightInverse_2036 → T_RightInverse_2036 Source #