| Safe Haskell | None |
|---|
MAlonzo.Code.Algebra.Consequences.Propositional
Documentation
d__DistributesOver'691'__16 :: T_Level_14 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> () Source #
d__DistributesOver'737'__18 :: T_Level_14 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> () Source #
d_Associative_30 :: T_Level_14 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> () Source #
d_Commutative_34 :: T_Level_14 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> () Source #
d_Idempotent_42 :: T_Level_14 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> () Source #
d_Identity_46 :: T_Level_14 -> () -> AgdaAny -> (AgdaAny -> AgdaAny -> AgdaAny) -> () Source #
d_LeftInverse_68 :: T_Level_14 -> () -> AgdaAny -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> () Source #
d_LeftZero_70 :: T_Level_14 -> () -> AgdaAny -> (AgdaAny -> AgdaAny -> AgdaAny) -> () Source #
d_RightIdentity_84 :: T_Level_14 -> () -> AgdaAny -> (AgdaAny -> AgdaAny -> AgdaAny) -> () Source #
d_RightInverse_86 :: T_Level_14 -> () -> AgdaAny -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> () Source #
d_RightZero_88 :: T_Level_14 -> () -> AgdaAny -> (AgdaAny -> AgdaAny -> AgdaAny) -> () Source #
d_Selective_90 :: T_Level_14 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> () Source #
d_comm'43'almostCancel'691''8658'almostCancel'737'_104 :: T_Level_14 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> T__'8801'__12) -> AgdaAny -> (AgdaAny -> AgdaAny -> AgdaAny -> (T__'8801'__12 -> T_'8869'_4) -> T__'8801'__12 -> T__'8801'__12) -> AgdaAny -> AgdaAny -> AgdaAny -> (T__'8801'__12 -> T_'8869'_4) -> T__'8801'__12 -> T__'8801'__12 Source #
d_comm'43'almostCancel'737''8658'almostCancel'691'_106 :: T_Level_14 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> T__'8801'__12) -> AgdaAny -> (AgdaAny -> AgdaAny -> AgdaAny -> (T__'8801'__12 -> T_'8869'_4) -> T__'8801'__12 -> T__'8801'__12) -> AgdaAny -> AgdaAny -> AgdaAny -> (T__'8801'__12 -> T_'8869'_4) -> T__'8801'__12 -> T__'8801'__12 Source #
d_comm'43'cancel'691''8658'cancel'737'_108 :: T_Level_14 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> T__'8801'__12) -> (AgdaAny -> AgdaAny -> AgdaAny -> T__'8801'__12 -> T__'8801'__12) -> AgdaAny -> AgdaAny -> AgdaAny -> T__'8801'__12 -> T__'8801'__12 Source #
d_comm'43'cancel'737''8658'cancel'691'_110 :: T_Level_14 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> T__'8801'__12) -> (AgdaAny -> AgdaAny -> AgdaAny -> T__'8801'__12 -> T__'8801'__12) -> AgdaAny -> AgdaAny -> AgdaAny -> T__'8801'__12 -> T__'8801'__12 Source #
d_comm'43'distr'691''8658'distr_112 :: T_Level_14 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> T__'8801'__12 -> T__'8801'__12 -> T__'8801'__12) -> (AgdaAny -> AgdaAny -> T__'8801'__12) -> (AgdaAny -> AgdaAny -> AgdaAny -> T__'8801'__12) -> T_Σ_14 Source #
du_comm'43'distr'691''8658'distr_112 :: (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> T__'8801'__12 -> T__'8801'__12 -> T__'8801'__12) -> (AgdaAny -> AgdaAny -> T__'8801'__12) -> (AgdaAny -> AgdaAny -> AgdaAny -> T__'8801'__12) -> T_Σ_14 Source #
d_comm'43'distr'737''8658'distr_116 :: T_Level_14 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> T__'8801'__12 -> T__'8801'__12 -> T__'8801'__12) -> (AgdaAny -> AgdaAny -> T__'8801'__12) -> (AgdaAny -> AgdaAny -> AgdaAny -> T__'8801'__12) -> T_Σ_14 Source #
du_comm'43'distr'737''8658'distr_116 :: (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> T__'8801'__12 -> T__'8801'__12 -> T__'8801'__12) -> (AgdaAny -> AgdaAny -> T__'8801'__12) -> (AgdaAny -> AgdaAny -> AgdaAny -> T__'8801'__12) -> T_Σ_14 Source #
d_comm'43'id'691''8658'id_120 :: T_Level_14 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> T__'8801'__12) -> AgdaAny -> (AgdaAny -> T__'8801'__12) -> T_Σ_14 Source #
du_comm'43'id'691''8658'id_120 :: (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> T__'8801'__12) -> AgdaAny -> (AgdaAny -> T__'8801'__12) -> T_Σ_14 Source #
d_comm'43'id'691''8658'id'737'_122 :: T_Level_14 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> T__'8801'__12) -> AgdaAny -> (AgdaAny -> T__'8801'__12) -> AgdaAny -> T__'8801'__12 Source #
d_comm'43'id'737''8658'id_124 :: T_Level_14 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> T__'8801'__12) -> AgdaAny -> (AgdaAny -> T__'8801'__12) -> T_Σ_14 Source #
du_comm'43'id'737''8658'id_124 :: (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> T__'8801'__12) -> AgdaAny -> (AgdaAny -> T__'8801'__12) -> T_Σ_14 Source #
d_comm'43'id'737''8658'id'691'_126 :: T_Level_14 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> T__'8801'__12) -> AgdaAny -> (AgdaAny -> T__'8801'__12) -> AgdaAny -> T__'8801'__12 Source #
d_comm'43'inv'691''8658'inv_128 :: T_Level_14 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> AgdaAny -> (AgdaAny -> AgdaAny -> T__'8801'__12) -> (AgdaAny -> T__'8801'__12) -> T_Σ_14 Source #
du_comm'43'inv'691''8658'inv_128 :: (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> AgdaAny -> (AgdaAny -> AgdaAny -> T__'8801'__12) -> (AgdaAny -> T__'8801'__12) -> T_Σ_14 Source #
d_comm'43'inv'691''8658'inv'737'_130 :: T_Level_14 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> AgdaAny -> (AgdaAny -> AgdaAny -> T__'8801'__12) -> (AgdaAny -> T__'8801'__12) -> AgdaAny -> T__'8801'__12 Source #
d_comm'43'inv'737''8658'inv_132 :: T_Level_14 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> AgdaAny -> (AgdaAny -> AgdaAny -> T__'8801'__12) -> (AgdaAny -> T__'8801'__12) -> T_Σ_14 Source #
du_comm'43'inv'737''8658'inv_132 :: (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> AgdaAny -> (AgdaAny -> AgdaAny -> T__'8801'__12) -> (AgdaAny -> T__'8801'__12) -> T_Σ_14 Source #
d_comm'43'inv'737''8658'inv'691'_134 :: T_Level_14 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> AgdaAny -> (AgdaAny -> AgdaAny -> T__'8801'__12) -> (AgdaAny -> T__'8801'__12) -> AgdaAny -> T__'8801'__12 Source #
d_comm'43'ze'691''8658'ze_136 :: T_Level_14 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> T__'8801'__12) -> AgdaAny -> (AgdaAny -> T__'8801'__12) -> T_Σ_14 Source #
du_comm'43'ze'691''8658'ze_136 :: (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> T__'8801'__12) -> AgdaAny -> (AgdaAny -> T__'8801'__12) -> T_Σ_14 Source #
d_comm'43'ze'691''8658'ze'737'_138 :: T_Level_14 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> T__'8801'__12) -> AgdaAny -> (AgdaAny -> T__'8801'__12) -> AgdaAny -> T__'8801'__12 Source #
d_comm'43'ze'737''8658'ze_140 :: T_Level_14 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> T__'8801'__12) -> AgdaAny -> (AgdaAny -> T__'8801'__12) -> T_Σ_14 Source #
du_comm'43'ze'737''8658'ze_140 :: (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> T__'8801'__12) -> AgdaAny -> (AgdaAny -> T__'8801'__12) -> T_Σ_14 Source #
d_comm'43'ze'737''8658'ze'691'_142 :: T_Level_14 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> T__'8801'__12) -> AgdaAny -> (AgdaAny -> T__'8801'__12) -> AgdaAny -> T__'8801'__12 Source #
d_distrib'43'absorbs'8658'distrib'737'_146 :: T_Level_14 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> T__'8801'__12 -> T__'8801'__12 -> T__'8801'__12) -> (AgdaAny -> AgdaAny -> AgdaAny -> T__'8801'__12) -> (AgdaAny -> AgdaAny -> T__'8801'__12) -> (AgdaAny -> AgdaAny -> T__'8801'__12) -> (AgdaAny -> AgdaAny -> T__'8801'__12) -> T_Σ_14 -> AgdaAny -> AgdaAny -> AgdaAny -> T__'8801'__12 Source #
d_assoc'43'id'43'inv'691''8658'inv'737''45'unique_170 :: T_Level_14 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> AgdaAny -> (AgdaAny -> AgdaAny -> AgdaAny -> T__'8801'__12) -> T_Σ_14 -> (AgdaAny -> T__'8801'__12) -> AgdaAny -> AgdaAny -> T__'8801'__12 -> T__'8801'__12 Source #
d_assoc'43'id'43'inv'737''8658'inv'691''45'unique_176 :: T_Level_14 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> AgdaAny -> (AgdaAny -> AgdaAny -> AgdaAny -> T__'8801'__12) -> T_Σ_14 -> (AgdaAny -> T__'8801'__12) -> AgdaAny -> AgdaAny -> T__'8801'__12 -> T__'8801'__12 Source #
d_assoc'43'distrib'691''43'id'691''43'inv'691''8658'ze'737'_190 :: T_Level_14 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> AgdaAny -> (AgdaAny -> AgdaAny -> AgdaAny -> T__'8801'__12) -> (AgdaAny -> AgdaAny -> AgdaAny -> T__'8801'__12) -> (AgdaAny -> T__'8801'__12) -> (AgdaAny -> T__'8801'__12) -> AgdaAny -> T__'8801'__12 Source #
d_assoc'43'distrib'737''43'id'691''43'inv'691''8658'ze'691'_192 :: T_Level_14 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> AgdaAny -> (AgdaAny -> AgdaAny -> AgdaAny -> T__'8801'__12) -> (AgdaAny -> AgdaAny -> AgdaAny -> T__'8801'__12) -> (AgdaAny -> T__'8801'__12) -> (AgdaAny -> T__'8801'__12) -> AgdaAny -> T__'8801'__12 Source #
d_comm'43'distr'737''8658'distr'691'_204 :: T_Level_14 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> T__'8801'__12) -> (AgdaAny -> AgdaAny -> AgdaAny -> T__'8801'__12) -> AgdaAny -> AgdaAny -> AgdaAny -> T__'8801'__12 Source #
d_comm'43'distr'691''8658'distr'737'_206 :: T_Level_14 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> T__'8801'__12) -> (AgdaAny -> AgdaAny -> AgdaAny -> T__'8801'__12) -> AgdaAny -> AgdaAny -> AgdaAny -> T__'8801'__12 Source #
d_comm'8658'sym'91'distrib'737''93'_214 :: T_Level_14 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> T__'8801'__12) -> AgdaAny -> AgdaAny -> AgdaAny -> T__'8801'__12 -> T__'8801'__12 Source #
d_sel'8658'idem_222 :: T_Level_14 -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> T__'8846'__30) -> AgdaAny -> T__'8801'__12 Source #
d_subst'43'comm'8658'sym_240 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> T__'8801'__12) -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_wlog_258 :: T_Level_14 -> () -> T_Level_14 -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> T__'8801'__12) -> T_Level_14 -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> T__'8846'__30) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny Source #