Safe Haskell | None |
---|---|
Language | Haskell2010 |
- class (Eq s, Eq (Element s)) => Set s where
- type Element s :: *
- class Set s => Discrete s where
- data Boolean = Boolean
- data NaturalNumbers = NaturalNumbers
- data Integers = Integers
- type Coordinates = Vector Double
- newtype Euclidean = Euclidean Int
- data Continuum = Continuum
- data Replicated m = Replicated !m !Int
Sets
Instances
Discrete
data NaturalNumbers Source
The set of natural numbers.
The set of integers.
Continuous
type Coordinates = Vector Double Source
Element
s of Euclidean
spaces are referred to as Coordinates
.
Euclidean
space.
One dimensional Euclidean
space.
Combinators
Replicated
data Replicated m Source
A Replicated
set is a single set multiplied a specified number of times
via the Cartesian product.
Replicated !m !Int |
(Manifold m, Riemannian c m) => Riemannian c (Replicated m) Source | |
Legendre c m => Legendre c (Replicated m) Source | |
Eq m => Eq (Replicated m) Source | |
Read m => Read (Replicated m) Source | |
Show m => Show (Replicated m) Source | |
Discrete s => Discrete (Replicated s) Source | |
Set s => Set (Replicated s) Source | |
Manifold m => Manifold (Replicated m) Source | |
type Element (Replicated s) = [Element s] Source |