Safe Haskell | Safe-Infered |
---|
Numeric.Algebra.Hyperbolic
Documentation
class Hyperbolic r whereSource
Instances
Hyperbolic HyperBasis' | |
Hyperbolic HyperBasis | |
Rig r => Hyperbolic (Hyper' r) | |
Rig r => Hyperbolic (Hyper r) | |
Rig r => Hyperbolic (HyperBasis' -> r) | |
Rig r => Hyperbolic (HyperBasis -> r) | |
Hyperbolic a => Hyperbolic (Covector r a) |
data HyperBasis' Source
Instances
Bounded HyperBasis' | |
Enum HyperBasis' | |
Eq HyperBasis' | |
Data HyperBasis' | |
Ord HyperBasis' | |
Read HyperBasis' | |
Show HyperBasis' | |
Ix HyperBasis' | |
Typeable HyperBasis' | |
HasTrie HyperBasis' | |
Hyperbolic HyperBasis' | |
MonadReader HyperBasis' Hyper' | |
(Commutative k, Monoidal k, Semiring k) => Coalgebra k HyperBasis' | |
(Commutative k, Semiring k) => Algebra k HyperBasis' | |
(Commutative k, Monoidal k, Semiring k) => Bialgebra k HyperBasis' | |
(Commutative k, Monoidal k, Semiring k) => CounitalCoalgebra k HyperBasis' | |
(Commutative k, Monoidal k, Semiring k) => UnitalAlgebra k HyperBasis' | |
(Commutative k, Group k, InvolutiveSemiring k) => HopfAlgebra k HyperBasis' | |
(Commutative k, Group k, InvolutiveSemiring k) => InvolutiveCoalgebra k HyperBasis' | |
(Commutative k, Group k, InvolutiveSemiring k) => InvolutiveAlgebra k HyperBasis' | |
Rig r => Hyperbolic (HyperBasis' -> r) |
Constructors
Hyper' a a |
Instances