| Safe Haskell | None |
|---|
MAlonzo.Code.Relation.Binary.Properties.DecTotalOrder
Documentation
d__'60'__142 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_DecTotalOrder_736 -> AgdaAny -> AgdaAny -> () Source #
d__'8805'__144 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_DecTotalOrder_736 -> AgdaAny -> AgdaAny -> () Source #
d__'8816'__146 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_DecTotalOrder_736 -> AgdaAny -> AgdaAny -> () Source #
d_asym_148 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_DecTotalOrder_736 -> AgdaAny -> AgdaAny -> T_Σ_14 -> T_Σ_14 -> T_'8869'_4 Source #
d_irrefl_150 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_DecTotalOrder_736 -> AgdaAny -> AgdaAny -> AgdaAny -> T_Σ_14 -> T_'8869'_4 Source #
d_'60''45'isStrictPartialOrder_152 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_DecTotalOrder_736 -> T_IsStrictPartialOrder_266 Source #
d_'60''45'resp'45''8776'_154 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_DecTotalOrder_736 -> T_Σ_14 Source #
d_'60''45'resp'691''45''8776'_156 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_DecTotalOrder_736 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> T_Σ_14 -> T_Σ_14 Source #
du_'60''45'resp'691''45''8776'_156 :: T_DecTotalOrder_736 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> T_Σ_14 -> T_Σ_14 Source #
d_'60''45'resp'737''45''8776'_158 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_DecTotalOrder_736 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> T_Σ_14 -> T_Σ_14 Source #
du_'60''45'resp'737''45''8776'_158 :: T_DecTotalOrder_736 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> T_Σ_14 -> T_Σ_14 Source #
d_'60''45'strictPartialOrder_160 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_DecTotalOrder_736 -> T_StrictPartialOrder_472 Source #
d_trans_162 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_DecTotalOrder_736 -> AgdaAny -> AgdaAny -> AgdaAny -> T_Σ_14 -> T_Σ_14 -> T_Σ_14 Source #
du_trans_162 :: T_DecTotalOrder_736 -> AgdaAny -> AgdaAny -> AgdaAny -> T_Σ_14 -> T_Σ_14 -> T_Σ_14 Source #
d_'60''8658''8777'_164 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_DecTotalOrder_736 -> AgdaAny -> AgdaAny -> T_Σ_14 -> AgdaAny -> T_'8869'_4 Source #
d_'60''8658''8817'_166 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_DecTotalOrder_736 -> AgdaAny -> AgdaAny -> T_Σ_14 -> AgdaAny -> T_'8869'_4 Source #
d_'8804''8658''8815'_170 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_DecTotalOrder_736 -> AgdaAny -> AgdaAny -> AgdaAny -> T_Σ_14 -> T_'8869'_4 Source #
d_'8804''8743''8777''8658''60'_172 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_DecTotalOrder_736 -> AgdaAny -> AgdaAny -> AgdaAny -> (AgdaAny -> T_'8869'_4) -> T_Σ_14 Source #
du_'8804''8743''8777''8658''60'_172 :: AgdaAny -> AgdaAny -> AgdaAny -> (AgdaAny -> T_'8869'_4) -> T_Σ_14 Source #
d_antisym_174 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_DecTotalOrder_736 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_antisym_174 :: T_DecTotalOrder_736 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_'8805''45'isPartialOrder_176 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_DecTotalOrder_736 -> T_IsPartialOrder_162 Source #
d_invIsPreorder_178 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_DecTotalOrder_736 -> T_IsPreorder_70 Source #
d_'8805''45'isTotalOrder_180 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_DecTotalOrder_736 -> T_IsTotalOrder_380 Source #
d_'8805''45'poset_182 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_DecTotalOrder_736 -> T_Poset_282 Source #
d_invPreorder_184 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_DecTotalOrder_736 -> T_Preorder_132 Source #
d_refl_186 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_DecTotalOrder_736 -> AgdaAny -> AgdaAny Source #
du_refl_186 :: T_DecTotalOrder_736 -> AgdaAny -> AgdaAny Source #
d_reflexive_188 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_DecTotalOrder_736 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_reflexive_188 :: T_DecTotalOrder_736 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_total_190 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_DecTotalOrder_736 -> AgdaAny -> AgdaAny -> T__'8846'__30 Source #
du_total_190 :: T_DecTotalOrder_736 -> AgdaAny -> AgdaAny -> T__'8846'__30 Source #
d_'8805''45'totalOrder_192 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_DecTotalOrder_736 -> T_TotalOrder_648 Source #
d_trans_194 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_DecTotalOrder_736 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
du_trans_194 :: T_DecTotalOrder_736 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #
d_'8816''45'resp'691''45''8776'_196 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_DecTotalOrder_736 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> (AgdaAny -> T_'8869'_4) -> AgdaAny -> T_'8869'_4 Source #
d_'8816''45'resp'737''45''8776'_198 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_DecTotalOrder_736 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> (AgdaAny -> T_'8869'_4) -> AgdaAny -> T_'8869'_4 Source #
d_'8816''8658''62'_200 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_DecTotalOrder_736 -> AgdaAny -> AgdaAny -> (AgdaAny -> T_'8869'_4) -> T_Σ_14 Source #
du_'8816''8658''62'_200 :: T_DecTotalOrder_736 -> AgdaAny -> AgdaAny -> (AgdaAny -> T_'8869'_4) -> T_Σ_14 Source #
d_'8816''8658''8805'_202 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_DecTotalOrder_736 -> AgdaAny -> AgdaAny -> (AgdaAny -> T_'8869'_4) -> AgdaAny Source #
du_'8816''8658''8805'_202 :: T_DecTotalOrder_736 -> AgdaAny -> AgdaAny -> (AgdaAny -> T_'8869'_4) -> AgdaAny Source #
d_'8805''45'isDecTotalOrder_204 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_DecTotalOrder_736 -> T_IsDecTotalOrder_430 Source #
d_'8805''45'decTotalOrder_206 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_DecTotalOrder_736 -> T_DecTotalOrder_736 Source #
d__'8804''63'__210 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_DecTotalOrder_736 -> AgdaAny -> AgdaAny -> T_Dec_32 Source #
du__'8804''63'__210 :: T_DecTotalOrder_736 -> AgdaAny -> AgdaAny -> T_Dec_32 Source #
d_'60''45'isStrictTotalOrder_212 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_DecTotalOrder_736 -> T_IsStrictTotalOrder_498 Source #
d_'60''45'strictTotalOrder_214 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_DecTotalOrder_736 -> T_StrictTotalOrder_860 Source #
d_compare_218 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_DecTotalOrder_736 -> AgdaAny -> AgdaAny -> T_Tri_136 Source #
du_compare_218 :: T_DecTotalOrder_736 -> AgdaAny -> AgdaAny -> T_Tri_136 Source #
d_'8814''8658''8805'_224 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_DecTotalOrder_736 -> AgdaAny -> AgdaAny -> (T_Σ_14 -> T_'8869'_4) -> AgdaAny Source #
du_'8814''8658''8805'_224 :: T_DecTotalOrder_736 -> AgdaAny -> AgdaAny -> (T_Σ_14 -> T_'8869'_4) -> AgdaAny Source #