algebra 0.7.0 → 0.7.1
raw patch · 1 files changed
+1/−2 lines, 1 filesPVP ok
version bump matches the API change (PVP)
API changes (from Hackage documentation)
+ Numeric.Additive.Class: (+) :: Additive r => r -> r -> r
+ Numeric.Additive.Class: class Additive r => Abelian r
+ Numeric.Additive.Class: class Additive r
+ Numeric.Additive.Class: class Additive r => Idempotent r
+ Numeric.Additive.Class: class Additive m => Partitionable m
+ Numeric.Additive.Class: instance (Abelian a, Abelian b) => Abelian (a, b)
+ Numeric.Additive.Class: instance (Abelian a, Abelian b, Abelian c) => Abelian (a, b, c)
+ Numeric.Additive.Class: instance (Abelian a, Abelian b, Abelian c, Abelian d) => Abelian (a, b, c, d)
+ Numeric.Additive.Class: instance (Abelian a, Abelian b, Abelian c, Abelian d, Abelian e) => Abelian (a, b, c, d, e)
+ Numeric.Additive.Class: instance (Additive a, Additive b) => Additive (a, b)
+ Numeric.Additive.Class: instance (Additive a, Additive b, Additive c) => Additive (a, b, c)
+ Numeric.Additive.Class: instance (Additive a, Additive b, Additive c, Additive d) => Additive (a, b, c, d)
+ Numeric.Additive.Class: instance (Additive a, Additive b, Additive c, Additive d, Additive e) => Additive (a, b, c, d, e)
+ Numeric.Additive.Class: instance (HasTrie b, Additive r) => Additive (b :->: r)
+ Numeric.Additive.Class: instance (HasTrie e, Abelian r) => Abelian (e :->: r)
+ Numeric.Additive.Class: instance (HasTrie e, Idempotent r) => Idempotent (e :->: r)
+ Numeric.Additive.Class: instance (Idempotent a, Idempotent b) => Idempotent (a, b)
+ Numeric.Additive.Class: instance (Idempotent a, Idempotent b, Idempotent c) => Idempotent (a, b, c)
+ Numeric.Additive.Class: instance (Idempotent a, Idempotent b, Idempotent c, Idempotent d) => Idempotent (a, b, c, d)
+ Numeric.Additive.Class: instance (Idempotent a, Idempotent b, Idempotent c, Idempotent d, Idempotent e) => Idempotent (a, b, c, d, e)
+ Numeric.Additive.Class: instance (Partitionable a, Partitionable b) => Partitionable (a, b)
+ Numeric.Additive.Class: instance (Partitionable a, Partitionable b, Partitionable c) => Partitionable (a, b, c)
+ Numeric.Additive.Class: instance (Partitionable a, Partitionable b, Partitionable c, Partitionable d) => Partitionable (a, b, c, d)
+ Numeric.Additive.Class: instance (Partitionable a, Partitionable b, Partitionable c, Partitionable d, Partitionable e) => Partitionable (a, b, c, d, e)
+ Numeric.Additive.Class: instance Abelian ()
+ Numeric.Additive.Class: instance Abelian Bool
+ Numeric.Additive.Class: instance Abelian Int
+ Numeric.Additive.Class: instance Abelian Int16
+ Numeric.Additive.Class: instance Abelian Int32
+ Numeric.Additive.Class: instance Abelian Int64
+ Numeric.Additive.Class: instance Abelian Int8
+ Numeric.Additive.Class: instance Abelian Integer
+ Numeric.Additive.Class: instance Abelian Natural
+ Numeric.Additive.Class: instance Abelian Word
+ Numeric.Additive.Class: instance Abelian Word16
+ Numeric.Additive.Class: instance Abelian Word32
+ Numeric.Additive.Class: instance Abelian Word64
+ Numeric.Additive.Class: instance Abelian Word8
+ Numeric.Additive.Class: instance Abelian r => Abelian (e -> r)
+ Numeric.Additive.Class: instance Additive ()
+ Numeric.Additive.Class: instance Additive Bool
+ Numeric.Additive.Class: instance Additive Int
+ Numeric.Additive.Class: instance Additive Int16
+ Numeric.Additive.Class: instance Additive Int32
+ Numeric.Additive.Class: instance Additive Int64
+ Numeric.Additive.Class: instance Additive Int8
+ Numeric.Additive.Class: instance Additive Integer
+ Numeric.Additive.Class: instance Additive Natural
+ Numeric.Additive.Class: instance Additive Word
+ Numeric.Additive.Class: instance Additive Word16
+ Numeric.Additive.Class: instance Additive Word32
+ Numeric.Additive.Class: instance Additive Word64
+ Numeric.Additive.Class: instance Additive Word8
+ Numeric.Additive.Class: instance Additive r => Additive (b -> r)
+ Numeric.Additive.Class: instance Idempotent ()
+ Numeric.Additive.Class: instance Idempotent Bool
+ Numeric.Additive.Class: instance Idempotent r => Idempotent (e -> r)
+ Numeric.Additive.Class: instance Partitionable ()
+ Numeric.Additive.Class: instance Partitionable Bool
+ Numeric.Additive.Class: instance Partitionable Natural
+ Numeric.Additive.Class: partitionWith :: Partitionable m => (m -> m -> r) -> m -> NonEmpty r
+ Numeric.Additive.Class: replicate1p :: (Additive r, Whole n) => n -> r -> r
+ Numeric.Additive.Class: replicate1pIdempotent :: Natural -> r -> r
+ Numeric.Additive.Class: sum1 :: (Foldable1 f, Additive r) => f r -> r
+ Numeric.Additive.Class: sumWith1 :: (Additive r, Foldable1 f) => (a -> r) -> f a -> r
+ Numeric.Additive.Group: (-) :: Group r => r -> r -> r
+ Numeric.Additive.Group: class (LeftModule Integer r, RightModule Integer r, Monoidal r) => Group r
+ Numeric.Additive.Group: instance (Group a, Group b) => Group (a, b)
+ Numeric.Additive.Group: instance (Group a, Group b, Group c) => Group (a, b, c)
+ Numeric.Additive.Group: instance (Group a, Group b, Group c, Group d) => Group (a, b, c, d)
+ Numeric.Additive.Group: instance (Group a, Group b, Group c, Group d, Group e) => Group (a, b, c, d, e)
+ Numeric.Additive.Group: instance (HasTrie e, Group r) => Group (e :->: r)
+ Numeric.Additive.Group: instance Group ()
+ Numeric.Additive.Group: instance Group Int
+ Numeric.Additive.Group: instance Group Int16
+ Numeric.Additive.Group: instance Group Int32
+ Numeric.Additive.Group: instance Group Int64
+ Numeric.Additive.Group: instance Group Int8
+ Numeric.Additive.Group: instance Group Integer
+ Numeric.Additive.Group: instance Group Word
+ Numeric.Additive.Group: instance Group Word16
+ Numeric.Additive.Group: instance Group Word32
+ Numeric.Additive.Group: instance Group Word64
+ Numeric.Additive.Group: instance Group Word8
+ Numeric.Additive.Group: instance Group r => Group (e -> r)
+ Numeric.Additive.Group: negate :: Group r => r -> r
+ Numeric.Additive.Group: subtract :: Group r => r -> r -> r
+ Numeric.Additive.Group: times :: (Group r, Integral n) => n -> r -> r
+ Numeric.Algebra.Class: (*) :: Multiplicative r => r -> r -> r
+ Numeric.Algebra.Class: (*.) :: RightModule r m => m -> r -> m
+ Numeric.Algebra.Class: (.*) :: LeftModule r m => r -> m -> m
+ Numeric.Algebra.Class: class Semiring r => Algebra r a
+ Numeric.Algebra.Class: class Semiring r => Coalgebra r c
+ Numeric.Algebra.Class: class (Semiring r, Additive m) => LeftModule r m
+ Numeric.Algebra.Class: class (LeftModule r m, RightModule r m) => Module r m
+ Numeric.Algebra.Class: class (LeftModule Natural m, RightModule Natural m) => Monoidal m
+ Numeric.Algebra.Class: class Multiplicative r
+ Numeric.Algebra.Class: class (Semiring r, Additive m) => RightModule r m
+ Numeric.Algebra.Class: class (Additive r, Abelian r, Multiplicative r) => Semiring r
+ Numeric.Algebra.Class: comult :: Coalgebra r c => (c -> r) -> c -> c -> r
+ Numeric.Algebra.Class: instance (Algebra r a, Algebra r b) => Algebra r (a, b)
+ Numeric.Algebra.Class: instance (Algebra r a, Algebra r b, Algebra r c) => Algebra r (a, b, c)
+ Numeric.Algebra.Class: instance (Algebra r a, Algebra r b, Algebra r c, Algebra r d) => Algebra r (a, b, c, d)
+ Numeric.Algebra.Class: instance (Algebra r a, Algebra r b, Algebra r c, Algebra r d, Algebra r e) => Algebra r (a, b, c, d, e)
+ Numeric.Algebra.Class: instance (Coalgebra r a, Coalgebra r b) => Coalgebra r (a, b)
+ Numeric.Algebra.Class: instance (Coalgebra r a, Coalgebra r b, Coalgebra r c) => Coalgebra r (a, b, c)
+ Numeric.Algebra.Class: instance (Coalgebra r a, Coalgebra r b, Coalgebra r c, Coalgebra r d) => Coalgebra r (a, b, c, d)
+ Numeric.Algebra.Class: instance (Coalgebra r a, Coalgebra r b, Coalgebra r c, Coalgebra r d, Coalgebra r e) => Coalgebra r (a, b, c, d, e)
+ Numeric.Algebra.Class: instance (HasTrie a, Algebra r a) => Multiplicative (a :->: r)
+ Numeric.Algebra.Class: instance (HasTrie a, Algebra r a) => Semiring (a :->: r)
+ Numeric.Algebra.Class: instance (HasTrie e, LeftModule r m) => LeftModule r (e :->: m)
+ Numeric.Algebra.Class: instance (HasTrie e, Monoidal r) => Monoidal (e :->: r)
+ Numeric.Algebra.Class: instance (HasTrie e, RightModule r m) => RightModule r (e :->: m)
+ Numeric.Algebra.Class: instance (HasTrie m, Algebra r m) => Coalgebra r (m :->: r)
+ Numeric.Algebra.Class: instance (LeftModule r a, LeftModule r b) => LeftModule r (a, b)
+ Numeric.Algebra.Class: instance (LeftModule r a, LeftModule r b, LeftModule r c) => LeftModule r (a, b, c)
+ Numeric.Algebra.Class: instance (LeftModule r a, LeftModule r b, LeftModule r c, LeftModule r d) => LeftModule r (a, b, c, d)
+ Numeric.Algebra.Class: instance (LeftModule r a, LeftModule r b, LeftModule r c, LeftModule r d, LeftModule r e) => LeftModule r (a, b, c, d, e)
+ Numeric.Algebra.Class: instance (LeftModule r m, RightModule r m) => Module r m
+ Numeric.Algebra.Class: instance (Monoidal a, Monoidal b) => Monoidal (a, b)
+ Numeric.Algebra.Class: instance (Monoidal a, Monoidal b, Monoidal c) => Monoidal (a, b, c)
+ Numeric.Algebra.Class: instance (Monoidal a, Monoidal b, Monoidal c, Monoidal d) => Monoidal (a, b, c, d)
+ Numeric.Algebra.Class: instance (Monoidal a, Monoidal b, Monoidal c, Monoidal d, Monoidal e) => Monoidal (a, b, c, d, e)
+ Numeric.Algebra.Class: instance (Multiplicative a, Multiplicative b) => Multiplicative (a, b)
+ Numeric.Algebra.Class: instance (Multiplicative a, Multiplicative b, Multiplicative c) => Multiplicative (a, b, c)
+ Numeric.Algebra.Class: instance (Multiplicative a, Multiplicative b, Multiplicative c, Multiplicative d) => Multiplicative (a, b, c, d)
+ Numeric.Algebra.Class: instance (Multiplicative a, Multiplicative b, Multiplicative c, Multiplicative d, Multiplicative e) => Multiplicative (a, b, c, d, e)
+ Numeric.Algebra.Class: instance (RightModule r a, RightModule r b) => RightModule r (a, b)
+ Numeric.Algebra.Class: instance (RightModule r a, RightModule r b, RightModule r c) => RightModule r (a, b, c)
+ Numeric.Algebra.Class: instance (RightModule r a, RightModule r b, RightModule r c, RightModule r d) => RightModule r (a, b, c, d)
+ Numeric.Algebra.Class: instance (RightModule r a, RightModule r b, RightModule r c, RightModule r d, RightModule r e) => RightModule r (a, b, c, d, e)
+ Numeric.Algebra.Class: instance (Semiring a, Semiring b) => Semiring (a, b)
+ Numeric.Algebra.Class: instance (Semiring a, Semiring b, Semiring c) => Semiring (a, b, c)
+ Numeric.Algebra.Class: instance (Semiring a, Semiring b, Semiring c, Semiring d) => Semiring (a, b, c, d)
+ Numeric.Algebra.Class: instance (Semiring a, Semiring b, Semiring c, Semiring d, Semiring e) => Semiring (a, b, c, d, e)
+ Numeric.Algebra.Class: instance (Semiring r, Additive b) => Coalgebra r (IntMap b)
+ Numeric.Algebra.Class: instance (Semiring r, Monoidal r, Ord a, Partitionable b) => Algebra r (Map a b)
+ Numeric.Algebra.Class: instance (Semiring r, Monoidal r, Partitionable a) => Algebra r (IntMap a)
+ Numeric.Algebra.Class: instance (Semiring r, Ord a) => Algebra r (Set a)
+ Numeric.Algebra.Class: instance (Semiring r, Ord a) => Coalgebra r (Set a)
+ Numeric.Algebra.Class: instance (Semiring r, Ord a, Additive b) => Coalgebra r (Map a b)
+ Numeric.Algebra.Class: instance Additive m => LeftModule () m
+ Numeric.Algebra.Class: instance Additive m => RightModule () m
+ Numeric.Algebra.Class: instance Algebra () a
+ Numeric.Algebra.Class: instance Algebra r a => Multiplicative (a -> r)
+ Numeric.Algebra.Class: instance Algebra r a => Semiring (a -> r)
+ Numeric.Algebra.Class: instance Algebra r m => Coalgebra r (m -> r)
+ Numeric.Algebra.Class: instance LeftModule Integer Int
+ Numeric.Algebra.Class: instance LeftModule Integer Int16
+ Numeric.Algebra.Class: instance LeftModule Integer Int32
+ Numeric.Algebra.Class: instance LeftModule Integer Int64
+ Numeric.Algebra.Class: instance LeftModule Integer Int8
+ Numeric.Algebra.Class: instance LeftModule Integer Integer
+ Numeric.Algebra.Class: instance LeftModule Integer Word
+ Numeric.Algebra.Class: instance LeftModule Integer Word16
+ Numeric.Algebra.Class: instance LeftModule Integer Word32
+ Numeric.Algebra.Class: instance LeftModule Integer Word64
+ Numeric.Algebra.Class: instance LeftModule Integer Word8
+ Numeric.Algebra.Class: instance LeftModule Natural Bool
+ Numeric.Algebra.Class: instance LeftModule Natural Int
+ Numeric.Algebra.Class: instance LeftModule Natural Int16
+ Numeric.Algebra.Class: instance LeftModule Natural Int32
+ Numeric.Algebra.Class: instance LeftModule Natural Int64
+ Numeric.Algebra.Class: instance LeftModule Natural Int8
+ Numeric.Algebra.Class: instance LeftModule Natural Integer
+ Numeric.Algebra.Class: instance LeftModule Natural Natural
+ Numeric.Algebra.Class: instance LeftModule Natural Word
+ Numeric.Algebra.Class: instance LeftModule Natural Word16
+ Numeric.Algebra.Class: instance LeftModule Natural Word32
+ Numeric.Algebra.Class: instance LeftModule Natural Word64
+ Numeric.Algebra.Class: instance LeftModule Natural Word8
+ Numeric.Algebra.Class: instance LeftModule r m => LeftModule r (e -> m)
+ Numeric.Algebra.Class: instance Monoidal ()
+ Numeric.Algebra.Class: instance Monoidal Bool
+ Numeric.Algebra.Class: instance Monoidal Int
+ Numeric.Algebra.Class: instance Monoidal Int16
+ Numeric.Algebra.Class: instance Monoidal Int32
+ Numeric.Algebra.Class: instance Monoidal Int64
+ Numeric.Algebra.Class: instance Monoidal Int8
+ Numeric.Algebra.Class: instance Monoidal Integer
+ Numeric.Algebra.Class: instance Monoidal Natural
+ Numeric.Algebra.Class: instance Monoidal Word
+ Numeric.Algebra.Class: instance Monoidal Word16
+ Numeric.Algebra.Class: instance Monoidal Word32
+ Numeric.Algebra.Class: instance Monoidal Word64
+ Numeric.Algebra.Class: instance Monoidal Word8
+ Numeric.Algebra.Class: instance Monoidal r => Monoidal (e -> r)
+ Numeric.Algebra.Class: instance Multiplicative ()
+ Numeric.Algebra.Class: instance Multiplicative Bool
+ Numeric.Algebra.Class: instance Multiplicative Int
+ Numeric.Algebra.Class: instance Multiplicative Int16
+ Numeric.Algebra.Class: instance Multiplicative Int32
+ Numeric.Algebra.Class: instance Multiplicative Int64
+ Numeric.Algebra.Class: instance Multiplicative Int8
+ Numeric.Algebra.Class: instance Multiplicative Integer
+ Numeric.Algebra.Class: instance Multiplicative Natural
+ Numeric.Algebra.Class: instance Multiplicative Word
+ Numeric.Algebra.Class: instance Multiplicative Word16
+ Numeric.Algebra.Class: instance Multiplicative Word32
+ Numeric.Algebra.Class: instance Multiplicative Word64
+ Numeric.Algebra.Class: instance Multiplicative Word8
+ Numeric.Algebra.Class: instance RightModule Integer Int
+ Numeric.Algebra.Class: instance RightModule Integer Int16
+ Numeric.Algebra.Class: instance RightModule Integer Int32
+ Numeric.Algebra.Class: instance RightModule Integer Int64
+ Numeric.Algebra.Class: instance RightModule Integer Int8
+ Numeric.Algebra.Class: instance RightModule Integer Integer
+ Numeric.Algebra.Class: instance RightModule Integer Word
+ Numeric.Algebra.Class: instance RightModule Integer Word16
+ Numeric.Algebra.Class: instance RightModule Integer Word32
+ Numeric.Algebra.Class: instance RightModule Integer Word64
+ Numeric.Algebra.Class: instance RightModule Integer Word8
+ Numeric.Algebra.Class: instance RightModule Natural Bool
+ Numeric.Algebra.Class: instance RightModule Natural Int
+ Numeric.Algebra.Class: instance RightModule Natural Int16
+ Numeric.Algebra.Class: instance RightModule Natural Int32
+ Numeric.Algebra.Class: instance RightModule Natural Int64
+ Numeric.Algebra.Class: instance RightModule Natural Int8
+ Numeric.Algebra.Class: instance RightModule Natural Integer
+ Numeric.Algebra.Class: instance RightModule Natural Natural
+ Numeric.Algebra.Class: instance RightModule Natural Word
+ Numeric.Algebra.Class: instance RightModule Natural Word16
+ Numeric.Algebra.Class: instance RightModule Natural Word32
+ Numeric.Algebra.Class: instance RightModule Natural Word64
+ Numeric.Algebra.Class: instance RightModule Natural Word8
+ Numeric.Algebra.Class: instance RightModule r m => RightModule r (e -> m)
+ Numeric.Algebra.Class: instance Semiring ()
+ Numeric.Algebra.Class: instance Semiring Bool
+ Numeric.Algebra.Class: instance Semiring Int
+ Numeric.Algebra.Class: instance Semiring Int16
+ Numeric.Algebra.Class: instance Semiring Int32
+ Numeric.Algebra.Class: instance Semiring Int64
+ Numeric.Algebra.Class: instance Semiring Int8
+ Numeric.Algebra.Class: instance Semiring Integer
+ Numeric.Algebra.Class: instance Semiring Natural
+ Numeric.Algebra.Class: instance Semiring Word
+ Numeric.Algebra.Class: instance Semiring Word16
+ Numeric.Algebra.Class: instance Semiring Word32
+ Numeric.Algebra.Class: instance Semiring Word64
+ Numeric.Algebra.Class: instance Semiring Word8
+ Numeric.Algebra.Class: instance Semiring r => Algebra r ()
+ Numeric.Algebra.Class: instance Semiring r => Algebra r (Seq a)
+ Numeric.Algebra.Class: instance Semiring r => Algebra r IntSet
+ Numeric.Algebra.Class: instance Semiring r => Algebra r [a]
+ Numeric.Algebra.Class: instance Semiring r => Coalgebra r ()
+ Numeric.Algebra.Class: instance Semiring r => Coalgebra r (Seq a)
+ Numeric.Algebra.Class: instance Semiring r => Coalgebra r IntSet
+ Numeric.Algebra.Class: instance Semiring r => Coalgebra r [a]
+ Numeric.Algebra.Class: instance Semiring r => LeftModule r ()
+ Numeric.Algebra.Class: instance Semiring r => RightModule r ()
+ Numeric.Algebra.Class: mult :: Algebra r a => (a -> a -> r) -> a -> r
+ Numeric.Algebra.Class: pow1p :: (Multiplicative r, Whole n) => r -> n -> r
+ Numeric.Algebra.Class: pow1pIntegral :: (Integral r, Integral n) => r -> n -> r
+ Numeric.Algebra.Class: product1 :: (Foldable1 f, Multiplicative r) => f r -> r
+ Numeric.Algebra.Class: productWith1 :: (Multiplicative r, Foldable1 f) => (a -> r) -> f a -> r
+ Numeric.Algebra.Class: replicate :: (Monoidal m, Whole n) => n -> m -> m
+ Numeric.Algebra.Class: replicateIdempotent :: (Integral n, Idempotent r, Monoidal r) => n -> r -> r
+ Numeric.Algebra.Class: sum :: (Foldable f, Monoidal m) => f m -> m
+ Numeric.Algebra.Class: sumWith :: (Monoidal m, Foldable f) => (a -> m) -> f a -> m
+ Numeric.Algebra.Class: zero :: Monoidal m => m
+ Numeric.Algebra.Commutative: class Coalgebra r c => CocommutativeCoalgebra r c
+ Numeric.Algebra.Commutative: class Multiplicative r => Commutative r
+ Numeric.Algebra.Commutative: class Algebra r a => CommutativeAlgebra r a
+ Numeric.Algebra.Commutative: class (Bialgebra r h, CommutativeAlgebra r h, CocommutativeCoalgebra r h) => CommutativeBialgebra r h
+ Numeric.Algebra.Commutative: instance (Bialgebra r h, CommutativeAlgebra r h, CocommutativeCoalgebra r h) => CommutativeBialgebra r h
+ Numeric.Algebra.Commutative: instance (CocommutativeCoalgebra r a, CocommutativeCoalgebra r b) => CocommutativeCoalgebra r (a, b)
+ Numeric.Algebra.Commutative: instance (CocommutativeCoalgebra r a, CocommutativeCoalgebra r b, CocommutativeCoalgebra r c) => CocommutativeCoalgebra r (a, b, c)
+ Numeric.Algebra.Commutative: instance (CocommutativeCoalgebra r a, CocommutativeCoalgebra r b, CocommutativeCoalgebra r c, CocommutativeCoalgebra r d) => CocommutativeCoalgebra r (a, b, c, d)
+ Numeric.Algebra.Commutative: instance (CocommutativeCoalgebra r a, CocommutativeCoalgebra r b, CocommutativeCoalgebra r c, CocommutativeCoalgebra r d, CocommutativeCoalgebra r e) => CocommutativeCoalgebra r (a, b, c, d, e)
+ Numeric.Algebra.Commutative: instance (Commutative a, Commutative b) => Commutative (a, b)
+ Numeric.Algebra.Commutative: instance (Commutative a, Commutative b, Commutative c) => Commutative (a, b, c)
+ Numeric.Algebra.Commutative: instance (Commutative a, Commutative b, Commutative c, Commutative d) => Commutative (a, b, c, d)
+ Numeric.Algebra.Commutative: instance (Commutative a, Commutative b, Commutative c, Commutative d, Commutative e) => Commutative (a, b, c, d, e)
+ Numeric.Algebra.Commutative: instance (Commutative r, Monoidal r, Semiring r, Abelian b, Partitionable b) => CommutativeAlgebra r (IntMap b)
+ Numeric.Algebra.Commutative: instance (Commutative r, Monoidal r, Semiring r, Ord a, Abelian b, Partitionable b) => CommutativeAlgebra r (Map a b)
+ Numeric.Algebra.Commutative: instance (Commutative r, Semiring r) => CocommutativeCoalgebra r ()
+ Numeric.Algebra.Commutative: instance (Commutative r, Semiring r) => CocommutativeCoalgebra r IntSet
+ Numeric.Algebra.Commutative: instance (Commutative r, Semiring r) => CommutativeAlgebra r ()
+ Numeric.Algebra.Commutative: instance (Commutative r, Semiring r) => CommutativeAlgebra r IntSet
+ Numeric.Algebra.Commutative: instance (Commutative r, Semiring r, Abelian b) => CocommutativeCoalgebra r (IntMap b)
+ Numeric.Algebra.Commutative: instance (Commutative r, Semiring r, Ord a) => CocommutativeCoalgebra r (Set a)
+ Numeric.Algebra.Commutative: instance (Commutative r, Semiring r, Ord a) => CommutativeAlgebra r (Set a)
+ Numeric.Algebra.Commutative: instance (Commutative r, Semiring r, Ord a, Abelian b) => CocommutativeCoalgebra r (Map a b)
+ Numeric.Algebra.Commutative: instance (CommutativeAlgebra r a, CommutativeAlgebra r b) => CommutativeAlgebra r (a, b)
+ Numeric.Algebra.Commutative: instance (CommutativeAlgebra r a, CommutativeAlgebra r b, CommutativeAlgebra r c) => CommutativeAlgebra r (a, b, c)
+ Numeric.Algebra.Commutative: instance (CommutativeAlgebra r a, CommutativeAlgebra r b, CommutativeAlgebra r c, CommutativeAlgebra r d) => CommutativeAlgebra r (a, b, c, d)
+ Numeric.Algebra.Commutative: instance (CommutativeAlgebra r a, CommutativeAlgebra r b, CommutativeAlgebra r c, CommutativeAlgebra r d, CommutativeAlgebra r e) => CommutativeAlgebra r (a, b, c, d, e)
+ Numeric.Algebra.Commutative: instance (HasTrie a, CommutativeAlgebra r a) => Commutative (a :->: r)
+ Numeric.Algebra.Commutative: instance (HasTrie m, CommutativeAlgebra r m) => CocommutativeCoalgebra r (m :->: r)
+ Numeric.Algebra.Commutative: instance Commutative ()
+ Numeric.Algebra.Commutative: instance Commutative Bool
+ Numeric.Algebra.Commutative: instance Commutative Int
+ Numeric.Algebra.Commutative: instance Commutative Int16
+ Numeric.Algebra.Commutative: instance Commutative Int32
+ Numeric.Algebra.Commutative: instance Commutative Int64
+ Numeric.Algebra.Commutative: instance Commutative Int8
+ Numeric.Algebra.Commutative: instance Commutative Integer
+ Numeric.Algebra.Commutative: instance Commutative Natural
+ Numeric.Algebra.Commutative: instance Commutative Word
+ Numeric.Algebra.Commutative: instance Commutative Word16
+ Numeric.Algebra.Commutative: instance Commutative Word32
+ Numeric.Algebra.Commutative: instance Commutative Word64
+ Numeric.Algebra.Commutative: instance Commutative Word8
+ Numeric.Algebra.Commutative: instance CommutativeAlgebra r a => Commutative (a -> r)
+ Numeric.Algebra.Commutative: instance CommutativeAlgebra r m => CocommutativeCoalgebra r (m -> r)
+ Numeric.Algebra.Division: (/) :: Division r => r -> r -> r
+ Numeric.Algebra.Division: (\\) :: Division r => r -> r -> r
+ Numeric.Algebra.Division: (^) :: (Division r, Integral n) => r -> n -> r
+ Numeric.Algebra.Division: class Unital r => Division r
+ Numeric.Algebra.Division: class UnitalAlgebra r a => DivisionAlgebra r a
+ Numeric.Algebra.Division: instance (Division a, Division b) => Division (a, b)
+ Numeric.Algebra.Division: instance (Division a, Division b, Division c) => Division (a, b, c)
+ Numeric.Algebra.Division: instance (Division a, Division b, Division c, Division d) => Division (a, b, c, d)
+ Numeric.Algebra.Division: instance (Division a, Division b, Division c, Division d, Division e) => Division (a, b, c, d, e)
+ Numeric.Algebra.Division: instance (Unital r, DivisionAlgebra r a) => Division (a -> r)
+ Numeric.Algebra.Division: instance Division ()
+ Numeric.Algebra.Division: recip :: Division r => r -> r
+ Numeric.Algebra.Division: recipriocal :: DivisionAlgebra r a => (a -> r) -> a -> r
+ Numeric.Algebra.Factorable: class Multiplicative m => Factorable m
+ Numeric.Algebra.Factorable: factorWith :: Factorable m => (m -> m -> r) -> m -> NonEmpty r
+ Numeric.Algebra.Factorable: instance (Factorable a, Factorable b) => Factorable (a, b)
+ Numeric.Algebra.Factorable: instance (Factorable a, Factorable b, Factorable c) => Factorable (a, b, c)
+ Numeric.Algebra.Factorable: instance (Factorable a, Factorable b, Factorable c, Factorable d) => Factorable (a, b, c, d)
+ Numeric.Algebra.Factorable: instance (Factorable a, Factorable b, Factorable c, Factorable d, Factorable e) => Factorable (a, b, c, d, e)
+ Numeric.Algebra.Factorable: instance Factorable ()
+ Numeric.Algebra.Factorable: instance Factorable Bool
+ Numeric.Algebra.Hopf: antipode :: HopfAlgebra r h => (h -> r) -> h -> r
+ Numeric.Algebra.Hopf: class Bialgebra r h => HopfAlgebra r h
+ Numeric.Algebra.Hopf: instance (HopfAlgebra r a, HopfAlgebra r b) => HopfAlgebra r (a, b)
+ Numeric.Algebra.Hopf: instance (HopfAlgebra r a, HopfAlgebra r b, HopfAlgebra r c) => HopfAlgebra r (a, b, c)
+ Numeric.Algebra.Hopf: instance (HopfAlgebra r a, HopfAlgebra r b, HopfAlgebra r c, HopfAlgebra r d) => HopfAlgebra r (a, b, c, d)
+ Numeric.Algebra.Hopf: instance (HopfAlgebra r a, HopfAlgebra r b, HopfAlgebra r c, HopfAlgebra r d, HopfAlgebra r e) => HopfAlgebra r (a, b, c, d, e)
+ Numeric.Algebra.Idempotent: class Multiplicative r => Band r
+ Numeric.Algebra.Idempotent: class Algebra r a => IdempotentAlgebra r a
+ Numeric.Algebra.Idempotent: class (Bialgebra r h, IdempotentAlgebra r h, IdempotentCoalgebra r h) => IdempotentBialgebra r h
+ Numeric.Algebra.Idempotent: class Coalgebra r c => IdempotentCoalgebra r c
+ Numeric.Algebra.Idempotent: instance (Band a, Band b) => Band (a, b)
+ Numeric.Algebra.Idempotent: instance (Band a, Band b, Band c) => Band (a, b, c)
+ Numeric.Algebra.Idempotent: instance (Band a, Band b, Band c, Band d) => Band (a, b, c, d)
+ Numeric.Algebra.Idempotent: instance (Band a, Band b, Band c, Band d, Band e) => Band (a, b, c, d, e)
+ Numeric.Algebra.Idempotent: instance (Bialgebra r h, IdempotentAlgebra r h, IdempotentCoalgebra r h) => IdempotentBialgebra r h
+ Numeric.Algebra.Idempotent: instance (IdempotentAlgebra r a, IdempotentAlgebra r b) => IdempotentAlgebra r (a, b)
+ Numeric.Algebra.Idempotent: instance (IdempotentAlgebra r a, IdempotentAlgebra r b, IdempotentAlgebra r c) => IdempotentAlgebra r (a, b, c)
+ Numeric.Algebra.Idempotent: instance (IdempotentAlgebra r a, IdempotentAlgebra r b, IdempotentAlgebra r c, IdempotentAlgebra r d) => IdempotentAlgebra r (a, b, c, d)
+ Numeric.Algebra.Idempotent: instance (IdempotentAlgebra r a, IdempotentAlgebra r b, IdempotentAlgebra r c, IdempotentAlgebra r d, IdempotentAlgebra r e) => IdempotentAlgebra r (a, b, c, d, e)
+ Numeric.Algebra.Idempotent: instance (IdempotentCoalgebra r a, IdempotentCoalgebra r b) => IdempotentCoalgebra r (a, b)
+ Numeric.Algebra.Idempotent: instance (IdempotentCoalgebra r a, IdempotentCoalgebra r b, IdempotentCoalgebra r c) => IdempotentCoalgebra r (a, b, c)
+ Numeric.Algebra.Idempotent: instance (IdempotentCoalgebra r a, IdempotentCoalgebra r b, IdempotentCoalgebra r c, IdempotentCoalgebra r d) => IdempotentCoalgebra r (a, b, c, d)
+ Numeric.Algebra.Idempotent: instance (IdempotentCoalgebra r a, IdempotentCoalgebra r b, IdempotentCoalgebra r c, IdempotentCoalgebra r d, IdempotentCoalgebra r e) => IdempotentCoalgebra r (a, b, c, d, e)
+ Numeric.Algebra.Idempotent: instance (Semiring r, Band r) => IdempotentAlgebra r ()
+ Numeric.Algebra.Idempotent: instance (Semiring r, Band r) => IdempotentAlgebra r IntSet
+ Numeric.Algebra.Idempotent: instance (Semiring r, Band r) => IdempotentCoalgebra r ()
+ Numeric.Algebra.Idempotent: instance (Semiring r, Band r) => IdempotentCoalgebra r IntSet
+ Numeric.Algebra.Idempotent: instance (Semiring r, Band r, Ord a) => IdempotentAlgebra r (Set a)
+ Numeric.Algebra.Idempotent: instance (Semiring r, Band r, Ord c) => IdempotentCoalgebra r (Set c)
+ Numeric.Algebra.Idempotent: instance Band ()
+ Numeric.Algebra.Idempotent: instance Band Bool
+ Numeric.Algebra.Idempotent: pow1pBand :: Whole n => r -> n -> r
+ Numeric.Algebra.Idempotent: powBand :: (Unital r, Whole n) => r -> n -> r
+ Numeric.Algebra.Involutive: adjoint :: InvolutiveMultiplication r => r -> r
+ Numeric.Algebra.Involutive: class (InvolutiveSemiring r, Algebra r a) => InvolutiveAlgebra r a
+ Numeric.Algebra.Involutive: class (Bialgebra r h, InvolutiveAlgebra r h, InvolutiveCoalgebra r h) => InvolutiveBialgebra r h
+ Numeric.Algebra.Involutive: class (InvolutiveSemiring r, Coalgebra r c) => InvolutiveCoalgebra r c
+ Numeric.Algebra.Involutive: class Multiplicative r => InvolutiveMultiplication r
+ Numeric.Algebra.Involutive: class (Semiring r, InvolutiveMultiplication r) => InvolutiveSemiring r
+ Numeric.Algebra.Involutive: class (Commutative r, InvolutiveMultiplication r) => TriviallyInvolutive r
+ Numeric.Algebra.Involutive: class (CommutativeAlgebra r a, TriviallyInvolutive r, InvolutiveAlgebra r a) => TriviallyInvolutiveAlgebra r a
+ Numeric.Algebra.Involutive: class (InvolutiveBialgebra r h, TriviallyInvolutiveAlgebra r h, TriviallyInvolutiveCoalgebra r h) => TriviallyInvolutiveBialgebra r h
+ Numeric.Algebra.Involutive: class (CocommutativeCoalgebra r a, TriviallyInvolutive r, InvolutiveCoalgebra r a) => TriviallyInvolutiveCoalgebra r a
+ Numeric.Algebra.Involutive: coinv :: InvolutiveCoalgebra r c => (c -> r) -> c -> r
+ Numeric.Algebra.Involutive: instance (Bialgebra r h, InvolutiveAlgebra r h, InvolutiveCoalgebra r h) => InvolutiveBialgebra r h
+ Numeric.Algebra.Involutive: instance (HasTrie a, TriviallyInvolutive r, TriviallyInvolutiveAlgebra r a) => TriviallyInvolutive (a :->: r)
+ Numeric.Algebra.Involutive: instance (HasTrie h, InvolutiveAlgebra r h) => InvolutiveMultiplication (h :->: r)
+ Numeric.Algebra.Involutive: instance (InvolutiveAlgebra r a, InvolutiveAlgebra r b) => InvolutiveAlgebra r (a, b)
+ Numeric.Algebra.Involutive: instance (InvolutiveAlgebra r a, InvolutiveAlgebra r b, InvolutiveAlgebra r c) => InvolutiveAlgebra r (a, b, c)
+ Numeric.Algebra.Involutive: instance (InvolutiveAlgebra r a, InvolutiveAlgebra r b, InvolutiveAlgebra r c, InvolutiveAlgebra r d) => InvolutiveAlgebra r (a, b, c, d)
+ Numeric.Algebra.Involutive: instance (InvolutiveAlgebra r a, InvolutiveAlgebra r b, InvolutiveAlgebra r c, InvolutiveAlgebra r d, InvolutiveAlgebra r e) => InvolutiveAlgebra r (a, b, c, d, e)
+ Numeric.Algebra.Involutive: instance (InvolutiveBialgebra r h, TriviallyInvolutiveAlgebra r h, TriviallyInvolutiveCoalgebra r h) => TriviallyInvolutiveBialgebra r h
+ Numeric.Algebra.Involutive: instance (InvolutiveCoalgebra r a, InvolutiveCoalgebra r b) => InvolutiveCoalgebra r (a, b)
+ Numeric.Algebra.Involutive: instance (InvolutiveCoalgebra r a, InvolutiveCoalgebra r b, InvolutiveCoalgebra r c) => InvolutiveCoalgebra r (a, b, c)
+ Numeric.Algebra.Involutive: instance (InvolutiveCoalgebra r a, InvolutiveCoalgebra r b, InvolutiveCoalgebra r c, InvolutiveCoalgebra r d) => InvolutiveCoalgebra r (a, b, c, d)
+ Numeric.Algebra.Involutive: instance (InvolutiveCoalgebra r a, InvolutiveCoalgebra r b, InvolutiveCoalgebra r c, InvolutiveCoalgebra r d, InvolutiveCoalgebra r e) => InvolutiveCoalgebra r (a, b, c, d, e)
+ Numeric.Algebra.Involutive: instance (InvolutiveMultiplication a, InvolutiveMultiplication b) => InvolutiveMultiplication (a, b)
+ Numeric.Algebra.Involutive: instance (InvolutiveMultiplication a, InvolutiveMultiplication b, InvolutiveMultiplication c) => InvolutiveMultiplication (a, b, c)
+ Numeric.Algebra.Involutive: instance (InvolutiveMultiplication a, InvolutiveMultiplication b, InvolutiveMultiplication c, InvolutiveMultiplication d) => InvolutiveMultiplication (a, b, c, d)
+ Numeric.Algebra.Involutive: instance (InvolutiveMultiplication a, InvolutiveMultiplication b, InvolutiveMultiplication c, InvolutiveMultiplication d, InvolutiveMultiplication e) => InvolutiveMultiplication (a, b, c, d, e)
+ Numeric.Algebra.Involutive: instance (InvolutiveSemiring a, InvolutiveSemiring b) => InvolutiveSemiring (a, b)
+ Numeric.Algebra.Involutive: instance (InvolutiveSemiring a, InvolutiveSemiring b, InvolutiveSemiring c) => InvolutiveSemiring (a, b, c)
+ Numeric.Algebra.Involutive: instance (InvolutiveSemiring a, InvolutiveSemiring b, InvolutiveSemiring c, InvolutiveSemiring d) => InvolutiveSemiring (a, b, c, d)
+ Numeric.Algebra.Involutive: instance (InvolutiveSemiring a, InvolutiveSemiring b, InvolutiveSemiring c, InvolutiveSemiring d, InvolutiveSemiring e) => InvolutiveSemiring (a, b, c, d, e)
+ Numeric.Algebra.Involutive: instance (TriviallyInvolutive a, TriviallyInvolutive b) => TriviallyInvolutive (a, b)
+ Numeric.Algebra.Involutive: instance (TriviallyInvolutive a, TriviallyInvolutive b, TriviallyInvolutive c) => TriviallyInvolutive (a, b, c)
+ Numeric.Algebra.Involutive: instance (TriviallyInvolutive a, TriviallyInvolutive b, TriviallyInvolutive c, TriviallyInvolutive d) => TriviallyInvolutive (a, b, c, d)
+ Numeric.Algebra.Involutive: instance (TriviallyInvolutive a, TriviallyInvolutive b, TriviallyInvolutive c, TriviallyInvolutive d, TriviallyInvolutive e) => TriviallyInvolutive (a, b, c, d, e)
+ Numeric.Algebra.Involutive: instance (TriviallyInvolutive r, InvolutiveSemiring r) => TriviallyInvolutiveAlgebra r ()
+ Numeric.Algebra.Involutive: instance (TriviallyInvolutive r, InvolutiveSemiring r) => TriviallyInvolutiveCoalgebra r ()
+ Numeric.Algebra.Involutive: instance (TriviallyInvolutive r, TriviallyInvolutiveAlgebra r a) => TriviallyInvolutive (a -> r)
+ Numeric.Algebra.Involutive: instance (TriviallyInvolutiveAlgebra r a, TriviallyInvolutiveAlgebra r b) => TriviallyInvolutiveAlgebra r (a, b)
+ Numeric.Algebra.Involutive: instance (TriviallyInvolutiveAlgebra r a, TriviallyInvolutiveAlgebra r b, TriviallyInvolutiveAlgebra r c) => TriviallyInvolutiveAlgebra r (a, b, c)
+ Numeric.Algebra.Involutive: instance (TriviallyInvolutiveAlgebra r a, TriviallyInvolutiveAlgebra r b, TriviallyInvolutiveAlgebra r c, TriviallyInvolutiveAlgebra r d) => TriviallyInvolutiveAlgebra r (a, b, c, d)
+ Numeric.Algebra.Involutive: instance (TriviallyInvolutiveAlgebra r a, TriviallyInvolutiveAlgebra r b, TriviallyInvolutiveAlgebra r c, TriviallyInvolutiveAlgebra r d, TriviallyInvolutiveAlgebra r e) => TriviallyInvolutiveAlgebra r (a, b, c, d, e)
+ Numeric.Algebra.Involutive: instance (TriviallyInvolutiveCoalgebra r a, TriviallyInvolutiveCoalgebra r b) => TriviallyInvolutiveCoalgebra r (a, b)
+ Numeric.Algebra.Involutive: instance (TriviallyInvolutiveCoalgebra r a, TriviallyInvolutiveCoalgebra r b, TriviallyInvolutiveCoalgebra r c) => TriviallyInvolutiveCoalgebra r (a, b, c)
+ Numeric.Algebra.Involutive: instance (TriviallyInvolutiveCoalgebra r a, TriviallyInvolutiveCoalgebra r b, TriviallyInvolutiveCoalgebra r c, TriviallyInvolutiveCoalgebra r d) => TriviallyInvolutiveCoalgebra r (a, b, c, d)
+ Numeric.Algebra.Involutive: instance (TriviallyInvolutiveCoalgebra r a, TriviallyInvolutiveCoalgebra r b, TriviallyInvolutiveCoalgebra r c, TriviallyInvolutiveCoalgebra r d, TriviallyInvolutiveCoalgebra r e) => TriviallyInvolutiveCoalgebra r (a, b, c, d, e)
+ Numeric.Algebra.Involutive: instance InvolutiveAlgebra r h => InvolutiveMultiplication (h -> r)
+ Numeric.Algebra.Involutive: instance InvolutiveMultiplication ()
+ Numeric.Algebra.Involutive: instance InvolutiveMultiplication Bool
+ Numeric.Algebra.Involutive: instance InvolutiveMultiplication Int
+ Numeric.Algebra.Involutive: instance InvolutiveMultiplication Int16
+ Numeric.Algebra.Involutive: instance InvolutiveMultiplication Int32
+ Numeric.Algebra.Involutive: instance InvolutiveMultiplication Int64
+ Numeric.Algebra.Involutive: instance InvolutiveMultiplication Int8
+ Numeric.Algebra.Involutive: instance InvolutiveMultiplication Integer
+ Numeric.Algebra.Involutive: instance InvolutiveMultiplication Natural
+ Numeric.Algebra.Involutive: instance InvolutiveMultiplication Word
+ Numeric.Algebra.Involutive: instance InvolutiveMultiplication Word16
+ Numeric.Algebra.Involutive: instance InvolutiveMultiplication Word32
+ Numeric.Algebra.Involutive: instance InvolutiveMultiplication Word64
+ Numeric.Algebra.Involutive: instance InvolutiveMultiplication Word8
+ Numeric.Algebra.Involutive: instance InvolutiveSemiring ()
+ Numeric.Algebra.Involutive: instance InvolutiveSemiring Bool
+ Numeric.Algebra.Involutive: instance InvolutiveSemiring Int
+ Numeric.Algebra.Involutive: instance InvolutiveSemiring Int16
+ Numeric.Algebra.Involutive: instance InvolutiveSemiring Int32
+ Numeric.Algebra.Involutive: instance InvolutiveSemiring Int64
+ Numeric.Algebra.Involutive: instance InvolutiveSemiring Int8
+ Numeric.Algebra.Involutive: instance InvolutiveSemiring Integer
+ Numeric.Algebra.Involutive: instance InvolutiveSemiring Natural
+ Numeric.Algebra.Involutive: instance InvolutiveSemiring Word
+ Numeric.Algebra.Involutive: instance InvolutiveSemiring Word16
+ Numeric.Algebra.Involutive: instance InvolutiveSemiring Word32
+ Numeric.Algebra.Involutive: instance InvolutiveSemiring Word64
+ Numeric.Algebra.Involutive: instance InvolutiveSemiring Word8
+ Numeric.Algebra.Involutive: instance InvolutiveSemiring r => InvolutiveAlgebra r ()
+ Numeric.Algebra.Involutive: instance InvolutiveSemiring r => InvolutiveCoalgebra r ()
+ Numeric.Algebra.Involutive: instance TriviallyInvolutive ()
+ Numeric.Algebra.Involutive: instance TriviallyInvolutive Bool
+ Numeric.Algebra.Involutive: instance TriviallyInvolutive Int
+ Numeric.Algebra.Involutive: instance TriviallyInvolutive Int16
+ Numeric.Algebra.Involutive: instance TriviallyInvolutive Int32
+ Numeric.Algebra.Involutive: instance TriviallyInvolutive Int64
+ Numeric.Algebra.Involutive: instance TriviallyInvolutive Int8
+ Numeric.Algebra.Involutive: instance TriviallyInvolutive Integer
+ Numeric.Algebra.Involutive: instance TriviallyInvolutive Natural
+ Numeric.Algebra.Involutive: instance TriviallyInvolutive Word
+ Numeric.Algebra.Involutive: instance TriviallyInvolutive Word16
+ Numeric.Algebra.Involutive: instance TriviallyInvolutive Word32
+ Numeric.Algebra.Involutive: instance TriviallyInvolutive Word64
+ Numeric.Algebra.Involutive: instance TriviallyInvolutive Word8
+ Numeric.Algebra.Involutive: inv :: InvolutiveAlgebra r a => (a -> r) -> a -> r
+ Numeric.Algebra.Unital: class (UnitalAlgebra r a, CounitalCoalgebra r a) => Bialgebra r a
+ Numeric.Algebra.Unital: class Coalgebra r c => CounitalCoalgebra r c
+ Numeric.Algebra.Unital: class Multiplicative r => Unital r
+ Numeric.Algebra.Unital: class Algebra r a => UnitalAlgebra r a
+ Numeric.Algebra.Unital: counit :: CounitalCoalgebra r c => (c -> r) -> r
+ Numeric.Algebra.Unital: instance (Bialgebra r a, Bialgebra r b) => Bialgebra r (a, b)
+ Numeric.Algebra.Unital: instance (Bialgebra r a, Bialgebra r b, Bialgebra r c) => Bialgebra r (a, b, c)
+ Numeric.Algebra.Unital: instance (Bialgebra r a, Bialgebra r b, Bialgebra r c, Bialgebra r d) => Bialgebra r (a, b, c, d)
+ Numeric.Algebra.Unital: instance (Bialgebra r a, Bialgebra r b, Bialgebra r c, Bialgebra r d, Bialgebra r e) => Bialgebra r (a, b, c, d, e)
+ Numeric.Algebra.Unital: instance (CounitalCoalgebra r a, CounitalCoalgebra r b) => CounitalCoalgebra r (a, b)
+ Numeric.Algebra.Unital: instance (CounitalCoalgebra r a, CounitalCoalgebra r b, CounitalCoalgebra r c) => CounitalCoalgebra r (a, b, c)
+ Numeric.Algebra.Unital: instance (CounitalCoalgebra r a, CounitalCoalgebra r b, CounitalCoalgebra r c, CounitalCoalgebra r d) => CounitalCoalgebra r (a, b, c, d)
+ Numeric.Algebra.Unital: instance (CounitalCoalgebra r a, CounitalCoalgebra r b, CounitalCoalgebra r c, CounitalCoalgebra r d, CounitalCoalgebra r e) => CounitalCoalgebra r (a, b, c, d, e)
+ Numeric.Algebra.Unital: instance (Monoidal r, Semiring r) => Bialgebra r (Seq a)
+ Numeric.Algebra.Unital: instance (Monoidal r, Semiring r) => Bialgebra r [a]
+ Numeric.Algebra.Unital: instance (Monoidal r, Semiring r) => UnitalAlgebra r (Seq a)
+ Numeric.Algebra.Unital: instance (Monoidal r, Semiring r) => UnitalAlgebra r [a]
+ Numeric.Algebra.Unital: instance (Unital a, Unital b) => Unital (a, b)
+ Numeric.Algebra.Unital: instance (Unital a, Unital b, Unital c) => Unital (a, b, c)
+ Numeric.Algebra.Unital: instance (Unital a, Unital b, Unital c, Unital d) => Unital (a, b, c, d)
+ Numeric.Algebra.Unital: instance (Unital a, Unital b, Unital c, Unital d, Unital e) => Unital (a, b, c, d, e)
+ Numeric.Algebra.Unital: instance (Unital r, UnitalAlgebra r a) => Unital (a -> r)
+ Numeric.Algebra.Unital: instance (Unital r, UnitalAlgebra r m) => CounitalCoalgebra r (m -> r)
+ Numeric.Algebra.Unital: instance (UnitalAlgebra r a, UnitalAlgebra r b) => UnitalAlgebra r (a, b)
+ Numeric.Algebra.Unital: instance (UnitalAlgebra r a, UnitalAlgebra r b, UnitalAlgebra r c) => UnitalAlgebra r (a, b, c)
+ Numeric.Algebra.Unital: instance (UnitalAlgebra r a, UnitalAlgebra r b, UnitalAlgebra r c, UnitalAlgebra r d) => UnitalAlgebra r (a, b, c, d)
+ Numeric.Algebra.Unital: instance (UnitalAlgebra r a, UnitalAlgebra r b, UnitalAlgebra r c, UnitalAlgebra r d, UnitalAlgebra r e) => UnitalAlgebra r (a, b, c, d, e)
+ Numeric.Algebra.Unital: instance Semiring r => Bialgebra r ()
+ Numeric.Algebra.Unital: instance Semiring r => CounitalCoalgebra r ()
+ Numeric.Algebra.Unital: instance Semiring r => CounitalCoalgebra r (Seq a)
+ Numeric.Algebra.Unital: instance Semiring r => CounitalCoalgebra r [a]
+ Numeric.Algebra.Unital: instance Semiring r => UnitalAlgebra r ()
+ Numeric.Algebra.Unital: instance Unital ()
+ Numeric.Algebra.Unital: instance Unital Bool
+ Numeric.Algebra.Unital: instance Unital Int
+ Numeric.Algebra.Unital: instance Unital Int16
+ Numeric.Algebra.Unital: instance Unital Int32
+ Numeric.Algebra.Unital: instance Unital Int64
+ Numeric.Algebra.Unital: instance Unital Int8
+ Numeric.Algebra.Unital: instance Unital Integer
+ Numeric.Algebra.Unital: instance Unital Natural
+ Numeric.Algebra.Unital: instance Unital Word
+ Numeric.Algebra.Unital: instance Unital Word16
+ Numeric.Algebra.Unital: instance Unital Word32
+ Numeric.Algebra.Unital: instance Unital Word64
+ Numeric.Algebra.Unital: instance Unital Word8
+ Numeric.Algebra.Unital: one :: Unital r => r
+ Numeric.Algebra.Unital: pow :: (Unital r, Whole n) => r -> n -> r
+ Numeric.Algebra.Unital: product :: (Foldable f, Unital r) => f r -> r
+ Numeric.Algebra.Unital: productWith :: (Unital r, Foldable f) => (a -> r) -> f a -> r
+ Numeric.Algebra.Unital: unit :: UnitalAlgebra r a => r -> a -> r
+ Numeric.Band.Class: class Multiplicative r => Band r
+ Numeric.Band.Class: pow1pBand :: Whole n => r -> n -> r
+ Numeric.Band.Class: powBand :: (Unital r, Whole n) => r -> n -> r
+ Numeric.Decidable.Associates: class Unital r => DecidableAssociates r
+ Numeric.Decidable.Associates: instance (DecidableAssociates a, DecidableAssociates b) => DecidableAssociates (a, b)
+ Numeric.Decidable.Associates: instance (DecidableAssociates a, DecidableAssociates b, DecidableAssociates c) => DecidableAssociates (a, b, c)
+ Numeric.Decidable.Associates: instance (DecidableAssociates a, DecidableAssociates b, DecidableAssociates c, DecidableAssociates d) => DecidableAssociates (a, b, c, d)
+ Numeric.Decidable.Associates: instance (DecidableAssociates a, DecidableAssociates b, DecidableAssociates c, DecidableAssociates d, DecidableAssociates e) => DecidableAssociates (a, b, c, d, e)
+ Numeric.Decidable.Associates: instance DecidableAssociates ()
+ Numeric.Decidable.Associates: instance DecidableAssociates Bool
+ Numeric.Decidable.Associates: instance DecidableAssociates Int
+ Numeric.Decidable.Associates: instance DecidableAssociates Int16
+ Numeric.Decidable.Associates: instance DecidableAssociates Int32
+ Numeric.Decidable.Associates: instance DecidableAssociates Int64
+ Numeric.Decidable.Associates: instance DecidableAssociates Int8
+ Numeric.Decidable.Associates: instance DecidableAssociates Integer
+ Numeric.Decidable.Associates: instance DecidableAssociates Natural
+ Numeric.Decidable.Associates: instance DecidableAssociates Word
+ Numeric.Decidable.Associates: instance DecidableAssociates Word16
+ Numeric.Decidable.Associates: instance DecidableAssociates Word32
+ Numeric.Decidable.Associates: instance DecidableAssociates Word64
+ Numeric.Decidable.Associates: instance DecidableAssociates Word8
+ Numeric.Decidable.Associates: isAssociate :: DecidableAssociates r => r -> r -> Bool
+ Numeric.Decidable.Associates: isAssociateIntegral :: Num n => n -> n -> Bool
+ Numeric.Decidable.Associates: isAssociateWhole :: Eq n => n -> n -> Bool
+ Numeric.Decidable.Units: (^?) :: (DecidableUnits r, Integral n) => r -> n -> Maybe r
+ Numeric.Decidable.Units: class Unital r => DecidableUnits r
+ Numeric.Decidable.Units: instance (DecidableUnits a, DecidableUnits b) => DecidableUnits (a, b)
+ Numeric.Decidable.Units: instance (DecidableUnits a, DecidableUnits b, DecidableUnits c) => DecidableUnits (a, b, c)
+ Numeric.Decidable.Units: instance (DecidableUnits a, DecidableUnits b, DecidableUnits c, DecidableUnits d) => DecidableUnits (a, b, c, d)
+ Numeric.Decidable.Units: instance (DecidableUnits a, DecidableUnits b, DecidableUnits c, DecidableUnits d, DecidableUnits e) => DecidableUnits (a, b, c, d, e)
+ Numeric.Decidable.Units: instance DecidableUnits ()
+ Numeric.Decidable.Units: instance DecidableUnits Bool
+ Numeric.Decidable.Units: instance DecidableUnits Int
+ Numeric.Decidable.Units: instance DecidableUnits Int16
+ Numeric.Decidable.Units: instance DecidableUnits Int32
+ Numeric.Decidable.Units: instance DecidableUnits Int64
+ Numeric.Decidable.Units: instance DecidableUnits Int8
+ Numeric.Decidable.Units: instance DecidableUnits Integer
+ Numeric.Decidable.Units: instance DecidableUnits Natural
+ Numeric.Decidable.Units: instance DecidableUnits Word
+ Numeric.Decidable.Units: instance DecidableUnits Word16
+ Numeric.Decidable.Units: instance DecidableUnits Word32
+ Numeric.Decidable.Units: instance DecidableUnits Word64
+ Numeric.Decidable.Units: instance DecidableUnits Word8
+ Numeric.Decidable.Units: isUnit :: (DecidableUnits r, DecidableUnits r) => r -> Bool
+ Numeric.Decidable.Units: recipUnit :: DecidableUnits r => r -> Maybe r
+ Numeric.Decidable.Units: recipUnitIntegral :: Integral r => r -> Maybe r
+ Numeric.Decidable.Units: recipUnitWhole :: Integral r => r -> Maybe r
+ Numeric.Decidable.Zero: class Monoidal r => DecidableZero r
+ Numeric.Decidable.Zero: instance (DecidableZero a, DecidableZero b) => DecidableZero (a, b)
+ Numeric.Decidable.Zero: instance (DecidableZero a, DecidableZero b, DecidableZero c) => DecidableZero (a, b, c)
+ Numeric.Decidable.Zero: instance (DecidableZero a, DecidableZero b, DecidableZero c, DecidableZero d) => DecidableZero (a, b, c, d)
+ Numeric.Decidable.Zero: instance (DecidableZero a, DecidableZero b, DecidableZero c, DecidableZero d, DecidableZero e) => DecidableZero (a, b, c, d, e)
+ Numeric.Decidable.Zero: instance DecidableZero ()
+ Numeric.Decidable.Zero: instance DecidableZero Bool
+ Numeric.Decidable.Zero: instance DecidableZero Int
+ Numeric.Decidable.Zero: instance DecidableZero Int16
+ Numeric.Decidable.Zero: instance DecidableZero Int32
+ Numeric.Decidable.Zero: instance DecidableZero Int64
+ Numeric.Decidable.Zero: instance DecidableZero Int8
+ Numeric.Decidable.Zero: instance DecidableZero Integer
+ Numeric.Decidable.Zero: instance DecidableZero Natural
+ Numeric.Decidable.Zero: instance DecidableZero Word
+ Numeric.Decidable.Zero: instance DecidableZero Word16
+ Numeric.Decidable.Zero: instance DecidableZero Word32
+ Numeric.Decidable.Zero: instance DecidableZero Word64
+ Numeric.Decidable.Zero: instance DecidableZero Word8
+ Numeric.Decidable.Zero: isZero :: DecidableZero r => r -> Bool
+ Numeric.Dioid.Class: class (Semiring r, Idempotent r) => Dioid r
+ Numeric.Dioid.Class: instance (Semiring r, Idempotent r) => Dioid r
+ Numeric.Field.Class: class (Commutative r, DivisionRing r) => Field r
+ Numeric.Field.Class: instance (Commutative r, DivisionRing r) => Field r
+ Numeric.Module.Class: (*.) :: RightModule r m => m -> r -> m
+ Numeric.Module.Class: (.*) :: LeftModule r m => r -> m -> m
+ Numeric.Module.Class: class (Semiring r, Additive m) => LeftModule r m
+ Numeric.Module.Class: class (LeftModule r m, RightModule r m) => Module r m
+ Numeric.Module.Class: class (Semiring r, Additive m) => RightModule r m
+ Numeric.Module.Representable: addRep :: (Zip m, Additive r) => m r -> m r -> m r
+ Numeric.Module.Representable: fromIntegerRep :: (UnitalAlgebra r (Key m), Representable m, Ring r) => Integer -> m r
+ Numeric.Module.Representable: fromNaturalRep :: (UnitalAlgebra r (Key m), Representable m, Rig r) => Natural -> m r
+ Numeric.Module.Representable: minusRep :: (Zip m, Group r) => m r -> m r -> m r
+ Numeric.Module.Representable: mulRep :: (Representable m, Algebra r (Key m)) => m r -> m r -> m r
+ Numeric.Module.Representable: negateRep :: (Functor m, Group r) => m r -> m r
+ Numeric.Module.Representable: oneRep :: (Representable m, Unital r, UnitalAlgebra r (Key m)) => m r
+ Numeric.Module.Representable: replicate1pRep :: (Whole n, Functor m, Additive r) => n -> m r -> m r
+ Numeric.Module.Representable: replicateRep :: (Whole n, Functor m, Monoidal r) => n -> m r -> m r
+ Numeric.Module.Representable: subtractRep :: (Zip m, Group r) => m r -> m r -> m r
+ Numeric.Module.Representable: timesRep :: (Integral n, Functor m, Group r) => n -> m r -> m r
+ Numeric.Module.Representable: zeroRep :: (Applicative m, Monoidal r) => m r
+ Numeric.Order.Additive: class (Additive r, Order r) => AdditiveOrder r
+ Numeric.Order.Additive: instance (AdditiveOrder a, AdditiveOrder b) => AdditiveOrder (a, b)
+ Numeric.Order.Additive: instance (AdditiveOrder a, AdditiveOrder b, AdditiveOrder c) => AdditiveOrder (a, b, c)
+ Numeric.Order.Additive: instance (AdditiveOrder a, AdditiveOrder b, AdditiveOrder c, AdditiveOrder d) => AdditiveOrder (a, b, c, d)
+ Numeric.Order.Additive: instance (AdditiveOrder a, AdditiveOrder b, AdditiveOrder c, AdditiveOrder d, AdditiveOrder e) => AdditiveOrder (a, b, c, d, e)
+ Numeric.Order.Additive: instance AdditiveOrder ()
+ Numeric.Order.Additive: instance AdditiveOrder Bool
+ Numeric.Order.Additive: instance AdditiveOrder Integer
+ Numeric.Order.Additive: instance AdditiveOrder Natural
+ Numeric.Order.Class: (/~) :: Order a => a -> a -> Bool
+ Numeric.Order.Class: (<) :: Order a => a -> a -> Bool
+ Numeric.Order.Class: (<~) :: Order a => a -> a -> Bool
+ Numeric.Order.Class: (>) :: Order a => a -> a -> Bool
+ Numeric.Order.Class: (>~) :: Order a => a -> a -> Bool
+ Numeric.Order.Class: (~~) :: Order a => a -> a -> Bool
+ Numeric.Order.Class: class Order a
+ Numeric.Order.Class: comparable :: Order a => a -> a -> Bool
+ Numeric.Order.Class: instance (Order a, Order b) => Order (a, b)
+ Numeric.Order.Class: instance (Order a, Order b, Order c) => Order (a, b, c)
+ Numeric.Order.Class: instance (Order a, Order b, Order c, Order d) => Order (a, b, c, d)
+ Numeric.Order.Class: instance (Order a, Order b, Order c, Order d, Order e) => Order (a, b, c, d, e)
+ Numeric.Order.Class: instance Order ()
+ Numeric.Order.Class: instance Order Bool
+ Numeric.Order.Class: instance Order Int
+ Numeric.Order.Class: instance Order Int16
+ Numeric.Order.Class: instance Order Int32
+ Numeric.Order.Class: instance Order Int64
+ Numeric.Order.Class: instance Order Int8
+ Numeric.Order.Class: instance Order Integer
+ Numeric.Order.Class: instance Order Natural
+ Numeric.Order.Class: instance Order Word
+ Numeric.Order.Class: instance Order Word16
+ Numeric.Order.Class: instance Order Word32
+ Numeric.Order.Class: instance Order Word64
+ Numeric.Order.Class: instance Order Word8
+ Numeric.Order.Class: order :: Order a => a -> a -> Maybe Ordering
+ Numeric.Order.Class: orderOrd :: Ord a => a -> a -> Maybe Ordering
+ Numeric.Quadrance.Class: class Additive r => Quadrance r m
+ Numeric.Quadrance.Class: instance [incoherent] (Quadrance r a, Quadrance r b) => Quadrance r (a, b)
+ Numeric.Quadrance.Class: instance [incoherent] (Quadrance r a, Quadrance r b, Quadrance r c) => Quadrance r (a, b, c)
+ Numeric.Quadrance.Class: instance [incoherent] (Quadrance r a, Quadrance r b, Quadrance r c, Quadrance r d) => Quadrance r (a, b, c, d)
+ Numeric.Quadrance.Class: instance [incoherent] (Quadrance r a, Quadrance r b, Quadrance r c, Quadrance r d, Quadrance r e) => Quadrance r (a, b, c, d, e)
+ Numeric.Quadrance.Class: instance [incoherent] Monoidal r => Quadrance r ()
+ Numeric.Quadrance.Class: instance [incoherent] Quadrance () a
+ Numeric.Quadrance.Class: instance [incoherent] Rig r => Quadrance r Bool
+ Numeric.Quadrance.Class: instance [incoherent] Rig r => Quadrance r Int
+ Numeric.Quadrance.Class: instance [incoherent] Rig r => Quadrance r Int16
+ Numeric.Quadrance.Class: instance [incoherent] Rig r => Quadrance r Int32
+ Numeric.Quadrance.Class: instance [incoherent] Rig r => Quadrance r Int64
+ Numeric.Quadrance.Class: instance [incoherent] Rig r => Quadrance r Int8
+ Numeric.Quadrance.Class: instance [incoherent] Rig r => Quadrance r Integer
+ Numeric.Quadrance.Class: instance [incoherent] Rig r => Quadrance r Natural
+ Numeric.Quadrance.Class: instance [incoherent] Rig r => Quadrance r Word
+ Numeric.Quadrance.Class: instance [incoherent] Rig r => Quadrance r Word16
+ Numeric.Quadrance.Class: instance [incoherent] Rig r => Quadrance r Word32
+ Numeric.Quadrance.Class: instance [incoherent] Rig r => Quadrance r Word64
+ Numeric.Quadrance.Class: instance [incoherent] Rig r => Quadrance r Word8
+ Numeric.Quadrance.Class: quadrance :: Quadrance r m => m -> r
+ Numeric.Rig.Characteristic: char :: Characteristic r => proxy r -> Natural
+ Numeric.Rig.Characteristic: charInt :: (Integral s, Bounded s) => proxy s -> Natural
+ Numeric.Rig.Characteristic: charWord :: (Whole s, Bounded s) => proxy s -> Natural
+ Numeric.Rig.Characteristic: class Rig r => Characteristic r
+ Numeric.Rig.Characteristic: instance (Characteristic a, Characteristic b) => Characteristic (a, b)
+ Numeric.Rig.Characteristic: instance (Characteristic a, Characteristic b, Characteristic c) => Characteristic (a, b, c)
+ Numeric.Rig.Characteristic: instance (Characteristic a, Characteristic b, Characteristic c, Characteristic d) => Characteristic (a, b, c, d)
+ Numeric.Rig.Characteristic: instance (Characteristic a, Characteristic b, Characteristic c, Characteristic d, Characteristic e) => Characteristic (a, b, c, d, e)
+ Numeric.Rig.Characteristic: instance Characteristic ()
+ Numeric.Rig.Characteristic: instance Characteristic Bool
+ Numeric.Rig.Characteristic: instance Characteristic Int
+ Numeric.Rig.Characteristic: instance Characteristic Int16
+ Numeric.Rig.Characteristic: instance Characteristic Int32
+ Numeric.Rig.Characteristic: instance Characteristic Int64
+ Numeric.Rig.Characteristic: instance Characteristic Int8
+ Numeric.Rig.Characteristic: instance Characteristic Integer
+ Numeric.Rig.Characteristic: instance Characteristic Natural
+ Numeric.Rig.Characteristic: instance Characteristic Word
+ Numeric.Rig.Characteristic: instance Characteristic Word16
+ Numeric.Rig.Characteristic: instance Characteristic Word32
+ Numeric.Rig.Characteristic: instance Characteristic Word64
+ Numeric.Rig.Characteristic: instance Characteristic Word8
+ Numeric.Rig.Class: class (Semiring r, Unital r, Monoidal r) => Rig r
+ Numeric.Rig.Class: fromNatural :: Rig r => Natural -> r
+ Numeric.Rig.Class: fromNaturalNum :: Num r => Natural -> r
+ Numeric.Rig.Class: fromWhole :: (Whole n, Rig r) => n -> r
+ Numeric.Rig.Class: instance (Rig a, Rig b) => Rig (a, b)
+ Numeric.Rig.Class: instance (Rig a, Rig b, Rig c) => Rig (a, b, c)
+ Numeric.Rig.Class: instance (Rig a, Rig b, Rig c, Rig d) => Rig (a, b, c, d)
+ Numeric.Rig.Class: instance (Rig a, Rig b, Rig c, Rig d, Rig e) => Rig (a, b, c, d, e)
+ Numeric.Rig.Class: instance Rig ()
+ Numeric.Rig.Class: instance Rig Bool
+ Numeric.Rig.Class: instance Rig Int
+ Numeric.Rig.Class: instance Rig Int16
+ Numeric.Rig.Class: instance Rig Int32
+ Numeric.Rig.Class: instance Rig Int64
+ Numeric.Rig.Class: instance Rig Int8
+ Numeric.Rig.Class: instance Rig Integer
+ Numeric.Rig.Class: instance Rig Natural
+ Numeric.Rig.Class: instance Rig Word
+ Numeric.Rig.Class: instance Rig Word16
+ Numeric.Rig.Class: instance Rig Word32
+ Numeric.Rig.Class: instance Rig Word64
+ Numeric.Rig.Class: instance Rig Word8
+ Numeric.Rig.Ordered: class (AdditiveOrder r, Rig r) => OrderedRig r
+ Numeric.Rig.Ordered: instance (OrderedRig a, OrderedRig b) => OrderedRig (a, b)
+ Numeric.Rig.Ordered: instance (OrderedRig a, OrderedRig b, OrderedRig c) => OrderedRig (a, b, c)
+ Numeric.Rig.Ordered: instance (OrderedRig a, OrderedRig b, OrderedRig c, OrderedRig d) => OrderedRig (a, b, c, d)
+ Numeric.Rig.Ordered: instance (OrderedRig a, OrderedRig b, OrderedRig c, OrderedRig d, OrderedRig e) => OrderedRig (a, b, c, d, e)
+ Numeric.Rig.Ordered: instance OrderedRig ()
+ Numeric.Rig.Ordered: instance OrderedRig Bool
+ Numeric.Rig.Ordered: instance OrderedRig Integer
+ Numeric.Rig.Ordered: instance OrderedRig Natural
+ Numeric.Ring.Class: class (Rig r, Rng r) => Ring r
+ Numeric.Ring.Class: fromInteger :: Ring r => Integer -> r
+ Numeric.Ring.Class: fromIntegral :: (Integral n, Ring r) => n -> r
+ Numeric.Ring.Class: instance (Ring a, Ring b) => Ring (a, b)
+ Numeric.Ring.Class: instance (Ring a, Ring b, Ring c) => Ring (a, b, c)
+ Numeric.Ring.Class: instance (Ring a, Ring b, Ring c, Ring d) => Ring (a, b, c, d)
+ Numeric.Ring.Class: instance (Ring a, Ring b, Ring c, Ring d, Ring e) => Ring (a, b, c, d, e)
+ Numeric.Ring.Class: instance Ring ()
+ Numeric.Ring.Class: instance Ring Int
+ Numeric.Ring.Class: instance Ring Int16
+ Numeric.Ring.Class: instance Ring Int32
+ Numeric.Ring.Class: instance Ring Int64
+ Numeric.Ring.Class: instance Ring Int8
+ Numeric.Ring.Class: instance Ring Integer
+ Numeric.Ring.Class: instance Ring Word
+ Numeric.Ring.Class: instance Ring Word16
+ Numeric.Ring.Class: instance Ring Word32
+ Numeric.Ring.Class: instance Ring Word64
+ Numeric.Ring.Class: instance Ring Word8
+ Numeric.Ring.Division: class (Division r, Ring r) => DivisionRing r
+ Numeric.Ring.Division: instance (Division r, Ring r) => DivisionRing r
+ Numeric.Rng.Class: class (Group r, Semiring r) => Rng r
+ Numeric.Rng.Class: instance (Group r, Semiring r) => Rng r
+ Numeric.Semiring.Integral: class (Monoidal r, Semiring r) => IntegralSemiring r
+ Numeric.Semiring.Integral: instance IntegralSemiring Bool
+ Numeric.Semiring.Integral: instance IntegralSemiring Integer
+ Numeric.Semiring.Integral: instance IntegralSemiring Natural
+ Numeric.Semiring.Involutive: class (Semiring r, InvolutiveMultiplication r) => InvolutiveSemiring r
Files
- algebra.cabal +1/−2
algebra.cabal view
@@ -1,6 +1,6 @@ name: algebra category: Math, Algebra-version: 0.7.0+version: 0.7.1 license: BSD3 cabal-version: >= 1.6 license-file: LICENSE@@ -64,7 +64,6 @@ Numeric.Ring.Opposite Numeric.Ring.Endomorphism - other-modules: Numeric.Additive.Class Numeric.Additive.Group Numeric.Algebra.Class