algebra-4.1: Constructive abstract algebra

Safe Haskell	None

Numeric.Coalgebra.Trigonometric

Documentation

class Trigonometric r whereSource

Methods

Instances

Trigonometric TrigBasis
Rig r => Trigonometric (Trig r)
Rig r => Trigonometric (TrigBasis -> r)
Trigonometric a => Trigonometric (Covector r a)

data TrigBasis Source

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 Source

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)