Safe Haskell	Safe
Language	Haskell2010

Noether.Algebra.Tags

Synopsis

Documentation

data BinaryNumeric Source #

Constructors

Add
Mul

Instances

Num a => NeutralK BinaryNumeric Add a NeutralNum Source #
Methods neutralK :: Proxy Add a -> Proxy NeutralE s -> NeutralNum Source #
Num a => NeutralK BinaryNumeric Mul a NeutralNum Source #
Methods neutralK :: Proxy Mul a -> Proxy NeutralE s -> NeutralNum Source #
Num a => MagmaK BinaryNumeric Add a MagmaNum Source #
Methods binaryOpK :: Proxy Add a -> Proxy MagmaE s -> MagmaNum -> MagmaNum -> MagmaNum Source #
Num a => MagmaK BinaryNumeric Mul a MagmaNum Source #
Methods binaryOpK :: Proxy Mul a -> Proxy MagmaE s -> MagmaNum -> MagmaNum -> MagmaNum Source #
Num a => CancellativeK BinaryNumeric Add a CancellativeNum Source #
Methods cancelK :: Proxy Add a -> Proxy CancellativeE s -> CancellativeNum -> CancellativeNum Source #
Fractional a => CancellativeK BinaryNumeric Mul a CancellativeFractional Source #
Methods cancelK :: Proxy Mul a -> Proxy CancellativeE s -> CancellativeFractional -> CancellativeFractional Source #
Num a => CommutativeK * BinaryNumeric Add a CommutativeNum Source #

Num a => CommutativeK * BinaryNumeric Mul a CommutativeNum Source #

type NeutralS BinaryNumeric _ Rational Source #
type NeutralS BinaryNumeric _ Rational = NeutralNum
type NeutralS BinaryNumeric _ Rational Source #
type NeutralS BinaryNumeric _ Rational = NeutralNum
type NeutralS BinaryNumeric _ Double Source #
type NeutralS BinaryNumeric _ Double = NeutralNum
type NeutralS BinaryNumeric _ Float Source #
type NeutralS BinaryNumeric _ Float = NeutralNum
type NeutralS BinaryNumeric _ Integer Source #
type NeutralS BinaryNumeric _ Integer = NeutralNum
type NeutralS BinaryNumeric _ Int Source #
type NeutralS BinaryNumeric _ Int = NeutralNum
type MagmaS BinaryNumeric _ Rational Source #
type MagmaS BinaryNumeric _ Rational = MagmaNum
type MagmaS BinaryNumeric _ Rational Source #
type MagmaS BinaryNumeric _ Rational = MagmaNum
type MagmaS BinaryNumeric _ Double Source #
type MagmaS BinaryNumeric _ Double = MagmaNum
type MagmaS BinaryNumeric _ Float Source #
type MagmaS BinaryNumeric _ Float = MagmaNum
type MagmaS BinaryNumeric _ Integer Source #
type MagmaS BinaryNumeric _ Integer = MagmaNum
type MagmaS BinaryNumeric _ Int Source #
type MagmaS BinaryNumeric _ Int = MagmaNum
type SemigroupS BinaryNumeric op Rational Source #
type SemigroupS BinaryNumeric op Rational = DeriveSemigroup_Magma BinaryNumeric op Rational
type SemigroupS BinaryNumeric op Rational Source #
type SemigroupS BinaryNumeric op Rational = DeriveSemigroup_Magma BinaryNumeric op Rational
type SemigroupS BinaryNumeric op Double Source #
type SemigroupS BinaryNumeric op Double = DeriveSemigroup_Magma BinaryNumeric op Double
type SemigroupS BinaryNumeric op Float Source #
type SemigroupS BinaryNumeric op Float = DeriveSemigroup_Magma BinaryNumeric op Float
type SemigroupS BinaryNumeric op Integer Source #
type SemigroupS BinaryNumeric op Integer = DeriveSemigroup_Magma BinaryNumeric op Integer
type SemigroupS BinaryNumeric op Int Source #
type SemigroupS BinaryNumeric op Int = DeriveSemigroup_Magma BinaryNumeric op Int
type MonoidS BinaryNumeric op Rational Source #
type MonoidS BinaryNumeric op Rational = DeriveMonoid_Semigroup_Neutral BinaryNumeric op Rational
type MonoidS BinaryNumeric op Rational Source #
type MonoidS BinaryNumeric op Rational = DeriveMonoid_Semigroup_Neutral BinaryNumeric op Rational
type MonoidS BinaryNumeric op Double Source #
type MonoidS BinaryNumeric op Double = DeriveMonoid_Semigroup_Neutral BinaryNumeric op Double
type MonoidS BinaryNumeric op Float Source #
type MonoidS BinaryNumeric op Float = DeriveMonoid_Semigroup_Neutral BinaryNumeric op Float
type MonoidS BinaryNumeric op Integer Source #
type MonoidS BinaryNumeric op Integer = DeriveMonoid_Semigroup_Neutral BinaryNumeric op Integer
type MonoidS BinaryNumeric op Int Source #
type MonoidS BinaryNumeric op Int = DeriveMonoid_Semigroup_Neutral BinaryNumeric op Int
type CommutativeS BinaryNumeric _ Rational Source #
type CommutativeS BinaryNumeric _ Rational = CommutativeNum
type CommutativeS BinaryNumeric _ Rational Source #
type CommutativeS BinaryNumeric _ Rational = CommutativeNum
type CommutativeS BinaryNumeric _ Double Source #
type CommutativeS BinaryNumeric _ Double = CommutativeNum
type CommutativeS BinaryNumeric _ Float Source #
type CommutativeS BinaryNumeric _ Float = CommutativeNum
type CommutativeS BinaryNumeric _ Integer Source #
type CommutativeS BinaryNumeric _ Integer = CommutativeNum
type CommutativeS BinaryNumeric _ Int Source #
type CommutativeS BinaryNumeric _ Int = CommutativeNum
type CancellativeS BinaryNumeric Add Double Source #
type CancellativeS BinaryNumeric Add Double = CancellativeNum
type CancellativeS BinaryNumeric Add Float Source #
type CancellativeS BinaryNumeric Add Float = CancellativeNum
type CancellativeS BinaryNumeric Add Int Source #
type CancellativeS BinaryNumeric Add Int = CancellativeNum
type CancellativeS BinaryNumeric Add Integer Source #
type CancellativeS BinaryNumeric Add Integer = CancellativeNum
type CancellativeS BinaryNumeric Add Rational Source #
type CancellativeS BinaryNumeric Add Rational = CancellativeNum
type CancellativeS BinaryNumeric Add Rational Source #
type CancellativeS BinaryNumeric Add Rational = CancellativeNum
type CancellativeS BinaryNumeric Mul Double Source #
type CancellativeS BinaryNumeric Mul Double = CancellativeFractional
type CancellativeS BinaryNumeric Mul Float Source #
type CancellativeS BinaryNumeric Mul Float = CancellativeFractional
type CancellativeS BinaryNumeric Mul Rational Source #
type CancellativeS BinaryNumeric Mul Rational = CancellativeFractional
type CancellativeS BinaryNumeric Mul Rational Source #
type CancellativeS BinaryNumeric Mul Rational = CancellativeFractional
type GroupS BinaryNumeric op Rational Source #
type GroupS BinaryNumeric op Rational = DeriveGroup_Monoid_Cancellative BinaryNumeric op Rational
type GroupS BinaryNumeric op Rational Source #
type GroupS BinaryNumeric op Rational = DeriveGroup_Monoid_Cancellative BinaryNumeric op Rational
type GroupS BinaryNumeric op Double Source #
type GroupS BinaryNumeric op Double = DeriveGroup_Monoid_Cancellative BinaryNumeric op Double
type GroupS BinaryNumeric op Float Source #
type GroupS BinaryNumeric op Float = DeriveGroup_Monoid_Cancellative BinaryNumeric op Float
type GroupS BinaryNumeric Add Int Source #
type GroupS BinaryNumeric Add Int = DeriveGroup_Monoid_Cancellative BinaryNumeric Add Int
type GroupS BinaryNumeric Add Integer Source #
type GroupS BinaryNumeric Add Integer = DeriveGroup_Monoid_Cancellative BinaryNumeric Add Integer
type AbelianGroupS BinaryNumeric op Rational Source #
type AbelianGroupS BinaryNumeric op Rational = DeriveAbelianGroup_Commutative_Group BinaryNumeric op Rational
type AbelianGroupS BinaryNumeric op Rational Source #
type AbelianGroupS BinaryNumeric op Rational = DeriveAbelianGroup_Commutative_Group BinaryNumeric op Rational
type AbelianGroupS BinaryNumeric op Double Source #
type AbelianGroupS BinaryNumeric op Double = DeriveAbelianGroup_Commutative_Group BinaryNumeric op Double
type AbelianGroupS BinaryNumeric op Float Source #
type AbelianGroupS BinaryNumeric op Float = DeriveAbelianGroup_Commutative_Group BinaryNumeric op Float
type AbelianGroupS BinaryNumeric Add Int Source #
type AbelianGroupS BinaryNumeric Add Int = DeriveAbelianGroup_Commutative_Group BinaryNumeric Add Int
type AbelianGroupS BinaryNumeric Add Integer Source #
type AbelianGroupS BinaryNumeric Add Integer = DeriveAbelianGroup_Commutative_Group BinaryNumeric Add Integer
type SemiringS BinaryNumeric BinaryNumeric Add Mul Double Source #
type SemiringS BinaryNumeric BinaryNumeric Add Mul Double = DeriveSemiring_Commutative_Monoid_Monoid BinaryNumeric BinaryNumeric Add Mul Double
type RingS BinaryNumeric BinaryNumeric Add Mul Double Source #
type RingS BinaryNumeric BinaryNumeric Add Mul Double = DeriveRingDoc_AbelianGroup_Group BinaryNumeric BinaryNumeric Add Mul Double
type ActsS BinaryNumeric lr op Rational Rational Source #
type ActsS BinaryNumeric lr op Rational Rational = DeriveActs_Magma BinaryNumeric op Rational
type ActsS BinaryNumeric lr op Double Double Source #
type ActsS BinaryNumeric lr op Double Double = DeriveActs_Magma BinaryNumeric op Double
type CompatibleS BinaryNumeric BinaryNumeric lr op op Rational Rational Source #
type CompatibleS BinaryNumeric BinaryNumeric lr op op Rational Rational = DeriveCompatible_Associativity BinaryNumeric lr op Rational
type CompatibleS BinaryNumeric BinaryNumeric lr op op Double Double Source #
type CompatibleS BinaryNumeric BinaryNumeric lr op op Double Double = DeriveCompatible_Associativity BinaryNumeric lr op Double
type ActeeLinearS BinaryNumeric BinaryNumeric lr Mul Rational Add Rational Source #
type ActeeLinearS BinaryNumeric BinaryNumeric lr Mul Rational Add Rational = DeriveActeeLinearActs_RightDistributivity BinaryNumeric BinaryNumeric lr Add Mul Rational
type ActeeLinearS BinaryNumeric BinaryNumeric lr Mul Double Add Double Source #
type ActeeLinearS BinaryNumeric BinaryNumeric lr Mul Double Add Double = DeriveActeeLinearActs_RightDistributivity BinaryNumeric BinaryNumeric lr Add Mul Double
type ActorLinearS BinaryNumeric BinaryNumeric BinaryNumeric lr Mul Add Rational Add Rational Source #
type ActorLinearS BinaryNumeric BinaryNumeric BinaryNumeric lr Mul Add Rational Add Rational = DeriveActorLinearActs_LeftDistributivity BinaryNumeric BinaryNumeric lr Add Mul Rational
type ActorLinearS BinaryNumeric BinaryNumeric BinaryNumeric lr Mul Add Double Add Double Source #
type ActorLinearS BinaryNumeric BinaryNumeric BinaryNumeric lr Mul Add Double Add Double = DeriveActorLinearActs_LeftDistributivity BinaryNumeric BinaryNumeric lr Add Mul Double
type RightModuleS BinaryNumeric BinaryNumeric BinaryNumeric BinaryNumeric Mul Add Mul Double Add Double Source #
type RightModuleS BinaryNumeric BinaryNumeric BinaryNumeric BinaryNumeric Mul Add Mul Double Add Double = DeriveRightModule_Self BinaryNumeric BinaryNumeric Add Mul Double
type LeftModuleS BinaryNumeric BinaryNumeric BinaryNumeric BinaryNumeric Mul Add Mul Double Add Double Source #
type LeftModuleS BinaryNumeric BinaryNumeric BinaryNumeric BinaryNumeric Mul Add Mul Double Add Double = DeriveLeftModule_Self BinaryNumeric BinaryNumeric Add Mul Double
type ActorLinearS BinaryNumeric BinaryNumeric BinaryNumeric lr Mul Add a Add (UVector n a) Source #
type ActorLinearS BinaryNumeric BinaryNumeric BinaryNumeric lr Mul Add a Add (UVector n a) = DeriveActorLinearActs_Acts_Semigroup_Semigroup BinaryNumeric BinaryNumeric BinaryNumeric lr Mul Add a Add (UVector n a)
type ActorLinearS BinaryNumeric BinaryNumeric BinaryNumeric lr Mul Add a Add (BVector k n a) Source #
type ActorLinearS BinaryNumeric BinaryNumeric BinaryNumeric lr Mul Add a Add (BVector k n a) = DeriveActorLinearActs_Acts_Semigroup_Semigroup BinaryNumeric BinaryNumeric BinaryNumeric lr Mul Add a Add (BVector k n a)
type ActorLinearS BinaryNumeric BinaryNumeric BinaryNumeric lr Mul Add (Complex Double) Add (Complex Double) Source #
type ActorLinearS BinaryNumeric BinaryNumeric BinaryNumeric lr Mul Add (Complex Double) Add (Complex Double) = DeriveActorLinearActs_LeftDistributivity BinaryNumeric BinaryNumeric lr Add Mul (Complex Double)
type CompatibleS BinaryNumeric BinaryNumeric lr Mul Mul a (UVector n b) Source #
type CompatibleS BinaryNumeric BinaryNumeric lr Mul Mul a (UVector n b) = DeriveCompatible_Acts_Semigroup BinaryNumeric BinaryNumeric lr Mul Mul a (UVector n b)
type ActeeLinearS BinaryNumeric BinaryNumeric lr Mul a Add (UVector n a) Source #
type ActeeLinearS BinaryNumeric BinaryNumeric lr Mul a Add (UVector n a) = DeriveActeeLinearActs_Acts_Semigroup BinaryNumeric BinaryNumeric lr Mul a Add (UVector n a)
type CompatibleS BinaryNumeric BinaryNumeric lr Mul Mul a (BVector k n b) Source #
type CompatibleS BinaryNumeric BinaryNumeric lr Mul Mul a (BVector k n b) = DeriveCompatible_Acts_Semigroup BinaryNumeric BinaryNumeric lr Mul Mul a (BVector k n b)
type ActeeLinearS BinaryNumeric BinaryNumeric lr Mul a Add (BVector k n a) Source #
type ActeeLinearS BinaryNumeric BinaryNumeric lr Mul a Add (BVector k n a) = DeriveActeeLinearActs_Acts_Semigroup BinaryNumeric BinaryNumeric lr Mul a Add (BVector k n a)
type CompatibleS BinaryNumeric BinaryNumeric lr op op (Complex Double) (Complex Double) Source #
type CompatibleS BinaryNumeric BinaryNumeric lr op op (Complex Double) (Complex Double) = DeriveCompatible_Associativity BinaryNumeric lr op (Complex Double)
type ActeeLinearS BinaryNumeric BinaryNumeric lr Mul (Complex Double) Add (Complex Double) Source #
type ActeeLinearS BinaryNumeric BinaryNumeric lr Mul (Complex Double) Add (Complex Double) = DeriveActeeLinearActs_RightDistributivity BinaryNumeric BinaryNumeric lr Add Mul (Complex Double)
type ActsS BinaryNumeric lr Mul a (UVector n b) Source #
type ActsS BinaryNumeric lr Mul a (UVector n b) = DeriveActs_Tagged BinaryNumeric UVectorLift lr Mul a b
type ActsS BinaryNumeric lr Mul a (BVector k n b) Source #
type ActsS BinaryNumeric lr Mul a (BVector k n b) = DeriveActs_Tagged BinaryNumeric BVectorLift lr Mul a b
type ActsS BinaryNumeric lr op (Complex Double) (Complex Double) Source #
type ActsS BinaryNumeric lr op (Complex Double) (Complex Double) = DeriveActs_Magma BinaryNumeric op (Complex Double)
type NeutralS BinaryNumeric op (Complex a) Source #
type NeutralS BinaryNumeric op (Complex a) = NeutralNum
type NeutralS BinaryNumeric _ (Ratio Int64) Source #
type NeutralS BinaryNumeric _ (Ratio Int64) = NeutralNum
type NeutralS BinaryNumeric _ (Ratio Int64) Source #
type NeutralS BinaryNumeric _ (Ratio Int64) = NeutralNum
type NeutralS BinaryNumeric _ (Ratio Int32) Source #
type NeutralS BinaryNumeric _ (Ratio Int32) = NeutralNum
type NeutralS BinaryNumeric _ (Ratio Int32) Source #
type NeutralS BinaryNumeric _ (Ratio Int32) = NeutralNum
type NeutralS BinaryNumeric _ (Ratio Int16) Source #
type NeutralS BinaryNumeric _ (Ratio Int16) = NeutralNum
type NeutralS BinaryNumeric _ (Ratio Int16) Source #
type NeutralS BinaryNumeric _ (Ratio Int16) = NeutralNum
type NeutralS BinaryNumeric _ (Ratio Int8) Source #
type NeutralS BinaryNumeric _ (Ratio Int8) = NeutralNum
type NeutralS BinaryNumeric _ (Ratio Int8) Source #
type NeutralS BinaryNumeric _ (Ratio Int8) = NeutralNum
type NeutralS BinaryNumeric _ (Ratio Int8) Source #
type NeutralS BinaryNumeric _ (Ratio Int8) = NeutralNum
type NeutralS BinaryNumeric _ (Ratio Int8) Source #
type NeutralS BinaryNumeric _ (Ratio Int8) = NeutralNum
type MagmaS BinaryNumeric op (Complex a) Source #
type MagmaS BinaryNumeric op (Complex a) = MagmaNum
type MagmaS BinaryNumeric _ (Ratio Int64) Source #
type MagmaS BinaryNumeric _ (Ratio Int64) = MagmaNum
type MagmaS BinaryNumeric _ (Ratio Int64) Source #
type MagmaS BinaryNumeric _ (Ratio Int64) = MagmaNum
type MagmaS BinaryNumeric _ (Ratio Int32) Source #
type MagmaS BinaryNumeric _ (Ratio Int32) = MagmaNum
type MagmaS BinaryNumeric _ (Ratio Int32) Source #
type MagmaS BinaryNumeric _ (Ratio Int32) = MagmaNum
type MagmaS BinaryNumeric _ (Ratio Int16) Source #
type MagmaS BinaryNumeric _ (Ratio Int16) = MagmaNum
type MagmaS BinaryNumeric _ (Ratio Int16) Source #
type MagmaS BinaryNumeric _ (Ratio Int16) = MagmaNum
type MagmaS BinaryNumeric _ (Ratio Int8) Source #
type MagmaS BinaryNumeric _ (Ratio Int8) = MagmaNum
type MagmaS BinaryNumeric _ (Ratio Int8) Source #
type MagmaS BinaryNumeric _ (Ratio Int8) = MagmaNum
type MagmaS BinaryNumeric _ (Ratio Int8) Source #
type MagmaS BinaryNumeric _ (Ratio Int8) = MagmaNum
type MagmaS BinaryNumeric _ (Ratio Int8) Source #
type MagmaS BinaryNumeric _ (Ratio Int8) = MagmaNum
type SemigroupS BinaryNumeric op (Complex a) Source #
type SemigroupS BinaryNumeric op (Complex a) = DeriveSemigroup_Magma BinaryNumeric op (Complex a)
type SemigroupS BinaryNumeric op (Ratio Int64) Source #
type SemigroupS BinaryNumeric op (Ratio Int64) = DeriveSemigroup_Magma BinaryNumeric op (Ratio Int64)
type SemigroupS BinaryNumeric op (Ratio Int64) Source #
type SemigroupS BinaryNumeric op (Ratio Int64) = DeriveSemigroup_Magma BinaryNumeric op (Ratio Int64)
type SemigroupS BinaryNumeric op (Ratio Int32) Source #
type SemigroupS BinaryNumeric op (Ratio Int32) = DeriveSemigroup_Magma BinaryNumeric op (Ratio Int32)
type SemigroupS BinaryNumeric op (Ratio Int32) Source #
type SemigroupS BinaryNumeric op (Ratio Int32) = DeriveSemigroup_Magma BinaryNumeric op (Ratio Int32)
type SemigroupS BinaryNumeric op (Ratio Int16) Source #
type SemigroupS BinaryNumeric op (Ratio Int16) = DeriveSemigroup_Magma BinaryNumeric op (Ratio Int16)
type SemigroupS BinaryNumeric op (Ratio Int16) Source #
type SemigroupS BinaryNumeric op (Ratio Int16) = DeriveSemigroup_Magma BinaryNumeric op (Ratio Int16)
type SemigroupS BinaryNumeric op (Ratio Int8) Source #
type SemigroupS BinaryNumeric op (Ratio Int8) = DeriveSemigroup_Magma BinaryNumeric op (Ratio Int8)
type SemigroupS BinaryNumeric op (Ratio Int8) Source #
type SemigroupS BinaryNumeric op (Ratio Int8) = DeriveSemigroup_Magma BinaryNumeric op (Ratio Int8)
type SemigroupS BinaryNumeric op (Ratio Int8) Source #
type SemigroupS BinaryNumeric op (Ratio Int8) = DeriveSemigroup_Magma BinaryNumeric op (Ratio Int8)
type SemigroupS BinaryNumeric op (Ratio Int8) Source #
type SemigroupS BinaryNumeric op (Ratio Int8) = DeriveSemigroup_Magma BinaryNumeric op (Ratio Int8)
type MonoidS BinaryNumeric op (Complex a) Source #
type MonoidS BinaryNumeric op (Complex a) = DeriveMonoid_Semigroup_Neutral BinaryNumeric op (Complex a)
type MonoidS BinaryNumeric op (Ratio Int64) Source #
type MonoidS BinaryNumeric op (Ratio Int64) = DeriveMonoid_Semigroup_Neutral BinaryNumeric op (Ratio Int64)
type MonoidS BinaryNumeric op (Ratio Int64) Source #
type MonoidS BinaryNumeric op (Ratio Int64) = DeriveMonoid_Semigroup_Neutral BinaryNumeric op (Ratio Int64)
type MonoidS BinaryNumeric op (Ratio Int32) Source #
type MonoidS BinaryNumeric op (Ratio Int32) = DeriveMonoid_Semigroup_Neutral BinaryNumeric op (Ratio Int32)
type MonoidS BinaryNumeric op (Ratio Int32) Source #
type MonoidS BinaryNumeric op (Ratio Int32) = DeriveMonoid_Semigroup_Neutral BinaryNumeric op (Ratio Int32)
type MonoidS BinaryNumeric op (Ratio Int16) Source #
type MonoidS BinaryNumeric op (Ratio Int16) = DeriveMonoid_Semigroup_Neutral BinaryNumeric op (Ratio Int16)
type MonoidS BinaryNumeric op (Ratio Int16) Source #
type MonoidS BinaryNumeric op (Ratio Int16) = DeriveMonoid_Semigroup_Neutral BinaryNumeric op (Ratio Int16)
type MonoidS BinaryNumeric op (Ratio Int8) Source #
type MonoidS BinaryNumeric op (Ratio Int8) = DeriveMonoid_Semigroup_Neutral BinaryNumeric op (Ratio Int8)
type MonoidS BinaryNumeric op (Ratio Int8) Source #
type MonoidS BinaryNumeric op (Ratio Int8) = DeriveMonoid_Semigroup_Neutral BinaryNumeric op (Ratio Int8)
type MonoidS BinaryNumeric op (Ratio Int8) Source #
type MonoidS BinaryNumeric op (Ratio Int8) = DeriveMonoid_Semigroup_Neutral BinaryNumeric op (Ratio Int8)
type MonoidS BinaryNumeric op (Ratio Int8) Source #
type MonoidS BinaryNumeric op (Ratio Int8) = DeriveMonoid_Semigroup_Neutral BinaryNumeric op (Ratio Int8)
type CommutativeS BinaryNumeric op (Complex a) Source #
type CommutativeS BinaryNumeric op (Complex a) = CommutativeNum
type CommutativeS BinaryNumeric _ (Ratio Int64) Source #
type CommutativeS BinaryNumeric _ (Ratio Int64) = CommutativeNum
type CommutativeS BinaryNumeric _ (Ratio Int64) Source #
type CommutativeS BinaryNumeric _ (Ratio Int64) = CommutativeNum
type CommutativeS BinaryNumeric _ (Ratio Int32) Source #
type CommutativeS BinaryNumeric _ (Ratio Int32) = CommutativeNum
type CommutativeS BinaryNumeric _ (Ratio Int32) Source #
type CommutativeS BinaryNumeric _ (Ratio Int32) = CommutativeNum
type CommutativeS BinaryNumeric _ (Ratio Int16) Source #
type CommutativeS BinaryNumeric _ (Ratio Int16) = CommutativeNum
type CommutativeS BinaryNumeric _ (Ratio Int16) Source #
type CommutativeS BinaryNumeric _ (Ratio Int16) = CommutativeNum
type CommutativeS BinaryNumeric _ (Ratio Int8) Source #
type CommutativeS BinaryNumeric _ (Ratio Int8) = CommutativeNum
type CommutativeS BinaryNumeric _ (Ratio Int8) Source #
type CommutativeS BinaryNumeric _ (Ratio Int8) = CommutativeNum
type CommutativeS BinaryNumeric _ (Ratio Int8) Source #
type CommutativeS BinaryNumeric _ (Ratio Int8) = CommutativeNum
type CommutativeS BinaryNumeric _ (Ratio Int8) Source #
type CommutativeS BinaryNumeric _ (Ratio Int8) = CommutativeNum
type CancellativeS BinaryNumeric Add (Ratio Int8) Source #
type CancellativeS BinaryNumeric Add (Ratio Int8) = CancellativeNum
type CancellativeS BinaryNumeric Add (Ratio Int8) Source #
type CancellativeS BinaryNumeric Add (Ratio Int8) = CancellativeNum
type CancellativeS BinaryNumeric Add (Ratio Int16) Source #
type CancellativeS BinaryNumeric Add (Ratio Int16) = CancellativeNum
type CancellativeS BinaryNumeric Add (Ratio Int32) Source #
type CancellativeS BinaryNumeric Add (Ratio Int32) = CancellativeNum
type CancellativeS BinaryNumeric Add (Ratio Int64) Source #
type CancellativeS BinaryNumeric Add (Ratio Int64) = CancellativeNum
type CancellativeS BinaryNumeric Add (Complex a) Source #
type CancellativeS BinaryNumeric Add (Complex a) = CancellativeNum
type CancellativeS BinaryNumeric Mul (Ratio Int8) Source #
type CancellativeS BinaryNumeric Mul (Ratio Int8) = CancellativeFractional
type CancellativeS BinaryNumeric Mul (Ratio Int8) Source #
type CancellativeS BinaryNumeric Mul (Ratio Int8) = CancellativeFractional
type CancellativeS BinaryNumeric Mul (Ratio Int16) Source #
type CancellativeS BinaryNumeric Mul (Ratio Int16) = CancellativeFractional
type CancellativeS BinaryNumeric Mul (Ratio Int32) Source #
type CancellativeS BinaryNumeric Mul (Ratio Int32) = CancellativeFractional
type CancellativeS BinaryNumeric Mul (Ratio Int64) Source #
type CancellativeS BinaryNumeric Mul (Ratio Int64) = CancellativeFractional
type CancellativeS BinaryNumeric Mul (Complex a) Source #
type CancellativeS BinaryNumeric Mul (Complex a) = CancellativeFractional
type GroupS BinaryNumeric op (Complex a) Source #
type GroupS BinaryNumeric op (Complex a) = DeriveGroup_Monoid_Cancellative BinaryNumeric op (Complex a)
type GroupS BinaryNumeric op (Ratio Int64) Source #
type GroupS BinaryNumeric op (Ratio Int64) = DeriveGroup_Monoid_Cancellative BinaryNumeric op (Ratio Int64)
type GroupS BinaryNumeric op (Ratio Int32) Source #
type GroupS BinaryNumeric op (Ratio Int32) = DeriveGroup_Monoid_Cancellative BinaryNumeric op (Ratio Int32)
type GroupS BinaryNumeric op (Ratio Int16) Source #
type GroupS BinaryNumeric op (Ratio Int16) = DeriveGroup_Monoid_Cancellative BinaryNumeric op (Ratio Int16)
type GroupS BinaryNumeric op (Ratio Int8) Source #
type GroupS BinaryNumeric op (Ratio Int8) = DeriveGroup_Monoid_Cancellative BinaryNumeric op (Ratio Int8)
type GroupS BinaryNumeric op (Ratio Int8) Source #
type GroupS BinaryNumeric op (Ratio Int8) = DeriveGroup_Monoid_Cancellative BinaryNumeric op (Ratio Int8)
type AbelianGroupS BinaryNumeric op (Complex a) Source #
type AbelianGroupS BinaryNumeric op (Complex a) = DeriveAbelianGroup_Commutative_Group BinaryNumeric op (Complex a)
type AbelianGroupS BinaryNumeric op (Ratio Int64) Source #
type AbelianGroupS BinaryNumeric op (Ratio Int64) = DeriveAbelianGroup_Commutative_Group BinaryNumeric op (Ratio Int64)
type AbelianGroupS BinaryNumeric op (Ratio Int32) Source #
type AbelianGroupS BinaryNumeric op (Ratio Int32) = DeriveAbelianGroup_Commutative_Group BinaryNumeric op (Ratio Int32)
type AbelianGroupS BinaryNumeric op (Ratio Int16) Source #
type AbelianGroupS BinaryNumeric op (Ratio Int16) = DeriveAbelianGroup_Commutative_Group BinaryNumeric op (Ratio Int16)
type AbelianGroupS BinaryNumeric op (Ratio Int8) Source #
type AbelianGroupS BinaryNumeric op (Ratio Int8) = DeriveAbelianGroup_Commutative_Group BinaryNumeric op (Ratio Int8)
type AbelianGroupS BinaryNumeric op (Ratio Int8) Source #
type AbelianGroupS BinaryNumeric op (Ratio Int8) = DeriveAbelianGroup_Commutative_Group BinaryNumeric op (Ratio Int8)
type NeutralS BinaryNumeric op (UVector n a) Source #
type NeutralS BinaryNumeric op (UVector n a) = DeriveNeutral_Tagged BinaryNumeric UVectorLift op a
type MagmaS BinaryNumeric op (UVector n a) Source #
type MagmaS BinaryNumeric op (UVector n a) = DeriveMagma_Tagged BinaryNumeric UVectorLift op a
type SemigroupS BinaryNumeric op (UVector n a) Source #
type SemigroupS BinaryNumeric op (UVector n a) = DeriveSemigroup_Magma BinaryNumeric op (UVector n a)
type MonoidS BinaryNumeric op (UVector n a) Source #
type MonoidS BinaryNumeric op (UVector n a) = DeriveMonoid_Semigroup_Neutral BinaryNumeric op (UVector n a)
type CommutativeS BinaryNumeric op (UVector n a) Source #
type CommutativeS BinaryNumeric op (UVector n a) = DeriveCommutative_Tagged BinaryNumeric UVectorLift op a
type CancellativeS BinaryNumeric Add (UVector n a) Source #
type CancellativeS BinaryNumeric Add (UVector n a) = DeriveCancellative_Tagged BinaryNumeric UVectorLift Add a
type GroupS BinaryNumeric Add (UVector n a) Source #
type GroupS BinaryNumeric Add (UVector n a) = DeriveGroup_Monoid_Cancellative BinaryNumeric Add (UVector n a)
type AbelianGroupS BinaryNumeric Add (UVector n a) Source #
type AbelianGroupS BinaryNumeric Add (UVector n a) = DeriveAbelianGroup_Commutative_Group BinaryNumeric Add (UVector n a)
type NeutralS BinaryNumeric op (BVector k n a) Source #
type NeutralS BinaryNumeric op (BVector k n a) = DeriveNeutral_Tagged BinaryNumeric BVectorLift op a
type MagmaS BinaryNumeric op (BVector k n a) Source #
type MagmaS BinaryNumeric op (BVector k n a) = DeriveMagma_Tagged BinaryNumeric BVectorLift op a
type SemigroupS BinaryNumeric op (BVector k n a) Source #
type SemigroupS BinaryNumeric op (BVector k n a) = DeriveSemigroup_Magma BinaryNumeric op (BVector k n a)
type MonoidS BinaryNumeric op (BVector k n a) Source #
type MonoidS BinaryNumeric op (BVector k n a) = DeriveMonoid_Semigroup_Neutral BinaryNumeric op (BVector k n a)
type CommutativeS BinaryNumeric op (BVector k n a) Source #
type CommutativeS BinaryNumeric op (BVector k n a) = DeriveCommutative_Tagged BinaryNumeric BVectorLift op a
type CancellativeS BinaryNumeric Add (BVector k n a) Source #
type CancellativeS BinaryNumeric Add (BVector k n a) = DeriveCancellative_Tagged BinaryNumeric BVectorLift Add a
type GroupS BinaryNumeric Add (BVector k n a) Source #
type GroupS BinaryNumeric Add (BVector k n a) = DeriveGroup_Monoid_Cancellative BinaryNumeric Add (BVector k n a)
type AbelianGroupS BinaryNumeric Add (BVector k n a) Source #
type AbelianGroupS BinaryNumeric Add (BVector k n a) = DeriveAbelianGroup_Commutative_Group BinaryNumeric Add (BVector k n a)

data BinaryBoolean Source #

Constructors

And
Or
Xor

Instances

NeutralK BinaryBoolean And Bool NeutralPrim Source #
Methods neutralK :: Proxy And Bool -> Proxy NeutralE s -> NeutralPrim Source #
NeutralK BinaryBoolean Or Bool NeutralPrim Source #
Methods neutralK :: Proxy Or Bool -> Proxy NeutralE s -> NeutralPrim Source #
MagmaK BinaryBoolean And Bool MagmaPrim Source #
Methods binaryOpK :: Proxy And Bool -> Proxy MagmaE s -> MagmaPrim -> MagmaPrim -> MagmaPrim Source #
MagmaK BinaryBoolean Or Bool MagmaPrim Source #
Methods binaryOpK :: Proxy Or Bool -> Proxy MagmaE s -> MagmaPrim -> MagmaPrim -> MagmaPrim Source #
type NeutralS BinaryBoolean _ Bool Source #
type NeutralS BinaryBoolean _ Bool = NeutralPrim
type MagmaS BinaryBoolean _ Bool Source #
type MagmaS BinaryBoolean _ Bool = MagmaPrim
type SemigroupS BinaryBoolean op Bool Source #
type SemigroupS BinaryBoolean op Bool = DeriveSemigroup_Magma BinaryBoolean op Bool
type CommutativeS BinaryBoolean _ Bool Source #
type CommutativeS BinaryBoolean _ Bool = CommutativeNum

data Side Source #

Oh, Either...

Constructors

L
R

Instances

(ActsK k2 lr act a b za, SemigroupK * k1 ao a zas, SemigroupK * k bo b zbs) => ActorLinearK * k * k1 k2 Side lr act ao a bo b (ActorLinear_Acts_Semigroup_Semigroup za zas zbs) Source #

(ActsK k1 lr act a b za, SemigroupK * k bo b zbs) => ActeeLinearK * k * k1 Side lr act a bo b (ActeeLinear_Acts_Semigroup za zbs) Source #

data FunctionLift Source #

Constructors

FunctionLift

Instances

MagmaK k op a s => MagmaK k op (i -> a) (MagmaTagged FunctionLift s) Source #
Methods binaryOpK :: Proxy op (i -> a) -> Proxy MagmaE s -> MagmaTagged FunctionLift s -> MagmaTagged FunctionLift s -> MagmaTagged FunctionLift s Source #
CancellativeK k op a s => CancellativeK k op (i -> a) (CancellativeTagged FunctionLift s) Source #
Methods cancelK :: Proxy op (i -> a) -> Proxy CancellativeE s -> CancellativeTagged FunctionLift s -> CancellativeTagged FunctionLift s Source #