Safe Haskell	Safe-Inferred
Language	Haskell2010

Language.Drasil.Expr.Development

Synopsis

data Expr where
- Lit :: Literal -> Expr
- AssocA :: AssocArithOper -> [Expr] -> Expr
- AssocB :: AssocBoolOper -> [Expr] -> Expr
- AssocC :: AssocConcatOper -> [Expr] -> Expr
- C :: UID -> Expr
- FCall :: UID -> [Expr] -> Expr
- Case :: Completeness -> [(Expr, Relation)] -> Expr
- Matrix :: [[Expr]] -> Expr
- Set :: Space -> [Expr] -> Expr
- Variable :: String -> Expr -> Expr
- UnaryOp :: UFunc -> Expr -> Expr
- UnaryOpB :: UFuncB -> Expr -> Expr
- UnaryOpVV :: UFuncVV -> Expr -> Expr
- UnaryOpVN :: UFuncVN -> Expr -> Expr
- ArithBinaryOp :: ArithBinOp -> Expr -> Expr -> Expr
- BoolBinaryOp :: BoolBinOp -> Expr -> Expr -> Expr
- EqBinaryOp :: EqBinOp -> Expr -> Expr -> Expr
- LABinaryOp :: LABinOp -> Expr -> Expr -> Expr
- OrdBinaryOp :: OrdBinOp -> Expr -> Expr -> Expr
- VVVBinaryOp :: VVVBinOp -> Expr -> Expr -> Expr
- VVNBinaryOp :: VVNBinOp -> Expr -> Expr -> Expr
- NVVBinaryOp :: NVVBinOp -> Expr -> Expr -> Expr
- ESSBinaryOp :: ESSBinOp -> Expr -> Expr -> Expr
- ESBBinaryOp :: ESBBinOp -> Expr -> Expr -> Expr
- Operator :: AssocArithOper -> DiscreteDomainDesc Expr Expr -> Expr -> Expr
- RealI :: UID -> RealInterval Expr Expr -> Expr
data UFunc
- = Abs
- | Log
- | Ln
- | Sin
- | Cos
- | Tan
- | Sec
- | Csc
- | Cot
- | Arcsin
- | Arccos
- | Arctan
- | Exp
- | Sqrt
- | Neg
data UFuncB = Not
data UFuncVV = NegV
data UFuncVN
- = Norm
- | Dim
data ArithBinOp
- = Frac
- | Pow
- | Subt
data BoolBinOp
- = Impl
- | Iff
data EqBinOp
- = Eq
- | NEq
data LABinOp
- = Index
- | IndexOf
data OrdBinOp
- = Lt
- | Gt
- | LEq
- | GEq
data VVVBinOp
- = Cross
- | VAdd
- | VSub
data VVNBinOp = Dot
data NVVBinOp = Scale
data ESSBinOp
- = SAdd
- | SRemove
data ESBBinOp = SContains
data AssocArithOper
- = Add
- | Mul
data AssocBoolOper
- = And
- | Or
data AssocConcatOper = SUnion
data Completeness
- = Complete
- | Incomplete
type Relation = Expr
eDep :: Expr -> [UID]
eNames :: Expr -> [UID]
eNames' :: Expr -> [UID]
eNamesRI :: RealInterval Expr Expr -> [UID]
precA :: AssocArithOper -> Int
precB :: AssocBoolOper -> Int
precC :: AssocConcatOper -> Int
eprec :: Expr -> Int

Documentation

data Expr where Source #

Expression language where all terms are supposed to be 'well understood' (i.e., have a definite meaning). Right now, this coincides with "having a definite value", but should not be restricted to that.

Constructors

Lit :: Literal -> Expr	Brings a literal into the expression language.
AssocA :: AssocArithOper -> [Expr] -> Expr	Takes an associative arithmetic operator with a list of expressions.
AssocB :: AssocBoolOper -> [Expr] -> Expr	Takes an associative boolean operator with a list of expressions.
AssocC :: AssocConcatOper -> [Expr] -> Expr
C :: UID -> Expr	C stands for Chunk, for referring to a chunk in an expression. Implicitly assumes that the chunk has a symbol.
FCall :: UID -> [Expr] -> Expr	Function applications.
Case :: Completeness -> [(Expr, Relation)] -> Expr	For multi-case expressions, each pair represents one case.
Matrix :: [[Expr]] -> Expr	Represents a matrix of expressions.
Set :: Space -> [Expr] -> Expr	Represents a set of expressions
Variable :: String -> Expr -> Expr	used to refernce the (name + type = variable )
UnaryOp :: UFunc -> Expr -> Expr	Unary operation for most functions (eg. sin, cos, log, etc.).
UnaryOpB :: UFuncB -> Expr -> Expr	Unary operation for `Bool -> Bool` operations.
UnaryOpVV :: UFuncVV -> Expr -> Expr	Unary operation for `Vector -> Vector` operations.
UnaryOpVN :: UFuncVN -> Expr -> Expr	Unary operation for `Vector -> Number` operations.
ArithBinaryOp :: ArithBinOp -> Expr -> Expr -> Expr	Binary operator for arithmetic between expressions (fractional, power, and subtraction).
BoolBinaryOp :: BoolBinOp -> Expr -> Expr -> Expr	Binary operator for boolean operators (implies, iff).
EqBinaryOp :: EqBinOp -> Expr -> Expr -> Expr	Binary operator for equality between expressions.
LABinaryOp :: LABinOp -> Expr -> Expr -> Expr	Binary operator for indexing two expressions.
OrdBinaryOp :: OrdBinOp -> Expr -> Expr -> Expr	Binary operator for ordering expressions (less than, greater than, etc.).
VVVBinaryOp :: VVVBinOp -> Expr -> Expr -> Expr	Binary operator for `Vector x Vector -> Vector` operations (cross product).
VVNBinaryOp :: VVNBinOp -> Expr -> Expr -> Expr	Binary operator for `Vector x Vector -> Number` operations (dot product).
NVVBinaryOp :: NVVBinOp -> Expr -> Expr -> Expr	Binary operator for `Expr x Vector -> Vector` operations (scaling).
ESSBinaryOp :: ESSBinOp -> Expr -> Expr -> Expr	Set operator for Element + Set -> Set
ESBBinaryOp :: ESBBinOp -> Expr -> Expr -> Expr	Set operator for Element + Set -> Bool
Operator :: AssocArithOper -> DiscreteDomainDesc Expr Expr -> Expr -> Expr	Operators are generalized arithmetic operators over a `DomainDesc` of an `Expr`. Could be called BigOp. ex: Summation is represented via `Add` over a discrete domain.
RealI :: UID -> RealInterval Expr Expr -> Expr	A different kind of `IsIn`. A `UID` is an element of an interval.

Instances

Instances details

CanGenCode Expr Source #
Instance details Defined in Language.Drasil.CodeExpr.Convert Methods toCodeExpr :: Expr -> CodeExpr Source #
ExprC Expr Source #
Instance details Defined in Language.Drasil.Expr.Class Methods lit :: Literal -> Expr Source # ($=) :: Expr -> Expr -> Expr Source # ($!=) :: Expr -> Expr -> Expr Source # ($<) :: Expr -> Expr -> Expr Source # ($>) :: Expr -> Expr -> Expr Source # ($<=) :: Expr -> Expr -> Expr Source # ($>=) :: Expr -> Expr -> Expr Source # ($.) :: Expr -> Expr -> Expr Source # ($+) :: Expr -> Expr -> Expr Source # ($*) :: Expr -> Expr -> Expr Source # ($-) :: Expr -> Expr -> Expr Source # ($/) :: Expr -> Expr -> Expr Source # ($^) :: Expr -> Expr -> Expr Source # ($=>) :: Expr -> Expr -> Expr Source # ($<=>) :: Expr -> Expr -> Expr Source # ($&&) :: Expr -> Expr -> Expr Source # ($\|\|) :: Expr -> Expr -> Expr Source # in' :: Expr -> Expr -> Expr Source # abs_ :: Expr -> Expr Source # neg :: Expr -> Expr Source # log :: Expr -> Expr Source # ln :: Expr -> Expr Source # sqrt :: Expr -> Expr Source # sin :: Expr -> Expr Source # cos :: Expr -> Expr Source # tan :: Expr -> Expr Source # sec :: Expr -> Expr Source # csc :: Expr -> Expr Source # cot :: Expr -> Expr Source # arcsin :: Expr -> Expr Source # arccos :: Expr -> Expr Source # arctan :: Expr -> Expr Source # exp :: Expr -> Expr Source # dim :: Expr -> Expr Source # norm :: Expr -> Expr Source # negVec :: Expr -> Expr Source # not_ :: Expr -> Expr Source # idx :: Expr -> Expr -> Expr Source # idxOf :: Expr -> Expr -> Expr Source # defint :: Symbol -> Expr -> Expr -> Expr -> Expr Source # defsum :: Symbol -> Expr -> Expr -> Expr -> Expr Source # defprod :: Symbol -> Expr -> Expr -> Expr -> Expr Source # realInterval :: HasUID c => c -> RealInterval Expr Expr -> Expr Source # euclidean :: [Expr] -> Expr Source # cross :: Expr -> Expr -> Expr Source # vScale :: Expr -> Expr -> Expr Source # vAdd :: Expr -> Expr -> Expr Source # vSub :: Expr -> Expr -> Expr Source # completeCase :: [(Expr, Expr)] -> Expr Source # incompleteCase :: [(Expr, Expr)] -> Expr Source # matrix :: [[Expr]] -> Expr Source # set' :: Space -> [Expr] -> Expr Source # apply :: (HasUID f, HasSymbol f) => f -> [Expr] -> Expr Source # sy :: (HasUID c, HasSymbol c) => c -> Expr Source #
Express Expr Source #	Rewriting `Expr`s using the `ModelExpr` language.
Instance details Defined in Language.Drasil.ExprClasses Methods express :: Expr -> ModelExpr Source #
LiteralC Expr Source #
Instance details Defined in Language.Drasil.Expr.Lang Methods int :: Integer -> Expr Source # str :: String -> Expr Source # dbl :: Double -> Expr Source # exactDbl :: Integer -> Expr Source # perc :: Integer -> Integer -> Expr Source #
Eq Expr Source #	Expressions are equal if their constructors and contents are equal. TODO: This needs to add more equality checks
Instance details Defined in Language.Drasil.Expr.Lang Methods (==) :: Expr -> Expr -> Bool # (/=) :: Expr -> Expr -> 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 #
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 #

data UFunc Source #

Unary functions (abs, log, ln, sin, etc.).

Constructors

Abs
Log
Ln
Sin
Cos
Tan
Sec
Csc
Cot
Arcsin
Arccos
Arctan
Exp
Sqrt
Neg

Instances

Instances details

Show UFunc Source #
Instance details Defined in Language.Drasil.Expr.Lang Methods showsPrec :: Int -> UFunc -> ShowS # show :: UFunc -> String # showList :: [UFunc] -> ShowS #
Eq UFunc Source #
Instance details Defined in Language.Drasil.Expr.Lang Methods (==) :: UFunc -> UFunc -> Bool # (/=) :: UFunc -> UFunc -> Bool #

data UFuncB Source #

Bool -> Bool operators.

Constructors

Not

Instances

Instances details

Eq UFuncB Source #
Instance details Defined in Language.Drasil.Expr.Lang Methods (==) :: UFuncB -> UFuncB -> Bool # (/=) :: UFuncB -> UFuncB -> Bool #

data UFuncVV Source #

Vector -> Vector operators.

Constructors

NegV

Instances

Instances details

Eq UFuncVV Source #
Instance details Defined in Language.Drasil.Expr.Lang Methods (==) :: UFuncVV -> UFuncVV -> Bool # (/=) :: UFuncVV -> UFuncVV -> Bool #

data UFuncVN Source #

Vector -> Number operators.

Constructors

Norm
Dim

Instances

Instances details

Eq UFuncVN Source #
Instance details Defined in Language.Drasil.Expr.Lang Methods (==) :: UFuncVN -> UFuncVN -> Bool # (/=) :: UFuncVN -> UFuncVN -> Bool #

data ArithBinOp Source #

Arithmetic operators (fractional, power, and subtraction).

Constructors

Frac
Pow
Subt

Instances

Instances details

Eq ArithBinOp Source #
Instance details Defined in Language.Drasil.Expr.Lang Methods (==) :: ArithBinOp -> ArithBinOp -> Bool # (/=) :: ArithBinOp -> ArithBinOp -> Bool #

data BoolBinOp Source #

Conditional and Biconditional operators (Expressions can imply one another, or exist if and only if another expression exists).

Constructors

Impl
Iff

Instances

Instances details

Eq BoolBinOp Source #
Instance details Defined in Language.Drasil.Expr.Lang Methods (==) :: BoolBinOp -> BoolBinOp -> Bool # (/=) :: BoolBinOp -> BoolBinOp -> Bool #

data EqBinOp Source #

Equality operators (equal or not equal).

Constructors

Eq
NEq

Instances

Instances details

Eq EqBinOp Source #
Instance details Defined in Language.Drasil.Expr.Lang Methods (==) :: EqBinOp -> EqBinOp -> Bool # (/=) :: EqBinOp -> EqBinOp -> Bool #

data LABinOp Source #

Index operator.

Constructors

Index
IndexOf

Instances

Instances details

Eq LABinOp Source #
Instance details Defined in Language.Drasil.Expr.Lang Methods (==) :: LABinOp -> LABinOp -> Bool # (/=) :: LABinOp -> LABinOp -> Bool #

data OrdBinOp Source #

Ordered binary operators (less than, greater than, less than or equal to, greater than or equal to).

Constructors

Lt
Gt
LEq
GEq

Instances

Instances details

Eq OrdBinOp Source #
Instance details Defined in Language.Drasil.Expr.Lang Methods (==) :: OrdBinOp -> OrdBinOp -> Bool # (/=) :: OrdBinOp -> OrdBinOp -> Bool #

data VVVBinOp Source #

Vector x Vector -> Vector binary operations (cross product, addition, subtraction).

Constructors

Cross
VAdd
VSub

Instances

Instances details

Pretty VVVBinOp Source #
Instance details Defined in Language.Drasil.Expr.Lang Methods pretty :: VVVBinOp -> String Source #
Eq VVVBinOp Source #
Instance details Defined in Language.Drasil.Expr.Lang Methods (==) :: VVVBinOp -> VVVBinOp -> Bool # (/=) :: VVVBinOp -> VVVBinOp -> Bool #

data VVNBinOp Source #

Vector x Vector -> Number binary operations (dot product).

Constructors

Dot

Instances

Instances details

Eq VVNBinOp Source #
Instance details Defined in Language.Drasil.Expr.Lang Methods (==) :: VVNBinOp -> VVNBinOp -> Bool # (/=) :: VVNBinOp -> VVNBinOp -> Bool #

data NVVBinOp Source #

Number x Vector -> Vector binary operations (scaling).

Constructors

Scale

Instances

Instances details

Eq NVVBinOp Source #
Instance details Defined in Language.Drasil.Expr.Lang Methods (==) :: NVVBinOp -> NVVBinOp -> Bool # (/=) :: NVVBinOp -> NVVBinOp -> Bool #

data ESSBinOp Source #

Element + Set -> Set

Constructors

SAdd
SRemove

Instances

Instances details

Eq ESSBinOp Source #
Instance details Defined in Language.Drasil.Expr.Lang Methods (==) :: ESSBinOp -> ESSBinOp -> Bool # (/=) :: ESSBinOp -> ESSBinOp -> Bool #

data ESBBinOp Source #

Element + Set -> Bool

Constructors

SContains

Instances

Instances details

Eq ESBBinOp Source #
Instance details Defined in Language.Drasil.Expr.Lang Methods (==) :: ESBBinOp -> ESBBinOp -> Bool # (/=) :: ESBBinOp -> ESBBinOp -> Bool #

data AssocArithOper Source #

Associative operators (adding and multiplication). Also specifies whether it is for integers or for real numbers.

Constructors

Add
Mul

Instances

Instances details

Eq AssocArithOper Source #
Instance details Defined in Language.Drasil.Expr.Lang Methods (==) :: AssocArithOper -> AssocArithOper -> Bool # (/=) :: AssocArithOper -> AssocArithOper -> Bool #

data AssocBoolOper Source #

Associative boolean operators (and, or).

Constructors

And
Or

Instances

Instances details

Eq AssocBoolOper Source #
Instance details Defined in Language.Drasil.Expr.Lang Methods (==) :: AssocBoolOper -> AssocBoolOper -> Bool # (/=) :: AssocBoolOper -> AssocBoolOper -> Bool #

data AssocConcatOper Source #

Constructors

SUnion

Instances

Instances details

Eq AssocConcatOper Source #
Instance details Defined in Language.Drasil.Expr.Lang Methods (==) :: AssocConcatOper -> AssocConcatOper -> Bool # (/=) :: AssocConcatOper -> AssocConcatOper -> Bool #

data Completeness Source #

For case expressions (either complete or incomplete).

Constructors

Complete
Incomplete

Instances

Instances details

Eq Completeness Source #
Instance details Defined in Language.Drasil.Expr.Lang Methods (==) :: Completeness -> Completeness -> Bool # (/=) :: Completeness -> Completeness -> Bool #

type Relation = Expr Source #

A relation is just an expression (Expr).

eDep :: Expr -> [UID] Source #

Get dependencies from an equation.

eNames :: Expr -> [UID] Source #

Generic traverse of all expressions that could lead to names.

eNames' :: Expr -> [UID] Source #

Generic traverse of all positions that could lead to eNames without functions. FIXME : this should really be done via post-facto filtering, but right now the information needed to do this is not available!

eNamesRI :: RealInterval Expr Expr -> [UID] Source #

Generic traversal of everything that could come from an interval to names (similar to eNames).

precA :: AssocArithOper -> Int Source #

precA - precedence for arithmetic-related Binary-Associative (Commutative) operators.

precB :: AssocBoolOper -> Int Source #

precB - precedence for boolean-related Binary-Associative (Commutative) operators.

precC :: AssocConcatOper -> Int Source #

eprec :: Expr -> Int Source #

eprec - Expression precedence.