Numeric.Coalgebra.Trigonometric

Documentation

class Trigonometric r where

Methods

cos :: r

sin :: r

Instances

Trigonometric TrigBasis

Rig r => Trigonometric (Trig r)

Rig r => Trigonometric (TrigBasis -> r)

Trigonometric a => Trigonometric (Covector r a)

data TrigBasis

Constructors

Cos

Sin

Instances

Bounded TrigBasis

Enum TrigBasis

Eq TrigBasis

Data TrigBasis

Ord TrigBasis

Read TrigBasis

Show TrigBasis

Ix TrigBasis

Typeable TrigBasis

Distinguished TrigBasis

Complicated TrigBasis

Trigonometric TrigBasis

MonadReader TrigBasis Trig

(Commutative k, Rng k) => Coalgebra k TrigBasis

(Commutative k, Rng k) => Algebra k TrigBasis

(Commutative k, Rng k) => Bialgebra k TrigBasis

(Commutative k, Rng k) => CounitalCoalgebra k TrigBasis

(Commutative k, Rng k) => UnitalAlgebra k TrigBasis

(Commutative k, Group k, InvolutiveSemiring k) => HopfAlgebra k TrigBasis

(Commutative k, Group k, InvolutiveSemiring k) => InvolutiveCoalgebra k TrigBasis

(Commutative k, Group k, InvolutiveSemiring k) => InvolutiveAlgebra k TrigBasis

Rig r => Distinguished (TrigBasis -> r)

Rig r => Complicated (TrigBasis -> r)

Rig r => Trigonometric (TrigBasis -> r)

data Trig a

Constructors

Trig a a

Instances

Monad Trig

Functor Trig

Typeable1 Trig

Applicative Trig

Foldable Trig

Traversable Trig

Distributive Trig

Representable Trig

Traversable1 Trig

Foldable1 Trig

Apply Trig

Bind Trig

MonadReader TrigBasis Trig

RightModule r s => RightModule r (Trig s)

LeftModule r s => LeftModule r (Trig s)

Eq a => Eq (Trig a)

Data a => Data (Trig a)

Read a => Read (Trig a)

Show a => Show (Trig a)

Idempotent r => Idempotent (Trig r)

Abelian r => Abelian (Trig r)

Partitionable r => Partitionable (Trig r)

Additive r => Additive (Trig r)

Monoidal r => Monoidal (Trig r)

(Commutative k, Rng k) => Semiring (Trig k)

(Commutative k, Rng k) => Multiplicative (Trig k)

Group r => Group (Trig r)

(Commutative k, Ring k) => Unital (Trig k)

(Commutative r, Ring r) => Rig (Trig r)

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

(Commutative k, Rng k) => Commutative (Trig k)

(Commutative r, Rng r, InvolutiveSemiring r) => InvolutiveSemiring (Trig r)

(Commutative r, Rng r, InvolutiveMultiplication r) => InvolutiveMultiplication (Trig r)

Rig r => Distinguished (Trig r)

Rig r => Complicated (Trig r)

Rig r => Trigonometric (Trig r)

(Commutative r, Rng r) => RightModule (Trig r) (Trig r)

(Commutative r, Rng r) => LeftModule (Trig r) (Trig r)