Documentation

d_Parity_6 ∷ () Source #

data T_Parity_6 Source #

d__'8315''185'_12 ∷ T_Parity_6 → T_Parity_6 Source #

d__'43'__14 ∷ T_Parity_6 → T_Parity_6 → T_Parity_6 Source #

d__'42'__20 ∷ T_Parity_6 → T_Parity_6 → T_Parity_6 Source #

d_'43''45'rawMagma_26 ∷ T_RawMagma_36 Source #

d_'43''45'0'45'rawMonoid_28 ∷ T_RawMonoid_64 Source #

d_'43''45'0'45'rawGroup_30 ∷ T_RawGroup_96 Source #

d_'42''45'rawMagma_32 ∷ T_RawMagma_36 Source #

d_'42''45'1'45'rawMonoid_34 ∷ T_RawMonoid_64 Source #

d_'43''45''42''45'rawNearSemiring_36 ∷ T_RawNearSemiring_134 Source #

d_'43''45''42''45'rawSemiring_38 ∷ T_RawSemiring_174 Source #

d_toSign_40 ∷ T_Parity_6 → T_Sign_6 Source #

d_fromSign_42 ∷ T_Sign_6 → T_Parity_6 Source #