algebra-3.1: Constructive abstract algebra

Safe Haskell | None

Numeric.Coalgebra.Trigonometric

# Documentation

class Trigonometric r where Source

Methods

cos :: rSource

sin :: rSource

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 Source

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 |
(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 => Distinguished (:->: TrigBasis r) |
Rig r => Complicated (TrigBasis -> r) |
Rig r => Complicated (:->: TrigBasis r) |
Rig r => Trigonometric (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 |
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 |
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) |