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