Documentation

type Semigroup op a = (SemigroupC op a, Magma op a) Source #

type Monoid op a = (MonoidC op a, Semigroup op a, Neutral op a) Source #

type Group op a = (GroupC op a, Monoid op a, Cancellative 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 #