| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
MAlonzo.Code.Relation.Nullary.Negation.Core
Documentation
d_contradiction_24 ∷ T_Level_18 → () → T_Level_18 → () → AgdaAny → (AgdaAny → T_'8869'_4) → AgdaAny Source #
d_contradiction'8322'_30 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → T__'8846'__30 → (AgdaAny → T_'8869'_4) → (AgdaAny → T_'8869'_4) → AgdaAny Source #
d_contraposition_44 ∷ T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny) → (AgdaAny → T_'8869'_4) → AgdaAny → T_'8869'_4 Source #
d_'172''45'reflects_56 ∷ T_Level_18 → () → Bool → T_Reflects_14 → T_Reflects_14 Source #
d_'172''63'_64 ∷ T_Level_18 → () → T_Dec_32 → T_Dec_32 Source #
d_'8707''10230''172''8704''172'_82 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → T_Σ_14 → (AgdaAny → AgdaAny → T_'8869'_4) → T_'8869'_4 Source #
d_'8704''10230''172''8707''172'_88 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → (AgdaAny → AgdaAny) → T_Σ_14 → T_'8869'_4 Source #
d_'172''8707''10230''8704''172'_100 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → (T_Σ_14 → T_'8869'_4) → AgdaAny → AgdaAny → T_'8869'_4 Source #
d_'8704''172''10230''172''8707'_106 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → (AgdaAny → AgdaAny → T_'8869'_4) → T_Σ_14 → T_'8869'_4 Source #
d_'8707''172''10230''172''8704'_112 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → T_Σ_14 → (AgdaAny → AgdaAny) → T_'8869'_4 Source #
d_'172''172''45'map_114 ∷ T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny) → ((AgdaAny → T_'8869'_4) → T_'8869'_4) → (AgdaAny → T_'8869'_4) → T_'8869'_4 Source #
d_Stable_118 ∷ T_Level_18 → () → () Source #
d_stable_122 ∷ T_Level_18 → () → ((((AgdaAny → T_'8869'_4) → T_'8869'_4) → AgdaAny) → T_'8869'_4) → T_'8869'_4 Source #
d_negated'45'stable_128 ∷ T_Level_18 → () → (((AgdaAny → T_'8869'_4) → T_'8869'_4) → T_'8869'_4) → AgdaAny → T_'8869'_4 Source #