Safe Haskell	Safe-Inferred
Language	Haskell2010

Language.Drasil.ModelExpr.Lang

Description

The Drasil Modelling Expression language

Synopsis

data ArithBinOp
- = Frac
- | Pow
- | Subt
data EqBinOp
- = Eq
- | NEq
data BoolBinOp
- = Impl
- | Iff
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 AssocConcatOper = SUnion
data AssocArithOper
- = Add
- | Mul
data AssocBoolOper
- = And
- | Or
- | Equivalence
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 StatBinOp = Defines
data SpaceBinOp = IsIn
data DerivType
- = Part
- | Total
data ModelExpr where
- Lit :: Literal -> ModelExpr
- Spc :: Space -> ModelExpr
- AssocA :: AssocArithOper -> [ModelExpr] -> ModelExpr
- AssocB :: AssocBoolOper -> [ModelExpr] -> ModelExpr
- AssocC :: AssocConcatOper -> [ModelExpr] -> ModelExpr
- Deriv :: Integer -> DerivType -> ModelExpr -> UID -> ModelExpr
- C :: UID -> ModelExpr
- FCall :: UID -> [ModelExpr] -> ModelExpr
- Case :: Completeness -> [(ModelExpr, ModelExpr)] -> ModelExpr
- Matrix :: [[ModelExpr]] -> ModelExpr
- Set :: Space -> [ModelExpr] -> ModelExpr
- Variable :: String -> ModelExpr -> ModelExpr
- UnaryOp :: UFunc -> ModelExpr -> ModelExpr
- UnaryOpB :: UFuncB -> ModelExpr -> ModelExpr
- UnaryOpVV :: UFuncVV -> ModelExpr -> ModelExpr
- UnaryOpVN :: UFuncVN -> ModelExpr -> ModelExpr
- ArithBinaryOp :: ArithBinOp -> ModelExpr -> ModelExpr -> ModelExpr
- BoolBinaryOp :: BoolBinOp -> ModelExpr -> ModelExpr -> ModelExpr
- EqBinaryOp :: EqBinOp -> ModelExpr -> ModelExpr -> ModelExpr
- LABinaryOp :: LABinOp -> ModelExpr -> ModelExpr -> ModelExpr
- OrdBinaryOp :: OrdBinOp -> ModelExpr -> ModelExpr -> ModelExpr
- SpaceBinaryOp :: SpaceBinOp -> ModelExpr -> ModelExpr -> ModelExpr
- StatBinaryOp :: StatBinOp -> ModelExpr -> ModelExpr -> ModelExpr
- VVVBinaryOp :: VVVBinOp -> ModelExpr -> ModelExpr -> ModelExpr
- VVNBinaryOp :: VVNBinOp -> ModelExpr -> ModelExpr -> ModelExpr
- NVVBinaryOp :: NVVBinOp -> ModelExpr -> ModelExpr -> ModelExpr
- ESSBinaryOp :: ESSBinOp -> ModelExpr -> ModelExpr -> ModelExpr
- ESBBinaryOp :: ESBBinOp -> ModelExpr -> ModelExpr -> ModelExpr
- Operator :: AssocArithOper -> DomainDesc t ModelExpr ModelExpr -> ModelExpr -> ModelExpr
- RealI :: UID -> RealInterval ModelExpr ModelExpr -> ModelExpr
- ForAll :: UID -> Space -> ModelExpr -> ModelExpr
type Variable = String

Documentation

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.ModelExpr.Lang Methods (==) :: ArithBinOp -> ArithBinOp -> Bool # (/=) :: ArithBinOp -> ArithBinOp -> 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.ModelExpr.Lang Methods (==) :: EqBinOp -> EqBinOp -> Bool # (/=) :: EqBinOp -> EqBinOp -> 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.ModelExpr.Lang Methods (==) :: BoolBinOp -> BoolBinOp -> Bool # (/=) :: BoolBinOp -> BoolBinOp -> Bool #

data LABinOp Source #

Index operator.

Constructors

Index
IndexOf

Instances

Instances details

Eq LABinOp Source #
Instance details Defined in Language.Drasil.ModelExpr.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.ModelExpr.Lang Methods (==) :: OrdBinOp -> OrdBinOp -> Bool # (/=) :: OrdBinOp -> OrdBinOp -> Bool #

data VVVBinOp Source #

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

Constructors

Cross
VAdd
VSub

Instances

Instances details

Eq VVVBinOp Source #
Instance details Defined in Language.Drasil.ModelExpr.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.ModelExpr.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.ModelExpr.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.ModelExpr.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.ModelExpr.Lang Methods (==) :: ESBBinOp -> ESBBinOp -> Bool # (/=) :: ESBBinOp -> ESBBinOp -> Bool #

data AssocConcatOper Source #

Constructors

SUnion

Instances

Instances details

Eq AssocConcatOper Source #
Instance details Defined in Language.Drasil.ModelExpr.Lang Methods (==) :: AssocConcatOper -> AssocConcatOper -> Bool # (/=) :: AssocConcatOper -> AssocConcatOper -> 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.ModelExpr.Lang Methods (==) :: AssocArithOper -> AssocArithOper -> Bool # (/=) :: AssocArithOper -> AssocArithOper -> Bool #

data AssocBoolOper Source #

Associative boolean operators (and, or).

Constructors

And
Or
Equivalence

Instances

Instances details

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

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

Eq UFunc Source #
Instance details Defined in Language.Drasil.ModelExpr.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.ModelExpr.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.ModelExpr.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.ModelExpr.Lang Methods (==) :: UFuncVN -> UFuncVN -> Bool # (/=) :: UFuncVN -> UFuncVN -> Bool #

data StatBinOp Source #

Statements involving 2 arguments.

Constructors

Defines

Instances

Instances details

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

data SpaceBinOp Source #

Value -> Space -> Bool operators.

Constructors

IsIn

Instances

Instances details

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

data DerivType Source #

Determines the type of the derivative (either a partial derivative or a total derivative).

Constructors

Part
Total

Instances

Instances details

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

data ModelExpr where Source #

Expression language where all terms are supposed to have a meaning, but that meaning may not be that of a definite value. For example, specification expressions, especially with quantifiers, belong here.

Constructors

Lit :: Literal -> ModelExpr	Brings a literal into the expression language.
Spc :: Space -> ModelExpr	Introduce Space values into the expression language.
AssocA :: AssocArithOper -> [ModelExpr] -> ModelExpr	Takes an associative arithmetic operator with a list of expressions.
AssocB :: AssocBoolOper -> [ModelExpr] -> ModelExpr	Takes an associative boolean operator with a list of expressions.
AssocC :: AssocConcatOper -> [ModelExpr] -> ModelExpr
Deriv :: Integer -> DerivType -> ModelExpr -> UID -> ModelExpr	Derivative syntax is: Type (`Part`ial or `Total`) -> principal part of change -> with respect to For example: Deriv Part y x1 would be (dy/dx1).
C :: UID -> ModelExpr	C stands for Chunk, for referring to a chunk in an expression. Implicitly assumes that the chunk has a symbol.
FCall :: UID -> [ModelExpr] -> ModelExpr	Function applications.
Case :: Completeness -> [(ModelExpr, ModelExpr)] -> ModelExpr	For multi-case expressions, each pair represents one case.
Matrix :: [[ModelExpr]] -> ModelExpr	Represents a matrix of expressions.
Set :: Space -> [ModelExpr] -> ModelExpr	Represents a set of expressions
Variable :: String -> ModelExpr -> ModelExpr	used to refernce the (name + type = variable )
UnaryOp :: UFunc -> ModelExpr -> ModelExpr	Unary operation for most functions (eg. sin, cos, log, etc.).
UnaryOpB :: UFuncB -> ModelExpr -> ModelExpr	Unary operation for `Bool -> Bool` operations.
UnaryOpVV :: UFuncVV -> ModelExpr -> ModelExpr	Unary operation for `Vector -> Vector` operations.
UnaryOpVN :: UFuncVN -> ModelExpr -> ModelExpr	Unary operation for `Vector -> Number` operations.
ArithBinaryOp :: ArithBinOp -> ModelExpr -> ModelExpr -> ModelExpr	Binary operator for arithmetic between expressions (fractional, power, and subtraction).
BoolBinaryOp :: BoolBinOp -> ModelExpr -> ModelExpr -> ModelExpr	Binary operator for boolean operators (implies, iff).
EqBinaryOp :: EqBinOp -> ModelExpr -> ModelExpr -> ModelExpr	Binary operator for equality between expressions.
LABinaryOp :: LABinOp -> ModelExpr -> ModelExpr -> ModelExpr	Binary operator for indexing two expressions.
OrdBinaryOp :: OrdBinOp -> ModelExpr -> ModelExpr -> ModelExpr	Binary operator for ordering expressions (less than, greater than, etc.).
SpaceBinaryOp :: SpaceBinOp -> ModelExpr -> ModelExpr -> ModelExpr	Space-related binary operations.
StatBinaryOp :: StatBinOp -> ModelExpr -> ModelExpr -> ModelExpr	Statement-related binary operations.
VVVBinaryOp :: VVVBinOp -> ModelExpr -> ModelExpr -> ModelExpr	Binary operator for `Vector x Vector -> Vector` operations (cross product).
VVNBinaryOp :: VVNBinOp -> ModelExpr -> ModelExpr -> ModelExpr	Binary operator for `Vector x Vector -> Number` operations (dot product).
NVVBinaryOp :: NVVBinOp -> ModelExpr -> ModelExpr -> ModelExpr	Binary operator for `Number x Vector -> Vector` operations (scaling).
ESSBinaryOp :: ESSBinOp -> ModelExpr -> ModelExpr -> ModelExpr	Set operator for Element + Set -> Set
ESBBinaryOp :: ESBBinOp -> ModelExpr -> ModelExpr -> ModelExpr	Set operator for Element + Set -> Bool
Operator :: AssocArithOper -> DomainDesc t ModelExpr ModelExpr -> ModelExpr -> ModelExpr	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 ModelExpr ModelExpr -> ModelExpr	A different kind of `IsIn`. A `UID` is an element of an interval.
ForAll :: UID -> Space -> ModelExpr -> ModelExpr	Universal quantification

Instances

Instances details

ExprC ModelExpr Source #
Instance details Defined in Language.Drasil.Expr.Class Methods lit :: Literal -> ModelExpr Source # ($=) :: ModelExpr -> ModelExpr -> ModelExpr Source # ($!=) :: ModelExpr -> ModelExpr -> ModelExpr Source # ($<) :: ModelExpr -> ModelExpr -> ModelExpr Source # ($>) :: ModelExpr -> ModelExpr -> ModelExpr Source # ($<=) :: ModelExpr -> ModelExpr -> ModelExpr Source # ($>=) :: ModelExpr -> ModelExpr -> ModelExpr Source # ($.) :: ModelExpr -> ModelExpr -> ModelExpr Source # ($+) :: ModelExpr -> ModelExpr -> ModelExpr Source # ($*) :: ModelExpr -> ModelExpr -> ModelExpr Source # ($-) :: ModelExpr -> ModelExpr -> ModelExpr Source # ($/) :: ModelExpr -> ModelExpr -> ModelExpr Source # ($^) :: ModelExpr -> ModelExpr -> ModelExpr Source # ($=>) :: ModelExpr -> ModelExpr -> ModelExpr Source # ($<=>) :: ModelExpr -> ModelExpr -> ModelExpr Source # ($&&) :: ModelExpr -> ModelExpr -> ModelExpr Source # ($\|\|) :: ModelExpr -> ModelExpr -> ModelExpr Source # in' :: ModelExpr -> ModelExpr -> ModelExpr Source # abs_ :: ModelExpr -> ModelExpr Source # neg :: ModelExpr -> ModelExpr Source # log :: ModelExpr -> ModelExpr Source # ln :: ModelExpr -> ModelExpr Source # sqrt :: ModelExpr -> ModelExpr Source # sin :: ModelExpr -> ModelExpr Source # cos :: ModelExpr -> ModelExpr Source # tan :: ModelExpr -> ModelExpr Source # sec :: ModelExpr -> ModelExpr Source # csc :: ModelExpr -> ModelExpr Source # cot :: ModelExpr -> ModelExpr Source # arcsin :: ModelExpr -> ModelExpr Source # arccos :: ModelExpr -> ModelExpr Source # arctan :: ModelExpr -> ModelExpr Source # exp :: ModelExpr -> ModelExpr Source # dim :: ModelExpr -> ModelExpr Source # norm :: ModelExpr -> ModelExpr Source # negVec :: ModelExpr -> ModelExpr Source # not_ :: ModelExpr -> ModelExpr Source # idx :: ModelExpr -> ModelExpr -> ModelExpr Source # idxOf :: ModelExpr -> ModelExpr -> ModelExpr Source # defint :: Symbol -> ModelExpr -> ModelExpr -> ModelExpr -> ModelExpr Source # defsum :: Symbol -> ModelExpr -> ModelExpr -> ModelExpr -> ModelExpr Source # defprod :: Symbol -> ModelExpr -> ModelExpr -> ModelExpr -> ModelExpr Source # realInterval :: HasUID c => c -> RealInterval ModelExpr ModelExpr -> ModelExpr Source # euclidean :: [ModelExpr] -> ModelExpr Source # cross :: ModelExpr -> ModelExpr -> ModelExpr Source # vScale :: ModelExpr -> ModelExpr -> ModelExpr Source # vAdd :: ModelExpr -> ModelExpr -> ModelExpr Source # vSub :: ModelExpr -> ModelExpr -> ModelExpr Source # completeCase :: [(ModelExpr, ModelExpr)] -> ModelExpr Source # incompleteCase :: [(ModelExpr, ModelExpr)] -> ModelExpr Source # matrix :: [[ModelExpr]] -> ModelExpr Source # set' :: Space -> [ModelExpr] -> ModelExpr Source # apply :: (HasUID f, HasSymbol f) => f -> [ModelExpr] -> ModelExpr Source # sy :: (HasUID c, HasSymbol c) => c -> ModelExpr Source #
Express ModelExpr Source #	No change, it's already a `ModelExpr`.
Instance details Defined in Language.Drasil.ExprClasses Methods express :: ModelExpr -> ModelExpr Source #
LiteralC ModelExpr Source #
Instance details Defined in Language.Drasil.ModelExpr.Lang Methods int :: Integer -> ModelExpr Source # str :: String -> ModelExpr Source # dbl :: Double -> ModelExpr Source # exactDbl :: Integer -> ModelExpr Source # perc :: Integer -> Integer -> ModelExpr Source #
ModelExprC ModelExpr Source #
Instance details Defined in Language.Drasil.ModelExpr.Class Methods deriv :: (HasUID c, HasSymbol c) => ModelExpr -> c -> ModelExpr Source # pderiv :: (HasUID c, HasSymbol c) => ModelExpr -> c -> ModelExpr Source # nthderiv :: (HasUID c, HasSymbol c) => Integer -> ModelExpr -> c -> ModelExpr Source # nthpderiv :: (HasUID c, HasSymbol c) => Integer -> ModelExpr -> c -> ModelExpr Source # defines :: ModelExpr -> ModelExpr -> ModelExpr Source # space :: Space -> ModelExpr Source # isIn :: ModelExpr -> Space -> ModelExpr Source # equiv :: [ModelExpr] -> ModelExpr Source # intAll :: Symbol -> ModelExpr -> ModelExpr Source # sumAll :: Symbol -> ModelExpr -> ModelExpr Source # prodAll :: Symbol -> ModelExpr -> ModelExpr Source #
Eq ModelExpr 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.ModelExpr.Lang Methods (==) :: ModelExpr -> ModelExpr -> Bool # (/=) :: ModelExpr -> ModelExpr -> Bool #

type Variable = String Source #

The variable type is just a renamed String.