Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
type Semigroup op a = (SemigroupC op a, Magma op a) Source #
type AbelianGroup op a = (AbelianGroupC op a, Group op a, Commutative op a) Source #
type DeriveMagma_Tagged tag op a = MagmaTagged tag (MagmaS op a) Source #
type DeriveMagma_Named tag op a = MagmaNamed tag (MagmaS op a) Source #
type DeriveCommutative_Tagged tag op a = CommutativeTagged tag (CommutativeS op a) Source #
type DeriveCancellative_Tagged tag op a = CancellativeTagged tag (CancellativeS op a) Source #
type DeriveNeutral_Tagged tag op a = NeutralTagged tag (NeutralS op a) Source #
type DeriveSemigroup_Magma t a = Semigroup_Magma (MagmaS t a) Source #
type DeriveMonoid_Semigroup_Neutral t a = Monoid_Semigroup_Neutral (SemigroupS t a) (NeutralS t a) Source #
type DeriveGroup_Monoid_Cancellative t a = Group_Monoid_Cancellative (MonoidS t a) (CancellativeS t a) Source #
type DeriveAbelianGroup_Commutative_Group t a = AbelianGroup_Commutative_Group (CommutativeS t a) (GroupS t a) Source #
type DeriveAbelianGroup_Commutative_Monoid_Cancellative t a = AbelianGroup_Commutative_Group (CommutativeS t a) (DeriveGroup_Monoid_Cancellative t a) Source #
data ComplexLift Source #