| Safe Haskell | None |
|---|
MAlonzo.Code.Relation.Binary.Properties.Poset
Documentation
d__'8777'__50 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Poset_282 -> AgdaAny -> AgdaAny -> () Source #
d_invIsPreorder_120 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Poset_282 -> T_IsPreorder_70 Source #
d_invPreorder_122 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Poset_282 -> T_Preorder_132 Source #
d__'8805'__124 :: T_Poset_282 -> AgdaAny -> AgdaAny -> () Source #
d_'8805''45'isPartialOrder_130 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Poset_282 -> T_IsPartialOrder_162 Source #
d_'8805''45'poset_132 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Poset_282 -> T_Poset_282 Source #
d_antisym_136 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Poset_282 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_antisym_136 :: T_Poset_282 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_refl_138 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Poset_282 -> AgdaAny -> AgdaAny Source #
du_refl_138 :: T_Poset_282 -> AgdaAny -> AgdaAny Source #
d_reflexive_140 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Poset_282 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_reflexive_140 :: T_Poset_282 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_trans_142 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Poset_282 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_trans_142 :: T_Poset_282 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d__'8816'__144 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Poset_282 -> AgdaAny -> AgdaAny -> () Source #
d_'8816''45'resp'737''45''8776'_150 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Poset_282 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> (AgdaAny -> T_'8869'_4) -> AgdaAny -> T_'8869'_4 Source #
d_'8816''45'resp'691''45''8776'_156 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Poset_282 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> (AgdaAny -> T_'8869'_4) -> AgdaAny -> T_'8869'_4 Source #
d__'60'__162 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Poset_282 -> AgdaAny -> AgdaAny -> () Source #
d_'60''45'isStrictPartialOrder_164 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Poset_282 -> T_IsStrictPartialOrder_266 Source #
d_'60''45'strictPartialOrder_166 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Poset_282 -> T_StrictPartialOrder_472 Source #
d_asym_170 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Poset_282 -> AgdaAny -> AgdaAny -> T_Σ_14 -> T_Σ_14 -> T_'8869'_4 Source #
d_irrefl_172 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Poset_282 -> AgdaAny -> AgdaAny -> AgdaAny -> T_Σ_14 -> T_'8869'_4 Source #
d_'60''45'resp'45''8776'_174 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Poset_282 -> T_Σ_14 Source #
d_'60''45'resp'691''45''8776'_176 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Poset_282 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> T_Σ_14 -> T_Σ_14 Source #
du_'60''45'resp'691''45''8776'_176 :: T_Poset_282 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> T_Σ_14 -> T_Σ_14 Source #
d_'60''45'resp'737''45''8776'_178 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Poset_282 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> T_Σ_14 -> T_Σ_14 Source #
du_'60''45'resp'737''45''8776'_178 :: T_Poset_282 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> T_Σ_14 -> T_Σ_14 Source #
d_trans_180 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Poset_282 -> AgdaAny -> AgdaAny -> AgdaAny -> T_Σ_14 -> T_Σ_14 -> T_Σ_14 Source #
du_trans_180 :: T_Poset_282 -> AgdaAny -> AgdaAny -> AgdaAny -> T_Σ_14 -> T_Σ_14 -> T_Σ_14 Source #
d_'60''8658''8777'_186 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Poset_282 -> AgdaAny -> AgdaAny -> T_Σ_14 -> AgdaAny -> T_'8869'_4 Source #
d_'8804''8743''8777''8658''60'_192 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Poset_282 -> AgdaAny -> AgdaAny -> AgdaAny -> (AgdaAny -> T_'8869'_4) -> T_Σ_14 Source #
du_'8804''8743''8777''8658''60'_192 :: AgdaAny -> (AgdaAny -> T_'8869'_4) -> T_Σ_14 Source #
d_'60''8658''8817'_198 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Poset_282 -> AgdaAny -> AgdaAny -> T_Σ_14 -> AgdaAny -> T_'8869'_4 Source #
d_'8804''8658''8815'_204 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Poset_282 -> AgdaAny -> AgdaAny -> AgdaAny -> T_Σ_14 -> T_'8869'_4 Source #
d_mono'8658'cong_208 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Poset_282 -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_mono'8658'cong_208 :: T_Poset_282 -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_antimono'8658'cong_212 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Poset_282 -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_antimono'8658'cong_212 :: T_Poset_282 -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_invIsPartialOrder_214 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Poset_282 -> T_IsPartialOrder_162 Source #
d_invPoset_216 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Poset_282 -> T_Poset_282 Source #