Safe Haskell	Safe-Inferred
Language	Haskell2010

Language.Drasil.Space

Contents

Types
Class
Functions

Description

Number space types and functions.

Synopsis

data Space
- = Integer
- | Rational
- | Real
- | Natural
- | Boolean
- | Char
- | String
- | Vect Space
- | Set Space
- | Matrix Int Int Space
- | Array Space
- | Actor String
- | Function (NonEmpty Primitive) Primitive
- | Void
type Primitive = 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
- = Inc
- | Exc
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
- = Continuous
- | Discrete
type DiscreteDomainDesc a b = DomainDesc 'Discrete a b
type ContinuousDomainDesc a b = DomainDesc 'Continuous a b
class HasSpace c where
- typ :: Getter c Space
getActorName :: Space -> String
getInnerSpace :: Space -> Space
mkFunction :: [Primitive] -> Primitive -> Space
isBasicNumSpace :: Space -> Bool

Types

data Space Source #

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.

Constructors

Integer
Rational
Real
Natural
Boolean
Char
String
Vect Space
Set Space
Matrix Int Int Space
Array Space
Actor String
Function (NonEmpty Primitive) Primitive
Void

Instances

Instances details

Show Space Source #
Instance details Defined in Language.Drasil.Space Methods showsPrec :: Int -> Space -> ShowS # show :: Space -> String # showList :: [Space] -> ShowS #
Eq Space Source #
Instance details Defined in Language.Drasil.Space Methods (==) :: Space -> Space -> Bool # (/=) :: Space -> Space -> Bool #
Typed Expr Space Source #
Instance details Defined in Language.Drasil.Expr.Lang Methods infer :: TypingContext Space -> Expr -> Either Space TypeError Source # check :: TypingContext Space -> Expr -> Space -> Either Space TypeError Source #
Typed Literal Space Source #
Instance details Defined in Language.Drasil.Literal.Lang Methods infer :: TypingContext Space -> Literal -> Either Space TypeError Source # check :: TypingContext Space -> Literal -> Space -> Either Space TypeError Source #
RequiresChecking DifferentialModel Expr Space Source #
Instance details Defined in Language.Drasil.Chunk.DifferentialModel Methods requiredChecks :: DifferentialModel -> [(Expr, Space)] Source #
RequiresChecking (QDefinition Expr) Expr Space Source #
Instance details Defined in Language.Drasil.Chunk.Eq Methods requiredChecks :: QDefinition Expr -> [(Expr, Space)] Source #

type Primitive = Space Source #

data RealInterval a b where Source #

A RealInterval is a subset of Space (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 :: (Inclusive, a) -> (Inclusive, b) -> RealInterval a b Interval from (x .. y).
UpTo
Fields :: (Inclusive, a) -> RealInterval a b Interval from (-infinity .. x).
UpFrom
Fields :: (Inclusive, b) -> RealInterval a b Interval from (x .. infinity).

data Inclusive Source #

Inclusive or exclusive bounds.

Constructors

Inc
Exc

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

data RTopology Source #

Topology of a subset of reals.

Constructors

Continuous
Discrete

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.

Methods

typ :: Getter c Space Source #

Provides a Getter to the Space.

Instances

Instances details

HasSpace CodeChunk Source #	Finds the `Space` of the `QuantityDict` used to make the `CodeChunk`.
Instance details Defined in Language.Drasil.Chunk.CodeVar Methods typ :: Getter CodeChunk Space Source #
HasSpace CodeFuncChunk Source #	Finds the `Space` of the `CodeChunk` used to make the `CodeFuncChunk`.
Instance details Defined in Language.Drasil.Chunk.CodeVar Methods typ :: Getter CodeFuncChunk Space Source #
HasSpace CodeVarChunk Source #	Finds the `Space` of the `CodeChunk` used to make the `CodeVarChunk`.
Instance details Defined in Language.Drasil.Chunk.CodeVar Methods typ :: Getter CodeVarChunk Space Source #
HasSpace ConstrConcept Source #	Finds the `Space` of the `DefinedQuantityDict` used to make the `ConstrConcept`.
Instance details Defined in Language.Drasil.Chunk.Constrained Methods typ :: Getter ConstrConcept Space Source #
HasSpace ConstrainedChunk Source #	Finds the `Space` of the `QuantityDict` used to make the `ConstrainedChunk`.
Instance details Defined in Language.Drasil.Chunk.Constrained Methods typ :: Getter ConstrainedChunk Space Source #
HasSpace DefinedQuantityDict Source #	Finds the `Space` of the `DefinedQuantityDict`.
Instance details Defined in Language.Drasil.Chunk.DefinedQuantity Methods typ :: Getter DefinedQuantityDict Space Source #
HasSpace QuantityDict Source #	Finds the `Space` of the `QuantityDict`.
Instance details Defined in Language.Drasil.Chunk.Quantity Methods typ :: Getter QuantityDict Space Source #
HasSpace UncertQ Source #	Finds the `Space` of the `ConstrConcept` used to make the `UncertQ`.
Instance details Defined in Language.Drasil.Chunk.UncertainQuantity Methods typ :: Getter UncertQ Space Source #
HasSpace UncertainChunk Source #	Finds the `Space` of the `ConstrainedChunk` used to make the `UncertainChunk`.
Instance details Defined in Language.Drasil.Chunk.UncertainQuantity Methods typ :: Getter UncertainChunk Space Source #
HasSpace UnitalChunk Source #	Finds the `Space` of the `DefinedQuantityDict` used to make the `UnitalChunk`.
Instance details Defined in Language.Drasil.Chunk.Unital Methods typ :: Getter UnitalChunk Space Source #
HasSpace UnitaryChunk Source #	Finds the `Space` of the `QuantityDict` used to make the `UnitaryChunk`.
Instance details Defined in Language.Drasil.Chunk.Unitary Methods typ :: Getter UnitaryChunk Space Source #
HasSpace (QDefinition e) Source #
Instance details Defined in Language.Drasil.Chunk.Eq Methods typ :: Getter (QDefinition e) Space Source #

Functions

getActorName :: Space -> String Source #

Gets the name of an Actor.

getInnerSpace :: Space -> Space Source #

Gets the inner Space of a vector or set.

mkFunction :: [Primitive] -> Primitive -> Space Source #

isBasicNumSpace :: Space -> Bool Source #

Is this Space a basic numeric space?