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
- | Matrix Int Int Space
- | Array Space
- | Actor String
- | DiscreteD [Double]
- | DiscreteS [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
Matrix Int Int Space
Array Space
Actor String
DiscreteD [Double]
DiscreteS [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.

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

isBasicNumSpace :: Space -> Bool Source #

Is this Space a basic numeric space?