Safe HaskellNone

MAlonzo.Code.Relation.Binary.Bundles

Documentation

d_PartialSetoid_10 :: p1 -> p2 -> () Source #

newtype T_PartialSetoid_10 Source #

Constructors

C_PartialSetoid'46'constructor_83 T_IsPartialEquivalence_16 

d_Carrier_22 :: T_PartialSetoid_10 -> () Source #

d__'8776'__24 :: T_PartialSetoid_10 -> AgdaAny -> AgdaAny -> () Source #

d_isPartialEquivalence_26 :: T_PartialSetoid_10 -> T_IsPartialEquivalence_16 Source #

d_sym_30 :: T_PartialSetoid_10 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_trans_32 :: T_PartialSetoid_10 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d__'8777'__34 :: T_Level_14 -> T_Level_14 -> T_PartialSetoid_10 -> AgdaAny -> AgdaAny -> () Source #

d_Setoid_44 :: p1 -> p2 -> () Source #

newtype T_Setoid_44 Source #

Constructors

C_Setoid'46'constructor_575 T_IsEquivalence_26 

d_Carrier_56 :: T_Setoid_44 -> () Source #

d__'8776'__58 :: T_Setoid_44 -> AgdaAny -> AgdaAny -> () Source #

d_isEquivalence_60 :: T_Setoid_44 -> T_IsEquivalence_26 Source #

d_isPartialEquivalence_64 :: T_Level_14 -> T_Level_14 -> T_Setoid_44 -> T_IsPartialEquivalence_16 Source #

du_isPartialEquivalence_64 :: T_Setoid_44 -> T_IsPartialEquivalence_16 Source #

d_refl_66 :: T_Setoid_44 -> AgdaAny -> AgdaAny Source #

d_reflexive_68 :: T_Level_14 -> T_Level_14 -> T_Setoid_44 -> AgdaAny -> AgdaAny -> T__'8801'__12 -> AgdaAny Source #

du_reflexive_68 :: T_Setoid_44 -> AgdaAny -> AgdaAny -> T__'8801'__12 -> AgdaAny Source #

d_sym_70 :: T_Setoid_44 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_trans_72 :: T_Setoid_44 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_partialSetoid_74 :: T_Level_14 -> T_Level_14 -> T_Setoid_44 -> T_PartialSetoid_10 Source #

du_partialSetoid_74 :: T_Setoid_44 -> T_PartialSetoid_10 Source #

d__'8777'__78 :: T_Level_14 -> T_Level_14 -> T_Setoid_44 -> AgdaAny -> AgdaAny -> () Source #

d_DecSetoid_84 :: p1 -> p2 -> () Source #

newtype T_DecSetoid_84 Source #

Constructors

C_DecSetoid'46'constructor_1131 T_IsDecEquivalence_44 

d_Carrier_96 :: T_DecSetoid_84 -> () Source #

d__'8776'__98 :: T_DecSetoid_84 -> AgdaAny -> AgdaAny -> () Source #

d_isDecEquivalence_100 :: T_DecSetoid_84 -> T_IsDecEquivalence_44 Source #

d__'8799'__104 :: T_DecSetoid_84 -> AgdaAny -> AgdaAny -> T_Dec_32 Source #

d_isEquivalence_106 :: T_DecSetoid_84 -> T_IsEquivalence_26 Source #

d_isPartialEquivalence_108 :: T_Level_14 -> T_Level_14 -> T_DecSetoid_84 -> T_IsPartialEquivalence_16 Source #

du_isPartialEquivalence_108 :: T_DecSetoid_84 -> T_IsPartialEquivalence_16 Source #

d_refl_110 :: T_DecSetoid_84 -> AgdaAny -> AgdaAny Source #

d_reflexive_112 :: T_Level_14 -> T_Level_14 -> T_DecSetoid_84 -> AgdaAny -> AgdaAny -> T__'8801'__12 -> AgdaAny Source #

du_reflexive_112 :: T_DecSetoid_84 -> AgdaAny -> AgdaAny -> T__'8801'__12 -> AgdaAny Source #

d_sym_114 :: T_DecSetoid_84 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_trans_116 :: T_DecSetoid_84 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_setoid_118 :: T_Level_14 -> T_Level_14 -> T_DecSetoid_84 -> T_Setoid_44 Source #

du_setoid_118 :: T_DecSetoid_84 -> T_Setoid_44 Source #

d__'8777'__122 :: T_Level_14 -> T_Level_14 -> T_DecSetoid_84 -> AgdaAny -> AgdaAny -> () Source #

d_partialSetoid_124 :: T_Level_14 -> T_Level_14 -> T_DecSetoid_84 -> T_PartialSetoid_10 Source #

du_partialSetoid_124 :: T_DecSetoid_84 -> T_PartialSetoid_10 Source #

d_Preorder_132 :: p1 -> p2 -> p3 -> () Source #

newtype T_Preorder_132 Source #

Constructors

C_Preorder'46'constructor_1855 T_IsPreorder_70 

d_Carrier_148 :: T_Preorder_132 -> () Source #

d__'8776'__150 :: T_Preorder_132 -> AgdaAny -> AgdaAny -> () Source #

d__'8764'__152 :: T_Preorder_132 -> AgdaAny -> AgdaAny -> () Source #

d_isPreorder_154 :: T_Preorder_132 -> T_IsPreorder_70 Source #

d_isEquivalence_158 :: T_Preorder_132 -> T_IsEquivalence_26 Source #

d_refl_160 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Preorder_132 -> AgdaAny -> AgdaAny Source #

du_refl_160 :: T_Preorder_132 -> AgdaAny -> AgdaAny Source #

d_reflexive_162 :: T_Preorder_132 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_trans_164 :: T_Preorder_132 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'8764''45'resp'45''8776'_166 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Preorder_132 -> T_Σ_14 Source #

du_'8764''45'resp'45''8776'_166 :: T_Preorder_132 -> T_Σ_14 Source #

d_'8764''45'resp'691''45''8776'_168 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Preorder_132 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_'8764''45'resp'691''45''8776'_168 :: T_Preorder_132 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'8764''45'resp'737''45''8776'_170 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Preorder_132 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_'8764''45'resp'737''45''8776'_170 :: T_Preorder_132 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_setoid_174 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Preorder_132 -> T_Setoid_44 Source #

du_setoid_174 :: T_Preorder_132 -> T_Setoid_44 Source #

d__'8776'__178 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Preorder_132 -> AgdaAny -> AgdaAny -> () Source #

d__'8777'__180 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Preorder_132 -> AgdaAny -> AgdaAny -> () Source #

d_Carrier_182 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Preorder_132 -> () Source #

d_isEquivalence_184 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Preorder_132 -> T_IsEquivalence_26 Source #

du_isEquivalence_184 :: T_Preorder_132 -> T_IsEquivalence_26 Source #

d_isPartialEquivalence_186 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Preorder_132 -> T_IsPartialEquivalence_16 Source #

du_isPartialEquivalence_186 :: T_Preorder_132 -> T_IsPartialEquivalence_16 Source #

d_partialSetoid_188 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Preorder_132 -> T_PartialSetoid_10 Source #

du_partialSetoid_188 :: T_Preorder_132 -> T_PartialSetoid_10 Source #

d_refl_190 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Preorder_132 -> AgdaAny -> AgdaAny Source #

du_refl_190 :: T_Preorder_132 -> AgdaAny -> AgdaAny Source #

d_reflexive_192 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Preorder_132 -> AgdaAny -> AgdaAny -> T__'8801'__12 -> AgdaAny Source #

du_reflexive_192 :: T_Preorder_132 -> AgdaAny -> AgdaAny -> T__'8801'__12 -> AgdaAny Source #

d_sym_194 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Preorder_132 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_sym_194 :: T_Preorder_132 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_trans_196 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Preorder_132 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_trans_196 :: T_Preorder_132 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_TotalPreorder_204 :: p1 -> p2 -> p3 -> () Source #

newtype T_TotalPreorder_204 Source #

Constructors

C_TotalPreorder'46'constructor_3061 T_IsTotalPreorder_118 

d_Carrier_220 :: T_TotalPreorder_204 -> () Source #

d__'8776'__222 :: T_TotalPreorder_204 -> AgdaAny -> AgdaAny -> () Source #

d__'8818'__224 :: T_TotalPreorder_204 -> AgdaAny -> AgdaAny -> () Source #

d_isTotalPreorder_226 :: T_TotalPreorder_204 -> T_IsTotalPreorder_118 Source #

d_isEquivalence_230 :: T_TotalPreorder_204 -> T_IsEquivalence_26 Source #

d_isPreorder_232 :: T_TotalPreorder_204 -> T_IsPreorder_70 Source #

d_refl_234 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> AgdaAny -> AgdaAny Source #

du_refl_234 :: T_TotalPreorder_204 -> AgdaAny -> AgdaAny Source #

d_reflexive_236 :: T_TotalPreorder_204 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_total_238 :: T_TotalPreorder_204 -> AgdaAny -> AgdaAny -> T__'8846'__30 Source #

d_trans_240 :: T_TotalPreorder_204 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'8764''45'resp'45''8776'_242 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_Σ_14 Source #

du_'8764''45'resp'45''8776'_242 :: T_TotalPreorder_204 -> T_Σ_14 Source #

d_'8764''45'resp'691''45''8776'_244 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_'8764''45'resp'691''45''8776'_244 :: T_TotalPreorder_204 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'8764''45'resp'737''45''8776'_246 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_'8764''45'resp'737''45''8776'_246 :: T_TotalPreorder_204 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_preorder_248 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_Preorder_132 Source #

du_preorder_248 :: T_TotalPreorder_204 -> T_Preorder_132 Source #

d__'8776'__254 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> AgdaAny -> AgdaAny -> () Source #

d__'8777'__256 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> AgdaAny -> AgdaAny -> () Source #

d_Carrier_258 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> () Source #

d_isEquivalence_260 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_IsEquivalence_26 Source #

du_isEquivalence_260 :: T_TotalPreorder_204 -> T_IsEquivalence_26 Source #

d_isPartialEquivalence_262 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_IsPartialEquivalence_16 Source #

du_isPartialEquivalence_262 :: T_TotalPreorder_204 -> T_IsPartialEquivalence_16 Source #

d_partialSetoid_264 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_PartialSetoid_10 Source #

du_partialSetoid_264 :: T_TotalPreorder_204 -> T_PartialSetoid_10 Source #

d_refl_266 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> AgdaAny -> AgdaAny Source #

du_refl_266 :: T_TotalPreorder_204 -> AgdaAny -> AgdaAny Source #

d_reflexive_268 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> AgdaAny -> AgdaAny -> T__'8801'__12 -> AgdaAny Source #

du_reflexive_268 :: T_TotalPreorder_204 -> AgdaAny -> AgdaAny -> T__'8801'__12 -> AgdaAny Source #

d_setoid_270 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> T_Setoid_44 Source #

du_setoid_270 :: T_TotalPreorder_204 -> T_Setoid_44 Source #

d_sym_272 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_sym_272 :: T_TotalPreorder_204 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_trans_274 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalPreorder_204 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_trans_274 :: T_TotalPreorder_204 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_Poset_282 :: p1 -> p2 -> p3 -> () Source #

newtype T_Poset_282 Source #

Constructors

C_Poset'46'constructor_4405 T_IsPartialOrder_162 

d_Carrier_298 :: T_Poset_282 -> () Source #

d__'8776'__300 :: T_Poset_282 -> AgdaAny -> AgdaAny -> () Source #

d__'8804'__302 :: T_Poset_282 -> AgdaAny -> AgdaAny -> () Source #

d_isPartialOrder_304 :: T_Poset_282 -> T_IsPartialOrder_162 Source #

d_antisym_308 :: T_Poset_282 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_isEquivalence_310 :: T_Poset_282 -> T_IsEquivalence_26 Source #

d_isPreorder_312 :: T_Poset_282 -> T_IsPreorder_70 Source #

d_refl_314 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Poset_282 -> AgdaAny -> AgdaAny Source #

du_refl_314 :: T_Poset_282 -> AgdaAny -> AgdaAny Source #

d_reflexive_316 :: T_Poset_282 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_trans_318 :: T_Poset_282 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'8764''45'resp'45''8776'_320 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Poset_282 -> T_Σ_14 Source #

du_'8764''45'resp'45''8776'_320 :: T_Poset_282 -> T_Σ_14 Source #

d_'8764''45'resp'691''45''8776'_322 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Poset_282 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_'8764''45'resp'691''45''8776'_322 :: T_Poset_282 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'8764''45'resp'737''45''8776'_324 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Poset_282 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_'8764''45'resp'737''45''8776'_324 :: T_Poset_282 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_preorder_326 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Poset_282 -> T_Preorder_132 Source #

du_preorder_326 :: T_Poset_282 -> T_Preorder_132 Source #

d__'8776'__332 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Poset_282 -> AgdaAny -> AgdaAny -> () Source #

d__'8777'__334 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Poset_282 -> AgdaAny -> AgdaAny -> () Source #

d_Carrier_336 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Poset_282 -> () Source #

d_isEquivalence_338 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Poset_282 -> T_IsEquivalence_26 Source #

du_isEquivalence_338 :: T_Poset_282 -> T_IsEquivalence_26 Source #

d_isPartialEquivalence_340 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Poset_282 -> T_IsPartialEquivalence_16 Source #

du_isPartialEquivalence_340 :: T_Poset_282 -> T_IsPartialEquivalence_16 Source #

d_partialSetoid_342 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Poset_282 -> T_PartialSetoid_10 Source #

du_partialSetoid_342 :: T_Poset_282 -> T_PartialSetoid_10 Source #

d_refl_344 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Poset_282 -> AgdaAny -> AgdaAny Source #

du_refl_344 :: T_Poset_282 -> AgdaAny -> AgdaAny Source #

d_reflexive_346 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Poset_282 -> AgdaAny -> AgdaAny -> T__'8801'__12 -> AgdaAny Source #

du_reflexive_346 :: T_Poset_282 -> AgdaAny -> AgdaAny -> T__'8801'__12 -> AgdaAny Source #

d_setoid_348 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Poset_282 -> T_Setoid_44 Source #

du_setoid_348 :: T_Poset_282 -> T_Setoid_44 Source #

d_sym_350 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Poset_282 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_sym_350 :: T_Poset_282 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_trans_352 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Poset_282 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_trans_352 :: T_Poset_282 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_DecPoset_360 :: p1 -> p2 -> p3 -> () Source #

newtype T_DecPoset_360 Source #

Constructors

C_DecPoset'46'constructor_5757 T_IsDecPartialOrder_206 

d_Carrier_376 :: T_DecPoset_360 -> () Source #

d__'8776'__378 :: T_DecPoset_360 -> AgdaAny -> AgdaAny -> () Source #

d__'8804'__380 :: T_DecPoset_360 -> AgdaAny -> AgdaAny -> () Source #

d_isDecPartialOrder_382 :: T_DecPoset_360 -> T_IsDecPartialOrder_206 Source #

d__'8799'__386 :: T_DecPoset_360 -> AgdaAny -> AgdaAny -> T_Dec_32 Source #

d__'8804''63'__388 :: T_DecPoset_360 -> AgdaAny -> AgdaAny -> T_Dec_32 Source #

d_antisym_390 :: T_DecPoset_360 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_isEquivalence_392 :: T_DecPoset_360 -> T_IsEquivalence_26 Source #

d_isPartialOrder_394 :: T_DecPoset_360 -> T_IsPartialOrder_162 Source #

d_isPreorder_396 :: T_DecPoset_360 -> T_IsPreorder_70 Source #

d_refl_398 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_DecPoset_360 -> AgdaAny -> AgdaAny Source #

du_refl_398 :: T_DecPoset_360 -> AgdaAny -> AgdaAny Source #

d_reflexive_400 :: T_DecPoset_360 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_trans_402 :: T_DecPoset_360 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'8764''45'resp'45''8776'_404 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_DecPoset_360 -> T_Σ_14 Source #

du_'8764''45'resp'45''8776'_404 :: T_DecPoset_360 -> T_Σ_14 Source #

d_'8764''45'resp'691''45''8776'_406 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_DecPoset_360 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_'8764''45'resp'691''45''8776'_406 :: T_DecPoset_360 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'8764''45'resp'737''45''8776'_408 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_DecPoset_360 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_'8764''45'resp'737''45''8776'_408 :: T_DecPoset_360 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_poset_428 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_DecPoset_360 -> T_Poset_282 Source #

du_poset_428 :: T_DecPoset_360 -> T_Poset_282 Source #

d_preorder_432 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_DecPoset_360 -> T_Preorder_132 Source #

du_preorder_432 :: T_DecPoset_360 -> T_Preorder_132 Source #

d_decSetoid_436 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_DecPoset_360 -> T_DecSetoid_84 Source #

du_decSetoid_436 :: T_DecPoset_360 -> T_DecSetoid_84 Source #

d__'8776'__440 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_DecPoset_360 -> AgdaAny -> AgdaAny -> () Source #

d__'8777'__442 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_DecPoset_360 -> AgdaAny -> AgdaAny -> () Source #

d__'8799'__444 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_DecPoset_360 -> AgdaAny -> AgdaAny -> T_Dec_32 Source #

du__'8799'__444 :: T_DecPoset_360 -> AgdaAny -> AgdaAny -> T_Dec_32 Source #

d_Carrier_446 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_DecPoset_360 -> () Source #

d_isDecEquivalence_448 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_DecPoset_360 -> T_IsDecEquivalence_44 Source #

du_isDecEquivalence_448 :: T_DecPoset_360 -> T_IsDecEquivalence_44 Source #

d_isEquivalence_450 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_DecPoset_360 -> T_IsEquivalence_26 Source #

du_isEquivalence_450 :: T_DecPoset_360 -> T_IsEquivalence_26 Source #

d_isPartialEquivalence_452 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_DecPoset_360 -> T_IsPartialEquivalence_16 Source #

du_isPartialEquivalence_452 :: T_DecPoset_360 -> T_IsPartialEquivalence_16 Source #

d_partialSetoid_454 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_DecPoset_360 -> T_PartialSetoid_10 Source #

du_partialSetoid_454 :: T_DecPoset_360 -> T_PartialSetoid_10 Source #

d_refl_456 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_DecPoset_360 -> AgdaAny -> AgdaAny Source #

du_refl_456 :: T_DecPoset_360 -> AgdaAny -> AgdaAny Source #

d_reflexive_458 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_DecPoset_360 -> AgdaAny -> AgdaAny -> T__'8801'__12 -> AgdaAny Source #

du_reflexive_458 :: T_DecPoset_360 -> AgdaAny -> AgdaAny -> T__'8801'__12 -> AgdaAny Source #

d_setoid_460 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_DecPoset_360 -> T_Setoid_44 Source #

du_setoid_460 :: T_DecPoset_360 -> T_Setoid_44 Source #

d_sym_462 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_DecPoset_360 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_sym_462 :: T_DecPoset_360 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_trans_464 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_DecPoset_360 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_trans_464 :: T_DecPoset_360 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_StrictPartialOrder_472 :: p1 -> p2 -> p3 -> () Source #

newtype T_StrictPartialOrder_472 Source #

Constructors

C_StrictPartialOrder'46'constructor_7693 T_IsStrictPartialOrder_266 

d_Carrier_488 :: T_StrictPartialOrder_472 -> () Source #

d__'8776'__490 :: T_StrictPartialOrder_472 -> AgdaAny -> AgdaAny -> () Source #

d__'60'__492 :: T_StrictPartialOrder_472 -> AgdaAny -> AgdaAny -> () Source #

d_isStrictPartialOrder_494 :: T_StrictPartialOrder_472 -> T_IsStrictPartialOrder_266 Source #

d_'60''45'resp'45''8776'_498 :: T_StrictPartialOrder_472 -> T_Σ_14 Source #

d_'60''45'resp'691''45''8776'_500 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_StrictPartialOrder_472 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_'60''45'resp'691''45''8776'_500 :: T_StrictPartialOrder_472 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'60''45'resp'737''45''8776'_502 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_StrictPartialOrder_472 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_'60''45'resp'737''45''8776'_502 :: T_StrictPartialOrder_472 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_asym_504 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_StrictPartialOrder_472 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> T_'8869'_4 Source #

d_irrefl_506 :: T_StrictPartialOrder_472 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> T_'8869'_4 Source #

d_isEquivalence_508 :: T_StrictPartialOrder_472 -> T_IsEquivalence_26 Source #

d_trans_510 :: T_StrictPartialOrder_472 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_setoid_514 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_StrictPartialOrder_472 -> T_Setoid_44 Source #

du_setoid_514 :: T_StrictPartialOrder_472 -> T_Setoid_44 Source #

d__'8776'__518 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_StrictPartialOrder_472 -> AgdaAny -> AgdaAny -> () Source #

d__'8777'__520 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_StrictPartialOrder_472 -> AgdaAny -> AgdaAny -> () Source #

d_Carrier_522 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_StrictPartialOrder_472 -> () Source #

d_isEquivalence_524 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_StrictPartialOrder_472 -> T_IsEquivalence_26 Source #

du_isEquivalence_524 :: T_StrictPartialOrder_472 -> T_IsEquivalence_26 Source #

d_isPartialEquivalence_526 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_StrictPartialOrder_472 -> T_IsPartialEquivalence_16 Source #

du_isPartialEquivalence_526 :: T_StrictPartialOrder_472 -> T_IsPartialEquivalence_16 Source #

d_partialSetoid_528 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_StrictPartialOrder_472 -> T_PartialSetoid_10 Source #

du_partialSetoid_528 :: T_StrictPartialOrder_472 -> T_PartialSetoid_10 Source #

d_refl_530 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_StrictPartialOrder_472 -> AgdaAny -> AgdaAny Source #

du_refl_530 :: T_StrictPartialOrder_472 -> AgdaAny -> AgdaAny Source #

d_reflexive_532 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_StrictPartialOrder_472 -> AgdaAny -> AgdaAny -> T__'8801'__12 -> AgdaAny Source #

du_reflexive_532 :: T_StrictPartialOrder_472 -> AgdaAny -> AgdaAny -> T__'8801'__12 -> AgdaAny Source #

d_sym_534 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_StrictPartialOrder_472 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_sym_534 :: T_StrictPartialOrder_472 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_trans_536 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_StrictPartialOrder_472 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_trans_536 :: T_StrictPartialOrder_472 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_DecStrictPartialOrder_544 :: p1 -> p2 -> p3 -> () Source #

newtype T_DecStrictPartialOrder_544 Source #

Constructors

C_DecStrictPartialOrder'46'constructor_8921 T_IsDecStrictPartialOrder_312 

d_Carrier_560 :: T_DecStrictPartialOrder_544 -> () Source #

d__'8776'__562 :: T_DecStrictPartialOrder_544 -> AgdaAny -> AgdaAny -> () Source #

d__'60'__564 :: T_DecStrictPartialOrder_544 -> AgdaAny -> AgdaAny -> () Source #

d_isDecStrictPartialOrder_566 :: T_DecStrictPartialOrder_544 -> T_IsDecStrictPartialOrder_312 Source #

d__'60''63'__570 :: T_DecStrictPartialOrder_544 -> AgdaAny -> AgdaAny -> T_Dec_32 Source #

d__'8799'__572 :: T_DecStrictPartialOrder_544 -> AgdaAny -> AgdaAny -> T_Dec_32 Source #

d_'60''45'resp'45''8776'_574 :: T_DecStrictPartialOrder_544 -> T_Σ_14 Source #

d_'60''45'resp'691''45''8776'_576 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_DecStrictPartialOrder_544 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_'60''45'resp'691''45''8776'_576 :: T_DecStrictPartialOrder_544 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'60''45'resp'737''45''8776'_578 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_DecStrictPartialOrder_544 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_'60''45'resp'737''45''8776'_578 :: T_DecStrictPartialOrder_544 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_asym_580 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_DecStrictPartialOrder_544 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> T_'8869'_4 Source #

d_irrefl_582 :: T_DecStrictPartialOrder_544 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> T_'8869'_4 Source #

d_isEquivalence_584 :: T_DecStrictPartialOrder_544 -> T_IsEquivalence_26 Source #

d_isStrictPartialOrder_586 :: T_DecStrictPartialOrder_544 -> T_IsStrictPartialOrder_266 Source #

d_trans_588 :: T_DecStrictPartialOrder_544 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_strictPartialOrder_608 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_DecStrictPartialOrder_544 -> T_StrictPartialOrder_472 Source #

du_strictPartialOrder_608 :: T_DecStrictPartialOrder_544 -> T_StrictPartialOrder_472 Source #

d_decSetoid_612 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_DecStrictPartialOrder_544 -> T_DecSetoid_84 Source #

du_decSetoid_612 :: T_DecStrictPartialOrder_544 -> T_DecSetoid_84 Source #

d__'8776'__616 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_DecStrictPartialOrder_544 -> AgdaAny -> AgdaAny -> () Source #

d__'8777'__618 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_DecStrictPartialOrder_544 -> AgdaAny -> AgdaAny -> () Source #

d__'8799'__620 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_DecStrictPartialOrder_544 -> AgdaAny -> AgdaAny -> T_Dec_32 Source #

du__'8799'__620 :: T_DecStrictPartialOrder_544 -> AgdaAny -> AgdaAny -> T_Dec_32 Source #

d_Carrier_622 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_DecStrictPartialOrder_544 -> () Source #

d_isDecEquivalence_624 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_DecStrictPartialOrder_544 -> T_IsDecEquivalence_44 Source #

du_isDecEquivalence_624 :: T_DecStrictPartialOrder_544 -> T_IsDecEquivalence_44 Source #

d_isEquivalence_626 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_DecStrictPartialOrder_544 -> T_IsEquivalence_26 Source #

du_isEquivalence_626 :: T_DecStrictPartialOrder_544 -> T_IsEquivalence_26 Source #

d_isPartialEquivalence_628 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_DecStrictPartialOrder_544 -> T_IsPartialEquivalence_16 Source #

du_isPartialEquivalence_628 :: T_DecStrictPartialOrder_544 -> T_IsPartialEquivalence_16 Source #

d_partialSetoid_630 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_DecStrictPartialOrder_544 -> T_PartialSetoid_10 Source #

du_partialSetoid_630 :: T_DecStrictPartialOrder_544 -> T_PartialSetoid_10 Source #

d_refl_632 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_DecStrictPartialOrder_544 -> AgdaAny -> AgdaAny Source #

du_refl_632 :: T_DecStrictPartialOrder_544 -> AgdaAny -> AgdaAny Source #

d_reflexive_634 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_DecStrictPartialOrder_544 -> AgdaAny -> AgdaAny -> T__'8801'__12 -> AgdaAny Source #

du_reflexive_634 :: T_DecStrictPartialOrder_544 -> AgdaAny -> AgdaAny -> T__'8801'__12 -> AgdaAny Source #

d_setoid_636 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_DecStrictPartialOrder_544 -> T_Setoid_44 Source #

du_setoid_636 :: T_DecStrictPartialOrder_544 -> T_Setoid_44 Source #

d_sym_638 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_DecStrictPartialOrder_544 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_sym_638 :: T_DecStrictPartialOrder_544 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_trans_640 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_DecStrictPartialOrder_544 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_trans_640 :: T_DecStrictPartialOrder_544 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_TotalOrder_648 :: p1 -> p2 -> p3 -> () Source #

newtype T_TotalOrder_648 Source #

Constructors

C_TotalOrder'46'constructor_10731 T_IsTotalOrder_380 

d_Carrier_664 :: T_TotalOrder_648 -> () Source #

d__'8776'__666 :: T_TotalOrder_648 -> AgdaAny -> AgdaAny -> () Source #

d__'8804'__668 :: T_TotalOrder_648 -> AgdaAny -> AgdaAny -> () Source #

d_isTotalOrder_670 :: T_TotalOrder_648 -> T_IsTotalOrder_380 Source #

d_antisym_674 :: T_TotalOrder_648 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_isEquivalence_676 :: T_TotalOrder_648 -> T_IsEquivalence_26 Source #

d_isPartialOrder_678 :: T_TotalOrder_648 -> T_IsPartialOrder_162 Source #

d_isPreorder_680 :: T_TotalOrder_648 -> T_IsPreorder_70 Source #

d_isTotalPreorder_682 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> T_IsTotalPreorder_118 Source #

du_isTotalPreorder_682 :: T_TotalOrder_648 -> T_IsTotalPreorder_118 Source #

d_refl_684 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> AgdaAny -> AgdaAny Source #

du_refl_684 :: T_TotalOrder_648 -> AgdaAny -> AgdaAny Source #

d_reflexive_686 :: T_TotalOrder_648 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_total_688 :: T_TotalOrder_648 -> AgdaAny -> AgdaAny -> T__'8846'__30 Source #

d_trans_690 :: T_TotalOrder_648 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'8764''45'resp'45''8776'_692 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> T_Σ_14 Source #

du_'8764''45'resp'45''8776'_692 :: T_TotalOrder_648 -> T_Σ_14 Source #

d_'8764''45'resp'691''45''8776'_694 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_'8764''45'resp'691''45''8776'_694 :: T_TotalOrder_648 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'8764''45'resp'737''45''8776'_696 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_'8764''45'resp'737''45''8776'_696 :: T_TotalOrder_648 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_poset_698 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> T_Poset_282 Source #

du_poset_698 :: T_TotalOrder_648 -> T_Poset_282 Source #

d_preorder_702 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> T_Preorder_132 Source #

du_preorder_702 :: T_TotalOrder_648 -> T_Preorder_132 Source #

d__'8776'__706 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> AgdaAny -> AgdaAny -> () Source #

d__'8777'__708 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> AgdaAny -> AgdaAny -> () Source #

d_Carrier_710 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> () Source #

d_isEquivalence_712 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> T_IsEquivalence_26 Source #

du_isEquivalence_712 :: T_TotalOrder_648 -> T_IsEquivalence_26 Source #

d_isPartialEquivalence_714 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> T_IsPartialEquivalence_16 Source #

du_isPartialEquivalence_714 :: T_TotalOrder_648 -> T_IsPartialEquivalence_16 Source #

d_partialSetoid_716 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> T_PartialSetoid_10 Source #

du_partialSetoid_716 :: T_TotalOrder_648 -> T_PartialSetoid_10 Source #

d_refl_718 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> AgdaAny -> AgdaAny Source #

du_refl_718 :: T_TotalOrder_648 -> AgdaAny -> AgdaAny Source #

d_reflexive_720 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> AgdaAny -> AgdaAny -> T__'8801'__12 -> AgdaAny Source #

du_reflexive_720 :: T_TotalOrder_648 -> AgdaAny -> AgdaAny -> T__'8801'__12 -> AgdaAny Source #

d_setoid_722 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> T_Setoid_44 Source #

du_setoid_722 :: T_TotalOrder_648 -> T_Setoid_44 Source #

d_sym_724 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_sym_724 :: T_TotalOrder_648 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_trans_726 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_trans_726 :: T_TotalOrder_648 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_totalPreorder_728 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_TotalOrder_648 -> T_TotalPreorder_204 Source #

du_totalPreorder_728 :: T_TotalOrder_648 -> T_TotalPreorder_204 Source #

d_DecTotalOrder_736 :: p1 -> p2 -> p3 -> () Source #

newtype T_DecTotalOrder_736 Source #

Constructors

C_DecTotalOrder'46'constructor_12347 T_IsDecTotalOrder_430 

d_Carrier_752 :: T_DecTotalOrder_736 -> () Source #

d__'8776'__754 :: T_DecTotalOrder_736 -> AgdaAny -> AgdaAny -> () Source #

d__'8804'__756 :: T_DecTotalOrder_736 -> AgdaAny -> AgdaAny -> () Source #

d_isDecTotalOrder_758 :: T_DecTotalOrder_736 -> T_IsDecTotalOrder_430 Source #

d__'8799'__762 :: T_DecTotalOrder_736 -> AgdaAny -> AgdaAny -> T_Dec_32 Source #

d__'8804''63'__764 :: T_DecTotalOrder_736 -> AgdaAny -> AgdaAny -> T_Dec_32 Source #

d_antisym_766 :: T_DecTotalOrder_736 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_isDecPartialOrder_768 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_DecTotalOrder_736 -> T_IsDecPartialOrder_206 Source #

du_isDecPartialOrder_768 :: T_DecTotalOrder_736 -> T_IsDecPartialOrder_206 Source #

d_isEquivalence_770 :: T_DecTotalOrder_736 -> T_IsEquivalence_26 Source #

d_isPartialOrder_772 :: T_DecTotalOrder_736 -> T_IsPartialOrder_162 Source #

d_isPreorder_774 :: T_DecTotalOrder_736 -> T_IsPreorder_70 Source #

d_isTotalOrder_776 :: T_DecTotalOrder_736 -> T_IsTotalOrder_380 Source #

d_isTotalPreorder_778 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_DecTotalOrder_736 -> T_IsTotalPreorder_118 Source #

du_isTotalPreorder_778 :: T_DecTotalOrder_736 -> T_IsTotalPreorder_118 Source #

d_refl_780 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_DecTotalOrder_736 -> AgdaAny -> AgdaAny Source #

du_refl_780 :: T_DecTotalOrder_736 -> AgdaAny -> AgdaAny Source #

d_reflexive_782 :: T_DecTotalOrder_736 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_total_784 :: T_DecTotalOrder_736 -> AgdaAny -> AgdaAny -> T__'8846'__30 Source #

d_trans_786 :: T_DecTotalOrder_736 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'8764''45'resp'45''8776'_788 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_DecTotalOrder_736 -> T_Σ_14 Source #

du_'8764''45'resp'45''8776'_788 :: T_DecTotalOrder_736 -> T_Σ_14 Source #

d_'8764''45'resp'691''45''8776'_790 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_DecTotalOrder_736 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_'8764''45'resp'691''45''8776'_790 :: T_DecTotalOrder_736 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'8764''45'resp'737''45''8776'_792 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_DecTotalOrder_736 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_'8764''45'resp'737''45''8776'_792 :: T_DecTotalOrder_736 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_totalOrder_812 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_DecTotalOrder_736 -> T_TotalOrder_648 Source #

du_totalOrder_812 :: T_DecTotalOrder_736 -> T_TotalOrder_648 Source #

d_poset_816 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_DecTotalOrder_736 -> T_Poset_282 Source #

du_poset_816 :: T_DecTotalOrder_736 -> T_Poset_282 Source #

d_preorder_818 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_DecTotalOrder_736 -> T_Preorder_132 Source #

du_preorder_818 :: T_DecTotalOrder_736 -> T_Preorder_132 Source #

d_decPoset_820 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_DecTotalOrder_736 -> T_DecPoset_360 Source #

du_decPoset_820 :: T_DecTotalOrder_736 -> T_DecPoset_360 Source #

d__'8776'__826 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_DecTotalOrder_736 -> AgdaAny -> AgdaAny -> () Source #

d__'8777'__828 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_DecTotalOrder_736 -> AgdaAny -> AgdaAny -> () Source #

d__'8799'__830 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_DecTotalOrder_736 -> AgdaAny -> AgdaAny -> T_Dec_32 Source #

du__'8799'__830 :: T_DecTotalOrder_736 -> AgdaAny -> AgdaAny -> T_Dec_32 Source #

d_Carrier_832 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_DecTotalOrder_736 -> () Source #

d_decSetoid_834 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_DecTotalOrder_736 -> T_DecSetoid_84 Source #

du_decSetoid_834 :: T_DecTotalOrder_736 -> T_DecSetoid_84 Source #

d_isDecEquivalence_836 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_DecTotalOrder_736 -> T_IsDecEquivalence_44 Source #

du_isDecEquivalence_836 :: T_DecTotalOrder_736 -> T_IsDecEquivalence_44 Source #

d_isEquivalence_838 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_DecTotalOrder_736 -> T_IsEquivalence_26 Source #

du_isEquivalence_838 :: T_DecTotalOrder_736 -> T_IsEquivalence_26 Source #

d_isPartialEquivalence_840 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_DecTotalOrder_736 -> T_IsPartialEquivalence_16 Source #

du_isPartialEquivalence_840 :: T_DecTotalOrder_736 -> T_IsPartialEquivalence_16 Source #

d_partialSetoid_842 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_DecTotalOrder_736 -> T_PartialSetoid_10 Source #

du_partialSetoid_842 :: T_DecTotalOrder_736 -> T_PartialSetoid_10 Source #

d_refl_844 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_DecTotalOrder_736 -> AgdaAny -> AgdaAny Source #

du_refl_844 :: T_DecTotalOrder_736 -> AgdaAny -> AgdaAny Source #

d_reflexive_846 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_DecTotalOrder_736 -> AgdaAny -> AgdaAny -> T__'8801'__12 -> AgdaAny Source #

du_reflexive_846 :: T_DecTotalOrder_736 -> AgdaAny -> AgdaAny -> T__'8801'__12 -> AgdaAny Source #

d_setoid_848 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_DecTotalOrder_736 -> T_Setoid_44 Source #

du_setoid_848 :: T_DecTotalOrder_736 -> T_Setoid_44 Source #

d_sym_850 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_DecTotalOrder_736 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_sym_850 :: T_DecTotalOrder_736 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_trans_852 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_DecTotalOrder_736 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_trans_852 :: T_DecTotalOrder_736 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_StrictTotalOrder_860 :: p1 -> p2 -> p3 -> () Source #

newtype T_StrictTotalOrder_860 Source #

Constructors

C_StrictTotalOrder'46'constructor_14493 T_IsStrictTotalOrder_498 

d_Carrier_876 :: T_StrictTotalOrder_860 -> () Source #

d__'8776'__878 :: T_StrictTotalOrder_860 -> AgdaAny -> AgdaAny -> () Source #

d__'60'__880 :: T_StrictTotalOrder_860 -> AgdaAny -> AgdaAny -> () Source #

d_isStrictTotalOrder_882 :: T_StrictTotalOrder_860 -> T_IsStrictTotalOrder_498 Source #

d__'60''63'__886 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_StrictTotalOrder_860 -> AgdaAny -> AgdaAny -> T_Dec_32 Source #

du__'60''63'__886 :: T_StrictTotalOrder_860 -> AgdaAny -> AgdaAny -> T_Dec_32 Source #

d__'8799'__888 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_StrictTotalOrder_860 -> AgdaAny -> AgdaAny -> T_Dec_32 Source #

du__'8799'__888 :: T_StrictTotalOrder_860 -> AgdaAny -> AgdaAny -> T_Dec_32 Source #

d_'60''45'resp'45''8776'_890 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_StrictTotalOrder_860 -> T_Σ_14 Source #

du_'60''45'resp'45''8776'_890 :: T_StrictTotalOrder_860 -> T_Σ_14 Source #

d_'60''45'resp'691''45''8776'_892 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_StrictTotalOrder_860 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_'60''45'resp'691''45''8776'_892 :: T_StrictTotalOrder_860 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_'60''45'resp'737''45''8776'_894 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_StrictTotalOrder_860 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_'60''45'resp'737''45''8776'_894 :: T_StrictTotalOrder_860 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_asym_896 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_StrictTotalOrder_860 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> T_'8869'_4 Source #

d_compare_898 :: T_StrictTotalOrder_860 -> AgdaAny -> AgdaAny -> T_Tri_136 Source #

d_irrefl_900 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_StrictTotalOrder_860 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> T_'8869'_4 Source #

d_isDecEquivalence_902 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_StrictTotalOrder_860 -> T_IsDecEquivalence_44 Source #

du_isDecEquivalence_902 :: T_StrictTotalOrder_860 -> T_IsDecEquivalence_44 Source #

d_isDecStrictPartialOrder_904 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_StrictTotalOrder_860 -> T_IsDecStrictPartialOrder_312 Source #

du_isDecStrictPartialOrder_904 :: T_StrictTotalOrder_860 -> T_IsDecStrictPartialOrder_312 Source #

d_isEquivalence_906 :: T_StrictTotalOrder_860 -> T_IsEquivalence_26 Source #

d_isStrictPartialOrder_908 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_StrictTotalOrder_860 -> T_IsStrictPartialOrder_266 Source #

du_isStrictPartialOrder_908 :: T_StrictTotalOrder_860 -> T_IsStrictPartialOrder_266 Source #

d_trans_910 :: T_StrictTotalOrder_860 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_strictPartialOrder_912 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_StrictTotalOrder_860 -> T_StrictPartialOrder_472 Source #

du_strictPartialOrder_912 :: T_StrictTotalOrder_860 -> T_StrictPartialOrder_472 Source #

d__'8776'__918 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_StrictTotalOrder_860 -> AgdaAny -> AgdaAny -> () Source #

d__'8777'__920 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_StrictTotalOrder_860 -> AgdaAny -> AgdaAny -> () Source #

d_Carrier_922 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_StrictTotalOrder_860 -> () Source #

d_isEquivalence_924 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_StrictTotalOrder_860 -> T_IsEquivalence_26 Source #

du_isEquivalence_924 :: T_StrictTotalOrder_860 -> T_IsEquivalence_26 Source #

d_isPartialEquivalence_926 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_StrictTotalOrder_860 -> T_IsPartialEquivalence_16 Source #

du_isPartialEquivalence_926 :: T_StrictTotalOrder_860 -> T_IsPartialEquivalence_16 Source #

d_partialSetoid_928 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_StrictTotalOrder_860 -> T_PartialSetoid_10 Source #

du_partialSetoid_928 :: T_StrictTotalOrder_860 -> T_PartialSetoid_10 Source #

d_refl_930 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_StrictTotalOrder_860 -> AgdaAny -> AgdaAny Source #

du_refl_930 :: T_StrictTotalOrder_860 -> AgdaAny -> AgdaAny Source #

d_reflexive_932 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_StrictTotalOrder_860 -> AgdaAny -> AgdaAny -> T__'8801'__12 -> AgdaAny Source #

du_reflexive_932 :: T_StrictTotalOrder_860 -> AgdaAny -> AgdaAny -> T__'8801'__12 -> AgdaAny Source #

d_setoid_934 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_StrictTotalOrder_860 -> T_Setoid_44 Source #

du_setoid_934 :: T_StrictTotalOrder_860 -> T_Setoid_44 Source #

d_sym_936 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_StrictTotalOrder_860 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_sym_936 :: T_StrictTotalOrder_860 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_trans_938 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_StrictTotalOrder_860 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

du_trans_938 :: T_StrictTotalOrder_860 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny Source #

d_decSetoid_940 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_StrictTotalOrder_860 -> T_DecSetoid_84 Source #

du_decSetoid_940 :: T_StrictTotalOrder_860 -> T_DecSetoid_84 Source #