Documentation

d_Parity_6 :: () #

data T_Parity_6 #

d__'8315''185'_12 :: T_Parity_6 -> T_Parity_6 #

d__'43'__14 :: T_Parity_6 -> T_Parity_6 -> T_Parity_6 #

d__'42'__20 :: T_Parity_6 -> T_Parity_6 -> T_Parity_6 #

d_'43''45'rawMagma_26 :: T_RawMagma_36 #

d_'43''45'0'45'rawMonoid_28 :: T_RawMonoid_64 #

d_'43''45'0'45'rawGroup_30 :: T_RawGroup_96 #

d_'42''45'rawMagma_32 :: T_RawMagma_36 #

d_'42''45'1'45'rawMonoid_34 :: T_RawMonoid_64 #

d_'43''45''42''45'rawNearSemiring_36 :: T_RawNearSemiring_134 #

d_'43''45''42''45'rawSemiring_38 :: T_RawSemiring_174 #

d_toSign_40 :: T_Parity_6 -> T_Sign_6 #

d_fromSign_42 :: T_Sign_6 -> T_Parity_6 #