| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
MAlonzo.Code.Relation.Nullary.Negation.Core
Documentation
d_'172'__24 ∷ T_Level_18 → () → () Source #
d_DoubleNegation_28 ∷ T_Level_18 → () → () Source #
d_Stable_32 ∷ T_Level_18 → () → () Source #
d__'172''45''8846'__36 ∷ T_Level_18 → () → T_Level_18 → () → (AgdaAny → T_Irrelevant_20) → (AgdaAny → T_Irrelevant_20) → T__'8846'__30 → T_Irrelevant_20 Source #
d_contradiction'45'irr_38 ∷ T_Level_18 → () → T_Level_18 → () → AgdaAny → (AgdaAny → T_Irrelevant_20) → AgdaAny Source #
d_contradiction_44 ∷ T_Level_18 → () → T_Level_18 → () → AgdaAny → (AgdaAny → T_Irrelevant_20) → AgdaAny Source #
d_contradiction'8322'_48 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → T__'8846'__30 → (AgdaAny → T_Irrelevant_20) → (AgdaAny → T_Irrelevant_20) → AgdaAny Source #
d_contraposition_62 ∷ T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny) → (AgdaAny → T_Irrelevant_20) → AgdaAny → T_Irrelevant_20 Source #
d_contra'45'diagonal_70 ∷ T_Level_18 → () → (AgdaAny → AgdaAny → T_Irrelevant_20) → AgdaAny → T_Irrelevant_20 Source #
d_stable_76 ∷ T_Level_18 → () → ((((AgdaAny → T_Irrelevant_20) → T_Irrelevant_20) → AgdaAny) → T_Irrelevant_20) → T_Irrelevant_20 Source #
d_negated'45'stable_80 ∷ T_Level_18 → () → (((AgdaAny → T_Irrelevant_20) → T_Irrelevant_20) → T_Irrelevant_20) → AgdaAny → T_Irrelevant_20 Source #
d_'172''172''45'map_86 ∷ T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny) → ((AgdaAny → T_Irrelevant_20) → T_Irrelevant_20) → (AgdaAny → T_Irrelevant_20) → T_Irrelevant_20 Source #