Numeric.Algebra.Hyperbolic

Documentation

class Hyperbolic r where

Methods

s :: r

c :: r

Instances

Hyperbolic HyperBasis

Rig r => Hyperbolic (Hyper r)

Rig r => Hyperbolic (HyperBasis -> r)

Hyperbolic a => Hyperbolic (Covector r a)

data HyperBasis

Constructors

S

C

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, Semiring k) => Coalgebra k HyperBasis

(Commutative k, Semiring k) => Algebra k HyperBasis

(Commutative k, Semiring k) => CounitalCoalgebra k HyperBasis

(Commutative k, Monoidal k, Semiring k) => UnitalAlgebra k HyperBasis

Rig r => Hyperbolic (HyperBasis -> r)

data Hyper a

Constructors

Hyper a a

Instances

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)

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, Rig r) => Rig (Hyper r)

(Commutative r, Ring r) => Ring (Hyper r)

(Commutative k, Semiring k) => Commutative (Hyper k)

(Commutative r, InvolutiveSemiring r) => InvolutiveSemiring (Hyper r)

(Commutative r, Semiring r, InvolutiveMultiplication 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)