| Safe Haskell | None |
|---|
MAlonzo.Code.Relation.Binary.Properties.TotalOrder
Documentation
d__'60'__128 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> AgdaAny -> AgdaAny -> () Source #
d__'8805'__130 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> AgdaAny -> AgdaAny -> () Source #
d__'8816'__132 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> AgdaAny -> AgdaAny -> () Source #
d_asym_134 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> AgdaAny -> AgdaAny -> T_Σ_14 -> T_Σ_14 -> T_'8869'_4 Source #
d_irrefl_136 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> AgdaAny -> AgdaAny -> AgdaAny -> T_Σ_14 -> T_'8869'_4 Source #
d_'60''45'isStrictPartialOrder_138 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> T_IsStrictPartialOrder_266 Source #
d_'60''45'resp'45''8776'_140 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> T_Σ_14 Source #
d_'60''45'resp'691''45''8776'_142 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> T_Σ_14 -> T_Σ_14 Source #
du_'60''45'resp'691''45''8776'_142 :: T_TotalOrder_648 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> T_Σ_14 -> T_Σ_14 Source #
d_'60''45'resp'737''45''8776'_144 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> T_Σ_14 -> T_Σ_14 Source #
du_'60''45'resp'737''45''8776'_144 :: T_TotalOrder_648 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> T_Σ_14 -> T_Σ_14 Source #
d_'60''45'strictPartialOrder_146 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> T_StrictPartialOrder_472 Source #
d_trans_148 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> AgdaAny -> AgdaAny -> AgdaAny -> T_Σ_14 -> T_Σ_14 -> T_Σ_14 Source #
du_trans_148 :: T_TotalOrder_648 -> AgdaAny -> AgdaAny -> AgdaAny -> T_Σ_14 -> T_Σ_14 -> T_Σ_14 Source #
d_'60''8658''8777'_150 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> AgdaAny -> AgdaAny -> T_Σ_14 -> AgdaAny -> T_'8869'_4 Source #
d_'60''8658''8817'_152 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> AgdaAny -> AgdaAny -> T_Σ_14 -> AgdaAny -> T_'8869'_4 Source #
d_'8804''8658''8815'_164 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> AgdaAny -> AgdaAny -> AgdaAny -> T_Σ_14 -> T_'8869'_4 Source #
d_'8804''8743''8777''8658''60'_166 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> AgdaAny -> AgdaAny -> AgdaAny -> (AgdaAny -> T_'8869'_4) -> T_Σ_14 Source #
du_'8804''8743''8777''8658''60'_166 :: AgdaAny -> AgdaAny -> AgdaAny -> (AgdaAny -> T_'8869'_4) -> T_Σ_14 Source #
d_antisym_168 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_antisym_168 :: T_TotalOrder_648 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_'8805''45'isPartialOrder_170 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> T_IsPartialOrder_162 Source #
d_invIsPreorder_172 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> T_IsPreorder_70 Source #
d_'8805''45'poset_174 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> T_Poset_282 Source #
d_invPreorder_176 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> T_Preorder_132 Source #
d_refl_178 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> AgdaAny -> AgdaAny Source #
du_refl_178 :: T_TotalOrder_648 -> AgdaAny -> AgdaAny Source #
d_reflexive_180 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_reflexive_180 :: T_TotalOrder_648 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_trans_182 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_trans_182 :: T_TotalOrder_648 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_'8816''45'resp'691''45''8776'_184 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> (AgdaAny -> T_'8869'_4) -> AgdaAny -> T_'8869'_4 Source #
d_'8816''45'resp'737''45''8776'_186 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> (AgdaAny -> T_'8869'_4) -> AgdaAny -> T_'8869'_4 Source #
d_decTotalOrder_188 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> (AgdaAny -> AgdaAny -> T_Dec_32) -> T_DecTotalOrder_736 Source #
du_decTotalOrder_188 :: T_TotalOrder_648 -> (AgdaAny -> AgdaAny -> T_Dec_32) -> T_DecTotalOrder_736 Source #
d_'8805''45'isTotalOrder_192 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> T_IsTotalOrder_380 Source #
d_'8805''45'totalOrder_194 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> T_TotalOrder_648 Source #
d_total_198 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> AgdaAny -> AgdaAny -> T__'8846'__30 Source #
du_total_198 :: T_TotalOrder_648 -> AgdaAny -> AgdaAny -> T__'8846'__30 Source #
d_'8816''8658''62'_204 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> AgdaAny -> AgdaAny -> (AgdaAny -> T_'8869'_4) -> T_Σ_14 Source #
du_'8816''8658''62'_204 :: T_TotalOrder_648 -> AgdaAny -> AgdaAny -> (AgdaAny -> T_'8869'_4) -> T_Σ_14 Source #
d_'8816''8658''8805'_210 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> AgdaAny -> AgdaAny -> (AgdaAny -> T_'8869'_4) -> AgdaAny Source #
du_'8816''8658''8805'_210 :: T_TotalOrder_648 -> AgdaAny -> AgdaAny -> AgdaAny Source #