Documentation

d_RawSuccessorSet_10 ∷ p → p → () Source #

data T_RawSuccessorSet_10 Source #

d_Carrier_24 ∷ T_RawSuccessorSet_10 → () Source #

d__'8776'__26 ∷ T_RawSuccessorSet_10 → AgdaAny → AgdaAny → () Source #

d_suc'35'_28 ∷ T_RawSuccessorSet_10 → AgdaAny → AgdaAny Source #

d_zero'35'_30 ∷ T_RawSuccessorSet_10 → AgdaAny Source #

d_rawSetoid_32 ∷ T_Level_18 → T_Level_18 → T_RawSuccessorSet_10 → T_RawSetoid_12 Source #

d__'8777'__36 ∷ T_Level_18 → T_Level_18 → T_RawSuccessorSet_10 → AgdaAny → AgdaAny → () Source #

d_RawMagma_44 ∷ p → p → () Source #

newtype T_RawMagma_44 Source #

d_Carrier_56 ∷ T_RawMagma_44 → () Source #

d__'8776'__58 ∷ T_RawMagma_44 → AgdaAny → AgdaAny → () Source #

d__'8729'__60 ∷ T_RawMagma_44 → AgdaAny → AgdaAny → AgdaAny Source #

d_rawSetoid_62 ∷ T_Level_18 → T_Level_18 → T_RawMagma_44 → T_RawSetoid_12 Source #

d__'8777'__66 ∷ T_Level_18 → T_Level_18 → T_RawMagma_44 → AgdaAny → AgdaAny → () Source #

d_RawMonoid_74 ∷ p → p → () Source #

data T_RawMonoid_74 Source #

d_Carrier_88 ∷ T_RawMonoid_74 → () Source #

d__'8776'__90 ∷ T_RawMonoid_74 → AgdaAny → AgdaAny → () Source #

d__'8729'__92 ∷ T_RawMonoid_74 → AgdaAny → AgdaAny → AgdaAny Source #

d_ε_94 ∷ T_RawMonoid_74 → AgdaAny Source #

d_rawMagma_96 ∷ T_Level_18 → T_Level_18 → T_RawMonoid_74 → T_RawMagma_44 Source #

du_rawMagma_96 ∷ T_RawMonoid_74 → T_RawMagma_44 Source #

d__'8777'__100 ∷ T_Level_18 → T_Level_18 → T_RawMonoid_74 → AgdaAny → AgdaAny → () Source #

d_RawGroup_108 ∷ p → p → () Source #

data T_RawGroup_108 Source #

d_Carrier_124 ∷ T_RawGroup_108 → () Source #

d__'8776'__126 ∷ T_RawGroup_108 → AgdaAny → AgdaAny → () Source #

d__'8729'__128 ∷ T_RawGroup_108 → AgdaAny → AgdaAny → AgdaAny Source #

d_ε_130 ∷ T_RawGroup_108 → AgdaAny Source #

d__'8315''185'_132 ∷ T_RawGroup_108 → AgdaAny → AgdaAny Source #

d_rawMonoid_134 ∷ T_Level_18 → T_Level_18 → T_RawGroup_108 → T_RawMonoid_74 Source #

du_rawMonoid_134 ∷ T_RawGroup_108 → T_RawMonoid_74 Source #

d__'8777'__138 ∷ T_Level_18 → T_Level_18 → T_RawGroup_108 → AgdaAny → AgdaAny → () Source #

d_rawMagma_140 ∷ T_Level_18 → T_Level_18 → T_RawGroup_108 → T_RawMagma_44 Source #

du_rawMagma_140 ∷ T_RawGroup_108 → T_RawMagma_44 Source #

d_RawNearSemiring_148 ∷ p → p → () Source #

data T_RawNearSemiring_148 Source #

d_Carrier_164 ∷ T_RawNearSemiring_148 → () Source #

d__'8776'__166 ∷ T_RawNearSemiring_148 → AgdaAny → AgdaAny → () Source #

d__'43'__168 ∷ T_RawNearSemiring_148 → AgdaAny → AgdaAny → AgdaAny Source #

d__'42'__170 ∷ T_RawNearSemiring_148 → AgdaAny → AgdaAny → AgdaAny Source #

d_0'35'_172 ∷ T_RawNearSemiring_148 → AgdaAny Source #

d_'43''45'rawMonoid_174 ∷ T_Level_18 → T_Level_18 → T_RawNearSemiring_148 → T_RawMonoid_74 Source #

du_'43''45'rawMonoid_174 ∷ T_RawNearSemiring_148 → T_RawMonoid_74 Source #

d__'8777'__178 ∷ T_Level_18 → T_Level_18 → T_RawNearSemiring_148 → AgdaAny → AgdaAny → () Source #

d_rawMagma_180 ∷ T_Level_18 → T_Level_18 → T_RawNearSemiring_148 → T_RawMagma_44 Source #

du_rawMagma_180 ∷ T_RawNearSemiring_148 → T_RawMagma_44 Source #

d_'42''45'rawMagma_182 ∷ T_Level_18 → T_Level_18 → T_RawNearSemiring_148 → T_RawMagma_44 Source #

du_'42''45'rawMagma_182 ∷ T_RawNearSemiring_148 → T_RawMagma_44 Source #

d_RawSemiring_190 ∷ p → p → () Source #

data T_RawSemiring_190 Source #

d_Carrier_208 ∷ T_RawSemiring_190 → () Source #

d__'8776'__210 ∷ T_RawSemiring_190 → AgdaAny → AgdaAny → () Source #

d__'43'__212 ∷ T_RawSemiring_190 → AgdaAny → AgdaAny → AgdaAny Source #

d__'42'__214 ∷ T_RawSemiring_190 → AgdaAny → AgdaAny → AgdaAny Source #

d_0'35'_216 ∷ T_RawSemiring_190 → AgdaAny Source #

d_1'35'_218 ∷ T_RawSemiring_190 → AgdaAny Source #

d_rawNearSemiring_220 ∷ T_Level_18 → T_Level_18 → T_RawSemiring_190 → T_RawNearSemiring_148 Source #

du_rawNearSemiring_220 ∷ T_RawSemiring_190 → T_RawNearSemiring_148 Source #

d__'8777'__224 ∷ T_Level_18 → T_Level_18 → T_RawSemiring_190 → AgdaAny → AgdaAny → () Source #

d_'42''45'rawMagma_226 ∷ T_Level_18 → T_Level_18 → T_RawSemiring_190 → T_RawMagma_44 Source #

du_'42''45'rawMagma_226 ∷ T_RawSemiring_190 → T_RawMagma_44 Source #

d_rawMagma_228 ∷ T_Level_18 → T_Level_18 → T_RawSemiring_190 → T_RawMagma_44 Source #

du_rawMagma_228 ∷ T_RawSemiring_190 → T_RawMagma_44 Source #

d_'43''45'rawMonoid_230 ∷ T_Level_18 → T_Level_18 → T_RawSemiring_190 → T_RawMonoid_74 Source #

du_'43''45'rawMonoid_230 ∷ T_RawSemiring_190 → T_RawMonoid_74 Source #

d_'42''45'rawMonoid_232 ∷ T_Level_18 → T_Level_18 → T_RawSemiring_190 → T_RawMonoid_74 Source #

du_'42''45'rawMonoid_232 ∷ T_RawSemiring_190 → T_RawMonoid_74 Source #

d_RawRingWithoutOne_240 ∷ p → p → () Source #

data T_RawRingWithoutOne_240 Source #

d_Carrier_258 ∷ T_RawRingWithoutOne_240 → () Source #

d__'8776'__260 ∷ T_RawRingWithoutOne_240 → AgdaAny → AgdaAny → () Source #

d__'43'__262 ∷ T_RawRingWithoutOne_240 → AgdaAny → AgdaAny → AgdaAny Source #

d__'42'__264 ∷ T_RawRingWithoutOne_240 → AgdaAny → AgdaAny → AgdaAny Source #

d_'45'__266 ∷ T_RawRingWithoutOne_240 → AgdaAny → AgdaAny Source #

d_0'35'_268 ∷ T_RawRingWithoutOne_240 → AgdaAny Source #

d_rawNearSemiring_270 ∷ T_Level_18 → T_Level_18 → T_RawRingWithoutOne_240 → T_RawNearSemiring_148 Source #

du_rawNearSemiring_270 ∷ T_RawRingWithoutOne_240 → T_RawNearSemiring_148 Source #

d__'8777'__274 ∷ T_Level_18 → T_Level_18 → T_RawRingWithoutOne_240 → AgdaAny → AgdaAny → () Source #

d_'42''45'rawMagma_276 ∷ T_Level_18 → T_Level_18 → T_RawRingWithoutOne_240 → T_RawMagma_44 Source #

du_'42''45'rawMagma_276 ∷ T_RawRingWithoutOne_240 → T_RawMagma_44 Source #

d_rawMagma_278 ∷ T_Level_18 → T_Level_18 → T_RawRingWithoutOne_240 → T_RawMagma_44 Source #

du_rawMagma_278 ∷ T_RawRingWithoutOne_240 → T_RawMagma_44 Source #

d_'43''45'rawMonoid_280 ∷ T_Level_18 → T_Level_18 → T_RawRingWithoutOne_240 → T_RawMonoid_74 Source #

du_'43''45'rawMonoid_280 ∷ T_RawRingWithoutOne_240 → T_RawMonoid_74 Source #

d_'43''45'rawGroup_282 ∷ T_Level_18 → T_Level_18 → T_RawRingWithoutOne_240 → T_RawGroup_108 Source #

du_'43''45'rawGroup_282 ∷ T_RawRingWithoutOne_240 → T_RawGroup_108 Source #

d_RawRing_290 ∷ p → p → () Source #

data T_RawRing_290 Source #

d_Carrier_310 ∷ T_RawRing_290 → () Source #

d__'8776'__312 ∷ T_RawRing_290 → AgdaAny → AgdaAny → () Source #

d__'43'__314 ∷ T_RawRing_290 → AgdaAny → AgdaAny → AgdaAny Source #

d__'42'__316 ∷ T_RawRing_290 → AgdaAny → AgdaAny → AgdaAny Source #

d_'45'__318 ∷ T_RawRing_290 → AgdaAny → AgdaAny Source #

d_0'35'_320 ∷ T_RawRing_290 → AgdaAny Source #

d_1'35'_322 ∷ T_RawRing_290 → AgdaAny Source #

d_rawSemiring_324 ∷ T_Level_18 → T_Level_18 → T_RawRing_290 → T_RawSemiring_190 Source #

du_rawSemiring_324 ∷ T_RawRing_290 → T_RawSemiring_190 Source #

d__'8777'__328 ∷ T_Level_18 → T_Level_18 → T_RawRing_290 → AgdaAny → AgdaAny → () Source #

d_'42''45'rawMagma_330 ∷ T_Level_18 → T_Level_18 → T_RawRing_290 → T_RawMagma_44 Source #

du_'42''45'rawMagma_330 ∷ T_RawRing_290 → T_RawMagma_44 Source #

d_'42''45'rawMonoid_332 ∷ T_Level_18 → T_Level_18 → T_RawRing_290 → T_RawMonoid_74 Source #

du_'42''45'rawMonoid_332 ∷ T_RawRing_290 → T_RawMonoid_74 Source #

d_rawMagma_334 ∷ T_Level_18 → T_Level_18 → T_RawRing_290 → T_RawMagma_44 Source #

du_rawMagma_334 ∷ T_RawRing_290 → T_RawMagma_44 Source #

d_'43''45'rawMonoid_336 ∷ T_Level_18 → T_Level_18 → T_RawRing_290 → T_RawMonoid_74 Source #

du_'43''45'rawMonoid_336 ∷ T_RawRing_290 → T_RawMonoid_74 Source #

d_rawRingWithoutOne_338 ∷ T_Level_18 → T_Level_18 → T_RawRing_290 → T_RawRingWithoutOne_240 Source #

du_rawRingWithoutOne_338 ∷ T_RawRing_290 → T_RawRingWithoutOne_240 Source #

d_'43''45'rawGroup_342 ∷ T_Level_18 → T_Level_18 → T_RawRing_290 → T_RawGroup_108 Source #

du_'43''45'rawGroup_342 ∷ T_RawRing_290 → T_RawGroup_108 Source #

d_RawQuasigroup_350 ∷ p → p → () Source #

data T_RawQuasigroup_350 Source #

d_Carrier_366 ∷ T_RawQuasigroup_350 → () Source #

d__'8776'__368 ∷ T_RawQuasigroup_350 → AgdaAny → AgdaAny → () Source #

d__'8729'__370 ∷ T_RawQuasigroup_350 → AgdaAny → AgdaAny → AgdaAny Source #

d__'92''92'__372 ∷ T_RawQuasigroup_350 → AgdaAny → AgdaAny → AgdaAny Source #

d__'47''47'__374 ∷ T_RawQuasigroup_350 → AgdaAny → AgdaAny → AgdaAny Source #

d_'8729''45'rawMagma_376 ∷ T_Level_18 → T_Level_18 → T_RawQuasigroup_350 → T_RawMagma_44 Source #

du_'8729''45'rawMagma_376 ∷ T_RawQuasigroup_350 → T_RawMagma_44 Source #

d_'92''92''45'rawMagma_378 ∷ T_Level_18 → T_Level_18 → T_RawQuasigroup_350 → T_RawMagma_44 Source #

du_'92''92''45'rawMagma_378 ∷ T_RawQuasigroup_350 → T_RawMagma_44 Source #

d_'47''47''45'rawMagma_380 ∷ T_Level_18 → T_Level_18 → T_RawQuasigroup_350 → T_RawMagma_44 Source #

du_'47''47''45'rawMagma_380 ∷ T_RawQuasigroup_350 → T_RawMagma_44 Source #

d__'8777'__384 ∷ T_Level_18 → T_Level_18 → T_RawQuasigroup_350 → AgdaAny → AgdaAny → () Source #

d_RawLoop_392 ∷ p → p → () Source #

data T_RawLoop_392 Source #

d_Carrier_410 ∷ T_RawLoop_392 → () Source #

d__'8776'__412 ∷ T_RawLoop_392 → AgdaAny → AgdaAny → () Source #

d__'8729'__414 ∷ T_RawLoop_392 → AgdaAny → AgdaAny → AgdaAny Source #

d__'92''92'__416 ∷ T_RawLoop_392 → AgdaAny → AgdaAny → AgdaAny Source #

d__'47''47'__418 ∷ T_RawLoop_392 → AgdaAny → AgdaAny → AgdaAny Source #

d_ε_420 ∷ T_RawLoop_392 → AgdaAny Source #

d_rawQuasigroup_422 ∷ T_Level_18 → T_Level_18 → T_RawLoop_392 → T_RawQuasigroup_350 Source #

du_rawQuasigroup_422 ∷ T_RawLoop_392 → T_RawQuasigroup_350 Source #

d__'8777'__426 ∷ T_Level_18 → T_Level_18 → T_RawLoop_392 → AgdaAny → AgdaAny → () Source #

d_'47''47''45'rawMagma_428 ∷ T_Level_18 → T_Level_18 → T_RawLoop_392 → T_RawMagma_44 Source #

du_'47''47''45'rawMagma_428 ∷ T_RawLoop_392 → T_RawMagma_44 Source #

d_'92''92''45'rawMagma_430 ∷ T_Level_18 → T_Level_18 → T_RawLoop_392 → T_RawMagma_44 Source #

du_'92''92''45'rawMagma_430 ∷ T_RawLoop_392 → T_RawMagma_44 Source #

d_'8729''45'rawMagma_432 ∷ T_Level_18 → T_Level_18 → T_RawLoop_392 → T_RawMagma_44 Source #

du_'8729''45'rawMagma_432 ∷ T_RawLoop_392 → T_RawMagma_44 Source #

d_RawKleeneAlgebra_440 ∷ p → p → () Source #

data T_RawKleeneAlgebra_440 Source #

d_Carrier_460 ∷ T_RawKleeneAlgebra_440 → () Source #

d__'8776'__462 ∷ T_RawKleeneAlgebra_440 → AgdaAny → AgdaAny → () Source #

d__'43'__464 ∷ T_RawKleeneAlgebra_440 → AgdaAny → AgdaAny → AgdaAny Source #

d__'42'__466 ∷ T_RawKleeneAlgebra_440 → AgdaAny → AgdaAny → AgdaAny Source #

d__'8902'_468 ∷ T_RawKleeneAlgebra_440 → AgdaAny → AgdaAny Source #

d_0'35'_470 ∷ T_RawKleeneAlgebra_440 → AgdaAny Source #

d_1'35'_472 ∷ T_RawKleeneAlgebra_440 → AgdaAny Source #

d_rawSemiring_474 ∷ T_Level_18 → T_Level_18 → T_RawKleeneAlgebra_440 → T_RawSemiring_190 Source #

du_rawSemiring_474 ∷ T_RawKleeneAlgebra_440 → T_RawSemiring_190 Source #

d__'8777'__478 ∷ T_Level_18 → T_Level_18 → T_RawKleeneAlgebra_440 → AgdaAny → AgdaAny → () Source #

d_'42''45'rawMagma_480 ∷ T_Level_18 → T_Level_18 → T_RawKleeneAlgebra_440 → T_RawMagma_44 Source #

du_'42''45'rawMagma_480 ∷ T_RawKleeneAlgebra_440 → T_RawMagma_44 Source #

d_'42''45'rawMonoid_482 ∷ T_Level_18 → T_Level_18 → T_RawKleeneAlgebra_440 → T_RawMonoid_74 Source #

du_'42''45'rawMonoid_482 ∷ T_RawKleeneAlgebra_440 → T_RawMonoid_74 Source #

d_rawMagma_484 ∷ T_Level_18 → T_Level_18 → T_RawKleeneAlgebra_440 → T_RawMagma_44 Source #

du_rawMagma_484 ∷ T_RawKleeneAlgebra_440 → T_RawMagma_44 Source #

d_'43''45'rawMonoid_486 ∷ T_Level_18 → T_Level_18 → T_RawKleeneAlgebra_440 → T_RawMonoid_74 Source #

du_'43''45'rawMonoid_486 ∷ T_RawKleeneAlgebra_440 → T_RawMonoid_74 Source #