| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
MAlonzo.Code.Algebra.Bundles.Raw
Documentation
d_RawSuccessorSet_10 ∷ p → p → () Source #
data T_RawSuccessorSet_10 Source #
Constructors
| C_RawSuccessorSet'46'constructor_89 (AgdaAny → AgdaAny) AgdaAny |
d_Carrier_24 ∷ T_RawSuccessorSet_10 → () Source #
d__'8776'__26 ∷ T_RawSuccessorSet_10 → AgdaAny → AgdaAny → () Source #
d_RawMagma_36 ∷ p → p → () Source #
newtype T_RawMagma_36 Source #
Constructors
| C_RawMagma'46'constructor_341 (AgdaAny → AgdaAny → AgdaAny) |
d_Carrier_48 ∷ T_RawMagma_36 → () Source #
d__'8776'__50 ∷ T_RawMagma_36 → AgdaAny → AgdaAny → () Source #
d__'8729'__52 ∷ T_RawMagma_36 → AgdaAny → AgdaAny → AgdaAny Source #
d__'8777'__54 ∷ T_Level_18 → T_Level_18 → T_RawMagma_36 → AgdaAny → AgdaAny → () Source #
d_RawMonoid_64 ∷ p → p → () Source #
data T_RawMonoid_64 Source #
Constructors
| C_RawMonoid'46'constructor_745 (AgdaAny → AgdaAny → AgdaAny) AgdaAny |
d_Carrier_78 ∷ T_RawMonoid_64 → () Source #
d__'8776'__80 ∷ T_RawMonoid_64 → AgdaAny → AgdaAny → () Source #
d__'8729'__82 ∷ T_RawMonoid_64 → AgdaAny → AgdaAny → AgdaAny Source #
d__'8777'__90 ∷ T_Level_18 → T_Level_18 → T_RawMonoid_64 → AgdaAny → AgdaAny → () Source #
d_RawGroup_96 ∷ p → p → () Source #
data T_RawGroup_96 Source #
d_Carrier_112 ∷ T_RawGroup_96 → () Source #
d__'8776'__114 ∷ T_RawGroup_96 → AgdaAny → AgdaAny → () Source #
d__'8729'__116 ∷ T_RawGroup_96 → AgdaAny → AgdaAny → AgdaAny Source #
d__'8777'__126 ∷ T_Level_18 → T_Level_18 → T_RawGroup_96 → AgdaAny → AgdaAny → () Source #
d_RawNearSemiring_134 ∷ p → p → () Source #
data T_RawNearSemiring_134 Source #
d__'8776'__152 ∷ T_RawNearSemiring_134 → AgdaAny → AgdaAny → () Source #
d__'8777'__164 ∷ T_Level_18 → T_Level_18 → T_RawNearSemiring_134 → AgdaAny → AgdaAny → () Source #
d_RawSemiring_174 ∷ p → p → () Source #
data T_RawSemiring_174 Source #
d_Carrier_192 ∷ T_RawSemiring_174 → () Source #
d__'8776'__194 ∷ T_RawSemiring_174 → AgdaAny → AgdaAny → () Source #
d_rawNearSemiring_204 ∷ T_Level_18 → T_Level_18 → T_RawSemiring_174 → T_RawNearSemiring_134 Source #
d__'8777'__208 ∷ T_Level_18 → T_Level_18 → T_RawSemiring_174 → AgdaAny → AgdaAny → () Source #
d_RawRingWithoutOne_222 ∷ p → p → () Source #
d__'8776'__242 ∷ T_RawRingWithoutOne_222 → AgdaAny → AgdaAny → () Source #
d__'8777'__256 ∷ T_Level_18 → T_Level_18 → T_RawRingWithoutOne_222 → AgdaAny → AgdaAny → () Source #
d_RawRing_268 ∷ p → p → () Source #
data T_RawRing_268 Source #
d_Carrier_288 ∷ T_RawRing_268 → () Source #
d__'8776'__290 ∷ T_RawRing_268 → AgdaAny → AgdaAny → () Source #
d__'43'__292 ∷ T_RawRing_268 → AgdaAny → AgdaAny → AgdaAny Source #
d__'42'__294 ∷ T_RawRing_268 → AgdaAny → AgdaAny → AgdaAny Source #
d__'8777'__306 ∷ T_Level_18 → T_Level_18 → T_RawRing_268 → AgdaAny → AgdaAny → () Source #
d_rawRingWithoutOne_316 ∷ T_Level_18 → T_Level_18 → T_RawRing_268 → T_RawRingWithoutOne_222 Source #
d_RawQuasigroup_326 ∷ p → p → () Source #
data T_RawQuasigroup_326 Source #
d_Carrier_342 ∷ T_RawQuasigroup_326 → () Source #
d__'8776'__344 ∷ T_RawQuasigroup_326 → AgdaAny → AgdaAny → () Source #
d__'8777'__360 ∷ T_Level_18 → T_Level_18 → T_RawQuasigroup_326 → AgdaAny → AgdaAny → () Source #
d_RawLoop_366 ∷ p → p → () Source #
data T_RawLoop_366 Source #
d_Carrier_384 ∷ T_RawLoop_366 → () Source #
d__'8776'__386 ∷ T_RawLoop_366 → AgdaAny → AgdaAny → () Source #
d__'8729'__388 ∷ T_RawLoop_366 → AgdaAny → AgdaAny → AgdaAny Source #
d__'8777'__400 ∷ T_Level_18 → T_Level_18 → T_RawLoop_366 → AgdaAny → AgdaAny → () Source #
d_RawKleeneAlgebra_412 ∷ p → p → () Source #
d__'8776'__434 ∷ T_RawKleeneAlgebra_412 → AgdaAny → AgdaAny → () Source #
d__'8777'__450 ∷ T_Level_18 → T_Level_18 → T_RawKleeneAlgebra_412 → AgdaAny → AgdaAny → () Source #
d_'42''45'rawMonoid_454 ∷ T_Level_18 → T_Level_18 → T_RawKleeneAlgebra_412 → T_RawMonoid_64 Source #