Safe Haskell	Safe-Inferred
Language	Haskell2010

MAlonzo.Code.Algebra.Bundles.Raw

Documentation

d_RawSuccessorSet_10 :: p -> p -> () #

data T_RawSuccessorSet_10 #

Constructors

C_RawSuccessorSet'46'constructor_89 (AgdaAny -> AgdaAny) AgdaAny

d_Carrier_24 :: T_RawSuccessorSet_10 -> () #

d__'8776'__26 :: T_RawSuccessorSet_10 -> AgdaAny -> AgdaAny -> () #

d_suc'35'_28 :: T_RawSuccessorSet_10 -> AgdaAny -> AgdaAny #

d_zero'35'_30 :: T_RawSuccessorSet_10 -> AgdaAny #

d_RawMagma_36 :: p -> p -> () #

newtype T_RawMagma_36 #

Constructors

C_RawMagma'46'constructor_341 (AgdaAny -> AgdaAny -> AgdaAny)

d_Carrier_48 :: T_RawMagma_36 -> () #

d__'8776'__50 :: T_RawMagma_36 -> AgdaAny -> AgdaAny -> () #

d__'8729'__52 :: T_RawMagma_36 -> AgdaAny -> AgdaAny -> AgdaAny #

d__'8777'__54 :: T_Level_18 -> T_Level_18 -> T_RawMagma_36 -> AgdaAny -> AgdaAny -> () #

d_RawMonoid_64 :: p -> p -> () #

data T_RawMonoid_64 #

Constructors

C_RawMonoid'46'constructor_745 (AgdaAny -> AgdaAny -> AgdaAny) AgdaAny

d_Carrier_78 :: T_RawMonoid_64 -> () #

d__'8776'__80 :: T_RawMonoid_64 -> AgdaAny -> AgdaAny -> () #

d__'8729'__82 :: T_RawMonoid_64 -> AgdaAny -> AgdaAny -> AgdaAny #

d_ε_84 :: T_RawMonoid_64 -> AgdaAny #

d_rawMagma_86 :: T_Level_18 -> T_Level_18 -> T_RawMonoid_64 -> T_RawMagma_36 #

du_rawMagma_86 :: T_RawMonoid_64 -> T_RawMagma_36 #

d__'8777'__90 :: T_Level_18 -> T_Level_18 -> T_RawMonoid_64 -> AgdaAny -> AgdaAny -> () #

d_RawGroup_96 :: p -> p -> () #

data T_RawGroup_96 #

Constructors

C_RawGroup'46'constructor_1207 (AgdaAny -> AgdaAny -> AgdaAny) AgdaAny (AgdaAny -> AgdaAny)

d_Carrier_112 :: T_RawGroup_96 -> () #

d__'8776'__114 :: T_RawGroup_96 -> AgdaAny -> AgdaAny -> () #

d__'8729'__116 :: T_RawGroup_96 -> AgdaAny -> AgdaAny -> AgdaAny #

d_ε_118 :: T_RawGroup_96 -> AgdaAny #

d__'8315''185'_120 :: T_RawGroup_96 -> AgdaAny -> AgdaAny #

d_rawMonoid_122 :: T_Level_18 -> T_Level_18 -> T_RawGroup_96 -> T_RawMonoid_64 #

du_rawMonoid_122 :: T_RawGroup_96 -> T_RawMonoid_64 #

d__'8777'__126 :: T_Level_18 -> T_Level_18 -> T_RawGroup_96 -> AgdaAny -> AgdaAny -> () #

d_rawMagma_128 :: T_Level_18 -> T_Level_18 -> T_RawGroup_96 -> T_RawMagma_36 #

du_rawMagma_128 :: T_RawGroup_96 -> T_RawMagma_36 #

d_RawNearSemiring_134 :: p -> p -> () #

data T_RawNearSemiring_134 #

Constructors

C_RawNearSemiring'46'constructor_1729 (AgdaAny -> AgdaAny -> AgdaAny) (AgdaAny -> AgdaAny -> AgdaAny) AgdaAny

d_Carrier_150 :: T_RawNearSemiring_134 -> () #

d__'8776'__152 :: T_RawNearSemiring_134 -> AgdaAny -> AgdaAny -> () #

d__'43'__154 :: T_RawNearSemiring_134 -> AgdaAny -> AgdaAny -> AgdaAny #

d__'42'__156 :: T_RawNearSemiring_134 -> AgdaAny -> AgdaAny -> AgdaAny #

d_0'35'_158 :: T_RawNearSemiring_134 -> AgdaAny #

d_'43''45'rawMonoid_160 :: T_Level_18 -> T_Level_18 -> T_RawNearSemiring_134 -> T_RawMonoid_64 #

du_'43''45'rawMonoid_160 :: T_RawNearSemiring_134 -> T_RawMonoid_64 #

d__'8777'__164 :: T_Level_18 -> T_Level_18 -> T_RawNearSemiring_134 -> AgdaAny -> AgdaAny -> () #

d_rawMagma_166 :: T_Level_18 -> T_Level_18 -> T_RawNearSemiring_134 -> T_RawMagma_36 #

du_rawMagma_166 :: T_RawNearSemiring_134 -> T_RawMagma_36 #

d_'42''45'rawMagma_168 :: T_Level_18 -> T_Level_18 -> T_RawNearSemiring_134 -> T_RawMagma_36 #

du_'42''45'rawMagma_168 :: T_RawNearSemiring_134 -> T_RawMagma_36 #

d_RawSemiring_174 :: p -> p -> () #

data T_RawSemiring_174 #

Constructors

C_RawSemiring'46'constructor_2353 (AgdaAny -> AgdaAny -> AgdaAny) (AgdaAny -> AgdaAny -> AgdaAny) AgdaAny AgdaAny

d_Carrier_192 :: T_RawSemiring_174 -> () #

d__'8776'__194 :: T_RawSemiring_174 -> AgdaAny -> AgdaAny -> () #

d__'43'__196 :: T_RawSemiring_174 -> AgdaAny -> AgdaAny -> AgdaAny #

d__'42'__198 :: T_RawSemiring_174 -> AgdaAny -> AgdaAny -> AgdaAny #

d_0'35'_200 :: T_RawSemiring_174 -> AgdaAny #

d_1'35'_202 :: T_RawSemiring_174 -> AgdaAny #

d_rawNearSemiring_204 :: T_Level_18 -> T_Level_18 -> T_RawSemiring_174 -> T_RawNearSemiring_134 #

du_rawNearSemiring_204 :: T_RawSemiring_174 -> T_RawNearSemiring_134 #

d__'8777'__208 :: T_Level_18 -> T_Level_18 -> T_RawSemiring_174 -> AgdaAny -> AgdaAny -> () #

d_'42''45'rawMagma_210 :: T_Level_18 -> T_Level_18 -> T_RawSemiring_174 -> T_RawMagma_36 #

du_'42''45'rawMagma_210 :: T_RawSemiring_174 -> T_RawMagma_36 #

d_rawMagma_212 :: T_Level_18 -> T_Level_18 -> T_RawSemiring_174 -> T_RawMagma_36 #

du_rawMagma_212 :: T_RawSemiring_174 -> T_RawMagma_36 #

d_'43''45'rawMonoid_214 :: T_Level_18 -> T_Level_18 -> T_RawSemiring_174 -> T_RawMonoid_64 #

du_'43''45'rawMonoid_214 :: T_RawSemiring_174 -> T_RawMonoid_64 #

d_'42''45'rawMonoid_216 :: T_Level_18 -> T_Level_18 -> T_RawSemiring_174 -> T_RawMonoid_64 #

du_'42''45'rawMonoid_216 :: T_RawSemiring_174 -> T_RawMonoid_64 #

d_RawRingWithoutOne_222 :: p -> p -> () #

data T_RawRingWithoutOne_222 #

Constructors

C_RawRingWithoutOne'46'constructor_3105 (AgdaAny -> AgdaAny -> AgdaAny) (AgdaAny -> AgdaAny -> AgdaAny) (AgdaAny -> AgdaAny) AgdaAny

d_Carrier_240 :: T_RawRingWithoutOne_222 -> () #

d__'8776'__242 :: T_RawRingWithoutOne_222 -> AgdaAny -> AgdaAny -> () #

d__'43'__244 :: T_RawRingWithoutOne_222 -> AgdaAny -> AgdaAny -> AgdaAny #

d__'42'__246 :: T_RawRingWithoutOne_222 -> AgdaAny -> AgdaAny -> AgdaAny #

d_'45'__248 :: T_RawRingWithoutOne_222 -> AgdaAny -> AgdaAny #

d_0'35'_250 :: T_RawRingWithoutOne_222 -> AgdaAny #

d_'43''45'rawGroup_252 :: T_Level_18 -> T_Level_18 -> T_RawRingWithoutOne_222 -> T_RawGroup_96 #

du_'43''45'rawGroup_252 :: T_RawRingWithoutOne_222 -> T_RawGroup_96 #

d__'8777'__256 :: T_Level_18 -> T_Level_18 -> T_RawRingWithoutOne_222 -> AgdaAny -> AgdaAny -> () #

d_rawMagma_258 :: T_Level_18 -> T_Level_18 -> T_RawRingWithoutOne_222 -> T_RawMagma_36 #

du_rawMagma_258 :: T_RawRingWithoutOne_222 -> T_RawMagma_36 #

d_rawMonoid_260 :: T_Level_18 -> T_Level_18 -> T_RawRingWithoutOne_222 -> T_RawMonoid_64 #

du_rawMonoid_260 :: T_RawRingWithoutOne_222 -> T_RawMonoid_64 #

d_'42''45'rawMagma_262 :: T_Level_18 -> T_Level_18 -> T_RawRingWithoutOne_222 -> T_RawMagma_36 #

du_'42''45'rawMagma_262 :: T_RawRingWithoutOne_222 -> T_RawMagma_36 #

d_RawRing_268 :: p -> p -> () #

data T_RawRing_268 #

Constructors

C_RawRing'46'constructor_3857 (AgdaAny -> AgdaAny -> AgdaAny) (AgdaAny -> AgdaAny -> AgdaAny) (AgdaAny -> AgdaAny) AgdaAny AgdaAny

d_Carrier_288 :: T_RawRing_268 -> () #

d__'8776'__290 :: T_RawRing_268 -> AgdaAny -> AgdaAny -> () #

d__'43'__292 :: T_RawRing_268 -> AgdaAny -> AgdaAny -> AgdaAny #

d__'42'__294 :: T_RawRing_268 -> AgdaAny -> AgdaAny -> AgdaAny #

d_'45'__296 :: T_RawRing_268 -> AgdaAny -> AgdaAny #

d_0'35'_298 :: T_RawRing_268 -> AgdaAny #

d_1'35'_300 :: T_RawRing_268 -> AgdaAny #

d_rawSemiring_302 :: T_Level_18 -> T_Level_18 -> T_RawRing_268 -> T_RawSemiring_174 #

du_rawSemiring_302 :: T_RawRing_268 -> T_RawSemiring_174 #

d__'8777'__306 :: T_Level_18 -> T_Level_18 -> T_RawRing_268 -> AgdaAny -> AgdaAny -> () #

d_'42''45'rawMagma_308 :: T_Level_18 -> T_Level_18 -> T_RawRing_268 -> T_RawMagma_36 #

du_'42''45'rawMagma_308 :: T_RawRing_268 -> T_RawMagma_36 #

d_'42''45'rawMonoid_310 :: T_Level_18 -> T_Level_18 -> T_RawRing_268 -> T_RawMonoid_64 #

du_'42''45'rawMonoid_310 :: T_RawRing_268 -> T_RawMonoid_64 #

d_rawMagma_312 :: T_Level_18 -> T_Level_18 -> T_RawRing_268 -> T_RawMagma_36 #

du_rawMagma_312 :: T_RawRing_268 -> T_RawMagma_36 #

d_'43''45'rawMonoid_314 :: T_Level_18 -> T_Level_18 -> T_RawRing_268 -> T_RawMonoid_64 #

du_'43''45'rawMonoid_314 :: T_RawRing_268 -> T_RawMonoid_64 #

d_rawRingWithoutOne_316 :: T_Level_18 -> T_Level_18 -> T_RawRing_268 -> T_RawRingWithoutOne_222 #

du_rawRingWithoutOne_316 :: T_RawRing_268 -> T_RawRingWithoutOne_222 #

d_'43''45'rawGroup_320 :: T_Level_18 -> T_Level_18 -> T_RawRing_268 -> T_RawGroup_96 #

du_'43''45'rawGroup_320 :: T_RawRing_268 -> T_RawGroup_96 #

d_RawQuasigroup_326 :: p -> p -> () #

data T_RawQuasigroup_326 #

Constructors

C_RawQuasigroup'46'constructor_4731 (AgdaAny -> AgdaAny -> AgdaAny) (AgdaAny -> AgdaAny -> AgdaAny) (AgdaAny -> AgdaAny -> AgdaAny)

d_Carrier_342 :: T_RawQuasigroup_326 -> () #

d__'8776'__344 :: T_RawQuasigroup_326 -> AgdaAny -> AgdaAny -> () #

d__'8729'__346 :: T_RawQuasigroup_326 -> AgdaAny -> AgdaAny -> AgdaAny #

d__'92''92'__348 :: T_RawQuasigroup_326 -> AgdaAny -> AgdaAny -> AgdaAny #

d__'47''47'__350 :: T_RawQuasigroup_326 -> AgdaAny -> AgdaAny -> AgdaAny #

d_'8729''45'rawMagma_352 :: T_Level_18 -> T_Level_18 -> T_RawQuasigroup_326 -> T_RawMagma_36 #

du_'8729''45'rawMagma_352 :: T_RawQuasigroup_326 -> T_RawMagma_36 #

d_'92''92''45'rawMagma_354 :: T_Level_18 -> T_Level_18 -> T_RawQuasigroup_326 -> T_RawMagma_36 #

du_'92''92''45'rawMagma_354 :: T_RawQuasigroup_326 -> T_RawMagma_36 #

d_'47''47''45'rawMagma_356 :: T_Level_18 -> T_Level_18 -> T_RawQuasigroup_326 -> T_RawMagma_36 #

du_'47''47''45'rawMagma_356 :: T_RawQuasigroup_326 -> T_RawMagma_36 #

d__'8777'__360 :: T_Level_18 -> T_Level_18 -> T_RawQuasigroup_326 -> AgdaAny -> AgdaAny -> () #

d_RawLoop_366 :: p -> p -> () #

data T_RawLoop_366 #

Constructors

C_RawLoop'46'constructor_5465 (AgdaAny -> AgdaAny -> AgdaAny) (AgdaAny -> AgdaAny -> AgdaAny) (AgdaAny -> AgdaAny -> AgdaAny) AgdaAny

d_Carrier_384 :: T_RawLoop_366 -> () #

d__'8776'__386 :: T_RawLoop_366 -> AgdaAny -> AgdaAny -> () #

d__'8729'__388 :: T_RawLoop_366 -> AgdaAny -> AgdaAny -> AgdaAny #

d__'92''92'__390 :: T_RawLoop_366 -> AgdaAny -> AgdaAny -> AgdaAny #

d__'47''47'__392 :: T_RawLoop_366 -> AgdaAny -> AgdaAny -> AgdaAny #

d_ε_394 :: T_RawLoop_366 -> AgdaAny #

d_rawQuasigroup_396 :: T_Level_18 -> T_Level_18 -> T_RawLoop_366 -> T_RawQuasigroup_326 #

du_rawQuasigroup_396 :: T_RawLoop_366 -> T_RawQuasigroup_326 #

d__'8777'__400 :: T_Level_18 -> T_Level_18 -> T_RawLoop_366 -> AgdaAny -> AgdaAny -> () #

d_'47''47''45'rawMagma_402 :: T_Level_18 -> T_Level_18 -> T_RawLoop_366 -> T_RawMagma_36 #

du_'47''47''45'rawMagma_402 :: T_RawLoop_366 -> T_RawMagma_36 #

d_'92''92''45'rawMagma_404 :: T_Level_18 -> T_Level_18 -> T_RawLoop_366 -> T_RawMagma_36 #

du_'92''92''45'rawMagma_404 :: T_RawLoop_366 -> T_RawMagma_36 #

d_'8729''45'rawMagma_406 :: T_Level_18 -> T_Level_18 -> T_RawLoop_366 -> T_RawMagma_36 #

du_'8729''45'rawMagma_406 :: T_RawLoop_366 -> T_RawMagma_36 #

d_RawKleeneAlgebra_412 :: p -> p -> () #

data T_RawKleeneAlgebra_412 #

Constructors

C_RawKleeneAlgebra'46'constructor_6153 (AgdaAny -> AgdaAny -> AgdaAny) (AgdaAny -> AgdaAny -> AgdaAny) (AgdaAny -> AgdaAny) AgdaAny AgdaAny

d_Carrier_432 :: T_RawKleeneAlgebra_412 -> () #

d__'8776'__434 :: T_RawKleeneAlgebra_412 -> AgdaAny -> AgdaAny -> () #

d__'43'__436 :: T_RawKleeneAlgebra_412 -> AgdaAny -> AgdaAny -> AgdaAny #

d__'42'__438 :: T_RawKleeneAlgebra_412 -> AgdaAny -> AgdaAny -> AgdaAny #

d__'8902'_440 :: T_RawKleeneAlgebra_412 -> AgdaAny -> AgdaAny #

d_0'35'_442 :: T_RawKleeneAlgebra_412 -> AgdaAny #

d_1'35'_444 :: T_RawKleeneAlgebra_412 -> AgdaAny #

d_rawSemiring_446 :: T_Level_18 -> T_Level_18 -> T_RawKleeneAlgebra_412 -> T_RawSemiring_174 #

du_rawSemiring_446 :: T_RawKleeneAlgebra_412 -> T_RawSemiring_174 #

d__'8777'__450 :: T_Level_18 -> T_Level_18 -> T_RawKleeneAlgebra_412 -> AgdaAny -> AgdaAny -> () #

d_'42''45'rawMagma_452 :: T_Level_18 -> T_Level_18 -> T_RawKleeneAlgebra_412 -> T_RawMagma_36 #

du_'42''45'rawMagma_452 :: T_RawKleeneAlgebra_412 -> T_RawMagma_36 #

d_'42''45'rawMonoid_454 :: T_Level_18 -> T_Level_18 -> T_RawKleeneAlgebra_412 -> T_RawMonoid_64 #

du_'42''45'rawMonoid_454 :: T_RawKleeneAlgebra_412 -> T_RawMonoid_64 #

d_rawMagma_456 :: T_Level_18 -> T_Level_18 -> T_RawKleeneAlgebra_412 -> T_RawMagma_36 #

du_rawMagma_456 :: T_RawKleeneAlgebra_412 -> T_RawMagma_36 #

d_'43''45'rawMonoid_458 :: T_Level_18 -> T_Level_18 -> T_RawKleeneAlgebra_412 -> T_RawMonoid_64 #

du_'43''45'rawMonoid_458 :: T_RawKleeneAlgebra_412 -> T_RawMonoid_64 #