| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Language.Drasil.Space
Description
Number space types and functions.
Synopsis
- data Space
- data RealInterval a b where
- Bounded :: (Inclusive, a) -> (Inclusive, b) -> RealInterval a b
- UpTo :: (Inclusive, a) -> RealInterval a b
- UpFrom :: (Inclusive, b) -> RealInterval a b
- data Inclusive
- data DomainDesc (tplgy :: RTopology) a b where
- BoundedDD :: Symbol -> RTopology -> a -> b -> DomainDesc 'Discrete a b
- AllDD :: Symbol -> RTopology -> DomainDesc 'Continuous a b
- data RTopology
- type DiscreteDomainDesc a b = DomainDesc 'Discrete a b
- type ContinuousDomainDesc a b = DomainDesc 'Continuous a b
- class HasSpace c where
- getActorName :: Space -> String
- getInnerSpace :: Space -> Space
- mkFunction :: [Primitive] -> Primitive -> Space
Types
The difference kinds of spaces that may exist. This type holds numerical spaces (such as the set of integers, rationals, etc.), a space for booleans, a space for characters, dimensional spaces (vectors, arrays, etc.), a space for Actors, discrete sets (both for numbers and strings), and a void space.
data RealInterval a b where Source #
A RealInterval is a subset of Real (as a Space).
These come in different flavours.
For now, we embed Expr for the bounds, but that will change as well.
Constructors
| Bounded | |
Fields
| |
| UpTo | |
Fields
| |
| UpFrom | |
Fields
| |
data DomainDesc (tplgy :: RTopology) a b where Source #
Describes the domain of a Symbol given a topology. Can be bounded or encase all of the domain.
Constructors
| BoundedDD :: Symbol -> RTopology -> a -> b -> DomainDesc 'Discrete a b | |
| AllDD :: Symbol -> RTopology -> DomainDesc 'Continuous a b |
type DiscreteDomainDesc a b = DomainDesc 'Discrete a b Source #
type ContinuousDomainDesc a b = DomainDesc 'Continuous a b Source #
Class
class HasSpace c where Source #
HasSpace is anything which has a Space.
Instances
Functions
mkFunction :: [Primitive] -> Primitive -> Space Source #