Numeric.Algebra.Hyperbolic

Documentation

class Hyperbolic r where

Methods

cosh :: r

sinh :: r

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'

Constructors

Cosh'

Sinh'

Instances

Bounded HyperBasis'

Enum HyperBasis'

Eq HyperBasis'

Data HyperBasis'

Ord HyperBasis'

Read HyperBasis'

Show HyperBasis'

Ix HyperBasis'

Typeable 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)

data Hyper' a

Constructors

Hyper' a a

Instances

Monad Hyper'

Functor Hyper'

Typeable1 Hyper'

Applicative Hyper'

Foldable Hyper'

Traversable Hyper'

Distributive Hyper'

Representable Hyper'

Traversable1 Hyper'

Foldable1 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)