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)

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

HasTrie TrigBasis

Distinguished TrigBasis

Complicated TrigBasis

Trigonometric TrigBasis

MonadReader TrigBasis Trig

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

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

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

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

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

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

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

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

Rig r => Distinguished (TrigBasis -> r)

Rig r => Distinguished (:->: TrigBasis r)

(Distinguished (TrigBasis -> r), Rig r) => Complicated (TrigBasis -> r)

(Distinguished (:->: TrigBasis r), Rig r) => Complicated (:->: TrigBasis r)

Rig r => Trigonometric (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

Keyed Trig

Zip Trig

ZipWithKey Trig

Indexable Trig

Lookup Trig

Adjustable Trig

FoldableWithKey Trig

FoldableWithKey1 Trig

TraversableWithKey Trig

TraversableWithKey1 Trig

Representable Trig

Traversable1 Trig

Foldable1 Trig

Apply Trig

Bind Trig

MonadReader TrigBasis Trig

(Semiring r, Additive (Trig s), RightModule r s) => RightModule r (Trig s)

(Semiring r, Additive (Trig s), LeftModule r s) => LeftModule r (Trig s)

Eq a => Eq (Trig a)

(Typeable (Trig a), Data a) => Data (Trig a)

Read a => Read (Trig a)

Show a => Show (Trig a)

(Additive (Trig r), Idempotent r) => Idempotent (Trig r)

(Additive (Trig r), Abelian r) => Abelian (Trig r)

(Additive (Trig r), Partitionable r) => Partitionable (Trig r)

Additive r => Additive (Trig r)

(LeftModule Natural (Trig r), RightModule Natural (Trig r), Monoidal r) => Monoidal (Trig r)

(Additive (Trig k), Abelian (Trig k), Multiplicative (Trig k), Commutative k, Rng k) => Semiring (Trig k)

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

(LeftModule Integer (Trig r), RightModule Integer (Trig r), Monoidal (Trig r), Group r) => Group (Trig r)

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

(Semiring (Trig r), Unital (Trig r), Monoidal (Trig r), Commutative r, Ring r) => Rig (Trig r)

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

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

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

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

Rig r => Distinguished (Trig r)

(Distinguished (Trig r), Rig r) => Complicated (Trig r)

Rig r => Trigonometric (Trig r)

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

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