Monad Hyper' | |
Functor Hyper' | |
Typeable1 Hyper' | |
Applicative Hyper' | |
Foldable Hyper' | |
Traversable Hyper' | |
Distributive Hyper' | |
Foldable1 Hyper' | |
Traversable1 Hyper' | |
Keyed Hyper' | |
Zip Hyper' | |
ZipWithKey Hyper' | |
Indexable Hyper' | |
Lookup Hyper' | |
Adjustable Hyper' | |
FoldableWithKey Hyper' | |
FoldableWithKey1 Hyper' | |
TraversableWithKey Hyper' | |
TraversableWithKey1 Hyper' | |
Representable Hyper' | |
Apply Hyper' | |
Bind Hyper' | |
MonadReader HyperBasis' Hyper' | |
RightModule r s => RightModule r (Hyper' s) | |
LeftModule r s => LeftModule r (Hyper' s) | |
(Commutative r, InvolutiveSemiring r, Rng r) => Quadrance r (Hyper' r) | |
Eq a => Eq (Hyper' a) | |
Data a => Data (Hyper' a) | |
Read a => Read (Hyper' a) | |
Show a => Show (Hyper' a) | |
Idempotent r => Idempotent (Hyper' r) | |
Abelian r => Abelian (Hyper' r) | |
Partitionable r => Partitionable (Hyper' r) | |
Additive r => Additive (Hyper' r) | |
Monoidal r => Monoidal (Hyper' r) | |
(Commutative k, Semiring k) => Semiring (Hyper' k) | |
(Commutative k, Semiring k) => Multiplicative (Hyper' k) | |
Group r => Group (Hyper' r) | |
(Commutative k, Rig k) => Unital (Hyper' k) | |
(Commutative r, InvolutiveSemiring r, DivisionRing r) => Division (Hyper' r) | |
(Commutative r, Rig r) => Rig (Hyper' r) | |
(Commutative r, Ring r) => Ring (Hyper' r) | |
(Commutative k, Semiring k) => Commutative (Hyper' k) | |
(Commutative r, InvolutiveSemiring r, Rng r) => InvolutiveSemiring (Hyper' r) | |
(Commutative r, InvolutiveSemiring r, Rng r) => InvolutiveMultiplication (Hyper' r) | |
Rig r => Hyperbolic (Hyper' r) | |
(Commutative r, Semiring r) => RightModule (Hyper' r) (Hyper' r) | |
(Commutative r, Semiring r) => LeftModule (Hyper' r) (Hyper' r) | |