Documentation

d_refl_20 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny Source #

du_refl_20 :: (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny Source #

d_sym_24 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_sym_24 :: (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_trans_28 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_trans_28 :: (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_asym_32 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> T_'8869'_4) -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> T_'8869'_4 Source #

d_total_36 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> T__'8846'__30) -> AgdaAny -> AgdaAny -> T__'8846'__30 Source #

du_total_36 :: (AgdaAny -> AgdaAny -> T__'8846'__30) -> AgdaAny -> AgdaAny -> T__'8846'__30 Source #

d_resp_48 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> T_Level_14 -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_resp_48 :: (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_max_58 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny Source #

du_max_58 :: (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny Source #

d_min_64 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny Source #

du_min_64 :: (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny Source #

d_reflexive_84 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_reflexive_84 :: (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_irrefl_90 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> T_'8869'_4) -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> T_'8869'_4 Source #

d_antisym_100 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_antisym_100 :: (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_compare_104 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> T_Tri_136) -> AgdaAny -> AgdaAny -> T_Tri_136 Source #

du_compare_104 :: (AgdaAny -> AgdaAny -> T_Tri_136) -> AgdaAny -> AgdaAny -> T_Tri_136 Source #

d_resp'8322'_168 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> ()) -> T_Σ_14 -> T_Σ_14 Source #

du_resp'8322'_168 :: T_Σ_14 -> T_Σ_14 Source #

d_dec_190 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> () -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> T_Dec_32) -> AgdaAny -> AgdaAny -> T_Dec_32 Source #

du_dec_190 :: (AgdaAny -> AgdaAny -> T_Dec_32) -> AgdaAny -> AgdaAny -> T_Dec_32 Source #

d_isEquivalence_206 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> T_IsEquivalence_26 -> T_IsEquivalence_26 Source #

du_isEquivalence_206 :: T_IsEquivalence_26 -> T_IsEquivalence_26 Source #

d_isDecEquivalence_226 :: T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> T_IsDecEquivalence_44 -> T_IsDecEquivalence_44 Source #

du_isDecEquivalence_226 :: T_IsDecEquivalence_44 -> T_IsDecEquivalence_44 Source #

d_isPreorder_266 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> ()) -> T_IsPreorder_70 -> T_IsPreorder_70 Source #

du_isPreorder_266 :: T_IsPreorder_70 -> T_IsPreorder_70 Source #

d_isTotalPreorder_302 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> ()) -> T_IsTotalPreorder_118 -> T_IsTotalPreorder_118 Source #

du_isTotalPreorder_302 :: T_IsTotalPreorder_118 -> T_IsTotalPreorder_118 Source #

d_isPartialOrder_342 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> ()) -> T_IsPartialOrder_162 -> T_IsPartialOrder_162 Source #

du_isPartialOrder_342 :: T_IsPartialOrder_162 -> T_IsPartialOrder_162 Source #

d_isTotalOrder_382 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> ()) -> T_IsTotalOrder_380 -> T_IsTotalOrder_380 Source #

du_isTotalOrder_382 :: T_IsTotalOrder_380 -> T_IsTotalOrder_380 Source #

d_isDecTotalOrder_428 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> ()) -> T_IsDecTotalOrder_430 -> T_IsDecTotalOrder_430 Source #

du_isDecTotalOrder_428 :: T_IsDecTotalOrder_430 -> T_IsDecTotalOrder_430 Source #

d_isStrictPartialOrder_488 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> ()) -> T_IsStrictPartialOrder_266 -> T_IsStrictPartialOrder_266 Source #

du_isStrictPartialOrder_488 :: T_IsStrictPartialOrder_266 -> T_IsStrictPartialOrder_266 Source #

d_isStrictTotalOrder_524 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> ()) -> T_IsStrictTotalOrder_498 -> T_IsStrictTotalOrder_498 Source #

du_isStrictTotalOrder_524 :: T_IsStrictTotalOrder_498 -> T_IsStrictTotalOrder_498 Source #

d_setoid_584 :: T_Level_14 -> T_Level_14 -> T_Setoid_44 -> T_Setoid_44 Source #

du_setoid_584 :: T_Setoid_44 -> T_Setoid_44 Source #

d_decSetoid_614 :: T_Level_14 -> T_Level_14 -> T_DecSetoid_84 -> T_DecSetoid_84 Source #

du_decSetoid_614 :: T_DecSetoid_84 -> T_DecSetoid_84 Source #

d_preorder_660 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Preorder_132 -> T_Preorder_132 Source #

du_preorder_660 :: T_Preorder_132 -> T_Preorder_132 Source #

d_totalPreorder_716 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_TotalPreorder_204 Source #

du_totalPreorder_716 :: T_TotalPreorder_204 -> T_TotalPreorder_204 Source #

d_poset_778 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Poset_282 -> T_Poset_282 Source #

du_poset_778 :: T_Poset_282 -> T_Poset_282 Source #

d_totalOrder_840 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> T_TotalOrder_648 Source #

du_totalOrder_840 :: T_TotalOrder_648 -> T_TotalOrder_648 Source #

d_decTotalOrder_912 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_DecTotalOrder_736 -> T_DecTotalOrder_736 Source #

du_decTotalOrder_912 :: T_DecTotalOrder_736 -> T_DecTotalOrder_736 Source #

d_strictPartialOrder_1000 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_StrictPartialOrder_472 -> T_StrictPartialOrder_472 Source #

du_strictPartialOrder_1000 :: T_StrictPartialOrder_472 -> T_StrictPartialOrder_472 Source #

d_strictTotalOrder_1056 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_StrictTotalOrder_860 -> T_StrictTotalOrder_860 Source #

du_strictTotalOrder_1056 :: T_StrictTotalOrder_860 -> T_StrictTotalOrder_860 Source #