| Safe Haskell | None |
|---|
MAlonzo.Code.Data.List.Relation.Binary.Lex.Strict
Documentation
d__'8779'__32 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> ()) -> [AgdaAny] -> [AgdaAny] -> () Source #
d__'60'__34 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> ()) -> [AgdaAny] -> [AgdaAny] -> () Source #
d_xs'8814''91''93'_38 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> ()) -> [AgdaAny] -> T_Lex_32 -> T_'8869'_4 Source #
d_'172''91''93''60''91''93'_40 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> ()) -> T_Lex_32 -> T_'8869'_4 Source #
d_'60''45'irreflexive_42 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> T_'8869'_4) -> [AgdaAny] -> [AgdaAny] -> T_Pointwise_48 -> T_Lex_32 -> T_'8869'_4 Source #
d_'60''45'asymmetric_60 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> T_Σ_14 -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> T_'8869'_4) -> [AgdaAny] -> [AgdaAny] -> T_Lex_32 -> T_Lex_32 -> T_'8869'_4 Source #
d_irrefl_72 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> T_Σ_14 -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> T_'8869'_4) -> [AgdaAny] -> [AgdaAny] -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> T_'8869'_4 Source #
d_asym_74 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> T_Σ_14 -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> T_'8869'_4) -> [AgdaAny] -> [AgdaAny] -> [AgdaAny] -> [AgdaAny] -> T_Lex_32 -> T_Lex_32 -> T_'8869'_4 Source #
d_'60''45'antisymmetric_102 :: 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) -> [AgdaAny] -> [AgdaAny] -> T_Lex_32 -> T_Lex_32 -> T_Pointwise_48 Source #
du_'60''45'antisymmetric_102 :: (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> T_'8869'_4) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> T_'8869'_4) -> [AgdaAny] -> [AgdaAny] -> T_Lex_32 -> T_Lex_32 -> T_Pointwise_48 Source #
d_'60''45'transitive_104 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> ()) -> T_IsEquivalence_26 -> T_Σ_14 -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> [AgdaAny] -> [AgdaAny] -> [AgdaAny] -> T_Lex_32 -> T_Lex_32 -> T_Lex_32 Source #
du_'60''45'transitive_104 :: T_IsEquivalence_26 -> T_Σ_14 -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> [AgdaAny] -> [AgdaAny] -> [AgdaAny] -> T_Lex_32 -> T_Lex_32 -> T_Lex_32 Source #
d_'60''45'compare_106 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> T_Tri_136) -> [AgdaAny] -> [AgdaAny] -> T_Tri_136 Source #
du_'60''45'compare_106 :: (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> T_Tri_136) -> [AgdaAny] -> [AgdaAny] -> T_Tri_136 Source #
d_'60''45'decidable_274 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> T_Dec_32) -> (AgdaAny -> AgdaAny -> T_Dec_32) -> [AgdaAny] -> [AgdaAny] -> T_Dec_32 Source #
du_'60''45'decidable_274 :: (AgdaAny -> AgdaAny -> T_Dec_32) -> (AgdaAny -> AgdaAny -> T_Dec_32) -> [AgdaAny] -> [AgdaAny] -> T_Dec_32 Source #
d_'60''45'respects'8322'_276 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> ()) -> T_IsEquivalence_26 -> T_Σ_14 -> T_Σ_14 Source #
d_'60''45'isStrictPartialOrder_278 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> ()) -> T_IsStrictPartialOrder_266 -> T_IsStrictPartialOrder_266 Source #
du_'60''45'isStrictPartialOrder_278 :: T_IsStrictPartialOrder_266 -> T_IsStrictPartialOrder_266 Source #
d_'60''45'isStrictTotalOrder_314 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> ()) -> T_IsStrictTotalOrder_498 -> T_IsStrictTotalOrder_498 Source #
d_'60''45'strictPartialOrder_372 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_StrictPartialOrder_472 -> T_StrictPartialOrder_472 Source #
d_'60''45'strictTotalOrder_434 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_StrictTotalOrder_860 -> T_StrictTotalOrder_860 Source #
d_'8804''45'reflexive_522 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> ()) -> [AgdaAny] -> [AgdaAny] -> T_Pointwise_48 -> T_Lex_32 Source #
du_'8804''45'reflexive_522 :: [AgdaAny] -> [AgdaAny] -> T_Pointwise_48 -> T_Lex_32 Source #
d__'8779'__544 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> ()) -> [AgdaAny] -> [AgdaAny] -> () Source #
d__'8804'__546 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> ()) -> [AgdaAny] -> [AgdaAny] -> () Source #
d_'8804''45'antisymmetric_548 :: 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) -> [AgdaAny] -> [AgdaAny] -> T_Lex_32 -> T_Lex_32 -> T_Pointwise_48 Source #
du_'8804''45'antisymmetric_548 :: (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> T_'8869'_4) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> T_'8869'_4) -> [AgdaAny] -> [AgdaAny] -> T_Lex_32 -> T_Lex_32 -> T_Pointwise_48 Source #
d_'8804''45'transitive_550 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> ()) -> T_IsEquivalence_26 -> T_Σ_14 -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> [AgdaAny] -> [AgdaAny] -> [AgdaAny] -> T_Lex_32 -> T_Lex_32 -> T_Lex_32 Source #
du_'8804''45'transitive_550 :: T_IsEquivalence_26 -> T_Σ_14 -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> [AgdaAny] -> [AgdaAny] -> [AgdaAny] -> T_Lex_32 -> T_Lex_32 -> T_Lex_32 Source #
d_'8804''45'total_552 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> T_Tri_136) -> [AgdaAny] -> [AgdaAny] -> T__'8846'__30 Source #
du_'8804''45'total_552 :: (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> T_Tri_136) -> [AgdaAny] -> [AgdaAny] -> T__'8846'__30 Source #
d_'8804''45'decidable_656 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> T_Dec_32) -> (AgdaAny -> AgdaAny -> T_Dec_32) -> [AgdaAny] -> [AgdaAny] -> T_Dec_32 Source #
du_'8804''45'decidable_656 :: (AgdaAny -> AgdaAny -> T_Dec_32) -> (AgdaAny -> AgdaAny -> T_Dec_32) -> [AgdaAny] -> [AgdaAny] -> T_Dec_32 Source #
d_'8804''45'respects'8322'_658 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> ()) -> T_IsEquivalence_26 -> T_Σ_14 -> T_Σ_14 Source #
d_'8804''45'isPreorder_660 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> ()) -> T_IsEquivalence_26 -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> T_Σ_14 -> T_IsPreorder_70 Source #
du_'8804''45'isPreorder_660 :: T_IsEquivalence_26 -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> T_Σ_14 -> T_IsPreorder_70 Source #
d_'8804''45'isPartialOrder_668 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> ()) -> T_IsStrictPartialOrder_266 -> T_IsPartialOrder_162 Source #
d_'8804''45'isDecPartialOrder_704 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> ()) -> T_IsStrictTotalOrder_498 -> T_IsDecPartialOrder_206 Source #
d_'8804''45'isTotalOrder_756 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> ()) -> T_IsStrictTotalOrder_498 -> T_IsTotalOrder_380 Source #
d_'8804''45'isDecTotalOrder_808 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> ()) -> T_IsStrictTotalOrder_498 -> T_IsDecTotalOrder_430 Source #
d_'8804''45'preorder_866 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Preorder_132 -> T_Preorder_132 Source #
d_'8804''45'partialOrder_928 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_StrictPartialOrder_472 -> T_Poset_282 Source #
d_'8804''45'decPoset_990 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_StrictTotalOrder_860 -> T_DecPoset_360 Source #