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_'8869'_4) → T__'8801'__12 → T_'8869'_4 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_32 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_32 Source #

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

d_'60''45'irrefl_86 ∷ T_Char_6 → T_Char_6 → T__'8801'__12 → T__'8804'__18 → T_'8869'_4 Source #

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

d_'60''45'asym_96 ∷ T_Char_6 → T_Char_6 → T__'8804'__18 → T__'8804'__18 → T_'8869'_4 Source #

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

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

d_'60''45'strictPartialOrder_126 ∷ T_StrictPartialOrder_472 Source #

d_'60''45'strictTotalOrder_128 ∷ T_StrictTotalOrder_864 Source #

d__'8804''63'__130 ∷ T_Char_6 → T_Char_6 → T_Dec_32 Source #

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

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

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

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

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

d_'8804''45'isPartialOrder_146 ∷ T_IsPartialOrder_162 Source #

d_'8804''45'isDecPartialOrder_148 ∷ T_IsDecPartialOrder_206 Source #

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

d_'8804''45'poset_152 ∷ T_Poset_282 Source #

d_'8804''45'decPoset_154 ∷ T_DecPoset_360 Source #

d_toNat'45'injective_156 ∷ T_Char_6 → T_Char_6 → T__'8801'__12 → T__'8801'__12 Source #

d_strictTotalOrder_158 ∷ T_StrictTotalOrder_864 Source #

d__'8776''63'__160 ∷ T_Char_6 → T_Char_6 → T_Dec_32 Source #

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

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

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

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

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

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

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

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

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

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

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

d_'60''45'isStrictPartialOrder'45''8776'_206 ∷ T_IsStrictPartialOrder_266 Source #

d_'60''45'isStrictTotalOrder'45''8776'_208 ∷ T_IsStrictTotalOrder_502 Source #

d_'60''45'strictPartialOrder'45''8776'_210 ∷ T_StrictPartialOrder_472 Source #

d_'60''45'strictTotalOrder'45''8776'_212 ∷ T_StrictTotalOrder_864 Source #