| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
MAlonzo.Code.Data.Sum.Function.Setoid
Documentation
d__'8846''45''10230'__36 ∷ 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'__48 ∷ 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__'8846'__30 → T__'8846'__30 → () Source #
d__'8776'__52 ∷ 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__'8846'__30 → T__'8846'__30 → () Source #
d_fg_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__'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_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__'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_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Setoid_44 → T_Setoid_44 → T_Π_16 Source #
d_inj'8322''8347'_80 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Setoid_44 → T_Setoid_44 → T_Π_16 Source #
d_'91'_'44'_'93''8347'_88 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Setoid_44 → T_Setoid_44 → T_Level_18 → T_Level_18 → T_Setoid_44 → T_Π_16 → T_Π_16 → T_Π_16 Source #
d_'46'extendedlambda0_98 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Setoid_44 → T_Setoid_44 → T_Level_18 → T_Level_18 → T_Setoid_44 → T_Π_16 → T_Π_16 → T__'8846'__30 → T__'8846'__30 → T_Pointwise_34 → AgdaAny Source #
du_'46'extendedlambda0_98 ∷ T_Π_16 → T_Π_16 → T__'8846'__30 → T__'8846'__30 → T_Pointwise_34 → AgdaAny 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__'8846''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__'8846''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__'8776'__172 ∷ 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__'8846'__30 → T__'8846'__30 → () Source #
d__'8776'__176 ∷ 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__'8846'__30 → T__'8846'__30 → () Source #
d_inj_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_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_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 #
du__'8846''45'left'45'inverse__196 ∷ T_LeftInverse_82 → T_LeftInverse_82 → T_LeftInverse_82 Source #
d_eq_206 ∷ 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__'8846''45'surjection__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_Surjection_54 → T_Surjection_54 → T_Surjection_54 Source #
d_inv_250 ∷ 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__'8846''45'inverse__252 ∷ 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__'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_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_264 ∷ 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 #