Documentation

d_'8776''8658''8801'_6 ∷ T_Char_6 → T_Char_6 → T__'8801'__12 → T__'8801'__12 Source #

d_'8777''8658''8802'_8 ∷ T_Char_6 → T_Char_6 → (T__'8801'__12 → T_Irrelevant_20) → T__'8801'__12 → T_Irrelevant_20 Source #

d_'8776''45'reflexive_12 ∷ T_Char_6 → T_Char_6 → T__'8801'__12 → T__'8801'__12 Source #

d__'8799'__14 ∷ T_Char_6 → T_Char_6 → T_Dec_20 Source #

d_setoid_20 ∷ T_Setoid_44 Source #

d_decSetoid_22 ∷ T_DecSetoid_84 Source #

d_isDecEquivalence_24 ∷ T_IsDecEquivalence_44 Source #

d__'61''61'__26 ∷ T_Char_6 → T_Char_6 → Bool Source #

d__'60''63'__44 ∷ T_Char_6 → T_Char_6 → T_Dec_20 Source #

d_'60''45'cmp_46 ∷ T_Char_6 → T_Char_6 → T_Tri_158 Source #

d_'60''45'irrefl_86 ∷ T_Char_6 → T_Char_6 → T__'8801'__12 → T__'8804'__22 → T_Irrelevant_20 Source #

d_'60''45'trans_88 ∷ T_Char_6 → T_Char_6 → T_Char_6 → T__'8804'__22 → T__'8804'__22 → T__'8804'__22 Source #

d_'60''45'asym_96 ∷ T_Char_6 → T_Char_6 → T__'8804'__22 → T__'8804'__22 → T_Irrelevant_20 Source #

d_'60''45'isStrictPartialOrder_102 ∷ T_IsStrictPartialOrder_290 Source #

d_'60''45'isStrictTotalOrder_118 ∷ T_IsStrictTotalOrder_534 Source #

d_'60''45'strictPartialOrder_120 ∷ T_StrictPartialOrder_556 Source #

d_'60''45'strictTotalOrder_122 ∷ T_StrictTotalOrder_1036 Source #

d__'8804''63'__124 ∷ T_Char_6 → T_Char_6 → T_Dec_20 Source #

d_'8804''45'reflexive_126 ∷ T_Char_6 → T_Char_6 → T__'8801'__12 → T_ReflClosure_30 Source #

du_'8804''45'reflexive_126 ∷ T__'8801'__12 → T_ReflClosure_30 Source #

d_'8804''45'trans_128 ∷ T_Char_6 → T_Char_6 → T_Char_6 → T_ReflClosure_30 → T_ReflClosure_30 → T_ReflClosure_30 Source #

d_'8804''45'antisym_136 ∷ T_Char_6 → T_Char_6 → T_ReflClosure_30 → T_ReflClosure_30 → T__'8801'__12 Source #

d_'8804''45'isPreorder_138 ∷ T_IsPreorder_70 Source #

d_'8804''45'isPartialOrder_140 ∷ T_IsPartialOrder_174 Source #

d_'8804''45'isDecPartialOrder_142 ∷ T_IsDecPartialOrder_224 Source #

d_'8804''45'preorder_144 ∷ T_Preorder_132 Source #

d_'8804''45'poset_146 ∷ T_Poset_314 Source #

d_'8804''45'decPoset_148 ∷ T_DecPoset_406 Source #

d_'8776''45'refl_150 ∷ T_Char_6 → T__'8801'__12 Source #

d_'8776''45'sym_152 ∷ T_Char_6 → T_Char_6 → T__'8801'__12 → T__'8801'__12 Source #

d_'8776''45'trans_154 ∷ T_Char_6 → T_Char_6 → T_Char_6 → T__'8801'__12 → T__'8801'__12 → T__'8801'__12 Source #

d_'8776''45'subst_158 ∷ T_Level_18 → (T_Char_6 → ()) → T_Char_6 → T_Char_6 → T__'8801'__12 → AgdaAny → AgdaAny Source #

du_'8776''45'subst_158 ∷ AgdaAny → AgdaAny Source #

d__'8776''63'__166 ∷ T_Char_6 → T_Char_6 → T_Dec_20 Source #

d_'8776''45'isEquivalence_172 ∷ T_IsEquivalence_26 Source #

d_'8776''45'setoid_174 ∷ T_Setoid_44 Source #

d_'8776''45'isDecEquivalence_176 ∷ T_IsDecEquivalence_44 Source #

d_'8776''45'decSetoid_178 ∷ T_DecSetoid_84 Source #

d_'8801''45'setoid_180 ∷ T_Setoid_44 Source #

d_'8801''45'decSetoid_182 ∷ T_DecSetoid_84 Source #

d_'60''45'isStrictPartialOrder'45''8776'_184 ∷ T_IsStrictPartialOrder_290 Source #

d_'60''45'isStrictTotalOrder'45''8776'_186 ∷ T_IsStrictTotalOrder_534 Source #

d_'60''45'strictPartialOrder'45''8776'_188 ∷ T_StrictPartialOrder_556 Source #

d_'60''45'strictTotalOrder'45''8776'_190 ∷ T_StrictTotalOrder_1036 Source #