Safe Haskell	Safe-Inferred
Language	Haskell2010

Drasil.Code.CodeExpr.Development

Description

Re-exporting modules

Synopsis

data CodeExpr where
- Lit :: Literal -> CodeExpr
- AssocA :: AssocArithOper -> [CodeExpr] -> CodeExpr
- AssocB :: AssocBoolOper -> [CodeExpr] -> CodeExpr
- AssocC :: AssocConcatOper -> [CodeExpr] -> CodeExpr
- C :: UID -> CodeExpr
- FCall :: UID -> [CodeExpr] -> [(UID, CodeExpr)] -> CodeExpr
- New :: UID -> [CodeExpr] -> [(UID, CodeExpr)] -> CodeExpr
- Message :: UID -> UID -> [CodeExpr] -> [(UID, CodeExpr)] -> CodeExpr
- Field :: UID -> UID -> CodeExpr
- Case :: Completeness -> [(CodeExpr, CodeExpr)] -> CodeExpr
- Matrix :: [[CodeExpr]] -> CodeExpr
- Set :: Space -> [CodeExpr] -> CodeExpr
- Variable :: String -> CodeExpr -> CodeExpr
- UnaryOp :: UFunc -> CodeExpr -> CodeExpr
- UnaryOpB :: UFuncB -> CodeExpr -> CodeExpr
- UnaryOpVV :: UFuncVV -> CodeExpr -> CodeExpr
- UnaryOpVN :: UFuncVN -> CodeExpr -> CodeExpr
- ArithBinaryOp :: ArithBinOp -> CodeExpr -> CodeExpr -> CodeExpr
- EqBinaryOp :: EqBinOp -> CodeExpr -> CodeExpr -> CodeExpr
- LABinaryOp :: LABinOp -> CodeExpr -> CodeExpr -> CodeExpr
- OrdBinaryOp :: OrdBinOp -> CodeExpr -> CodeExpr -> CodeExpr
- VVVBinaryOp :: VVVBinOp -> CodeExpr -> CodeExpr -> CodeExpr
- VVNBinaryOp :: VVNBinOp -> CodeExpr -> CodeExpr -> CodeExpr
- NVVBinaryOp :: NVVBinOp -> CodeExpr -> CodeExpr -> CodeExpr
- ESSBinaryOp :: ESSBinOp -> CodeExpr -> CodeExpr -> CodeExpr
- ESBBinaryOp :: ESBBinOp -> CodeExpr -> CodeExpr -> CodeExpr
- Operator :: AssocArithOper -> DiscreteDomainDesc CodeExpr CodeExpr -> CodeExpr -> CodeExpr
- RealI :: UID -> RealInterval CodeExpr CodeExpr -> CodeExpr
data ArithBinOp
- = Frac
- | Pow
- | Subt
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 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
class CodeExprC r where
- new :: (Callable f, HasUID f, CodeIdea f) => f -> [r] -> r
- newWithNamedArgs :: (Callable f, HasUID f, CodeIdea f, HasUID a, IsArgumentName a) => f -> [r] -> [(a, r)] -> r
- msg :: (Callable f, HasUID f, CodeIdea f, HasUID c, HasSpace c, CodeIdea c) => c -> f -> [r] -> r
- msgWithNamedArgs :: (Callable f, HasUID f, CodeIdea f, HasUID c, HasSpace c, CodeIdea c, HasUID a, IsArgumentName a) => c -> f -> [r] -> [(a, r)] -> r
- field :: CodeVarChunk -> CodeVarChunk -> r
- applyWithNamedArgs :: (HasUID f, HasSymbol f, HasUID a, IsArgumentName a) => f -> [r] -> [(a, r)] -> r
eDep :: CodeExpr -> [UID]
eDep' :: CodeExpr -> [UID]
eNamesRI :: RealInterval CodeExpr CodeExpr -> [UID]
eNamesRI' :: RealInterval CodeExpr CodeExpr -> [UID]
eprec :: CodeExpr -> Int
precA :: AssocArithOper -> Int
precB :: AssocBoolOper -> Int
expr :: Expr -> CodeExpr
realInterval :: RealInterval Expr Expr -> RealInterval CodeExpr CodeExpr
constraint :: ConstraintE -> Constraint CodeExpr
class CanGenCode e where
- toCodeExpr :: e -> CodeExpr

Documentation

data CodeExpr where Source #

Expression language where all terms also denote a term in GOOL (i.e. translation is total and meaning preserving).

Constructors

Lit :: Literal -> CodeExpr	Brings literals into the expression language.
AssocA :: AssocArithOper -> [CodeExpr] -> CodeExpr	Takes an associative arithmetic operator with a list of expressions.
AssocB :: AssocBoolOper -> [CodeExpr] -> CodeExpr	Takes an associative boolean operator with a list of expressions.
AssocC :: AssocConcatOper -> [CodeExpr] -> CodeExpr
C :: UID -> CodeExpr	C stands for Chunk, for referring to a chunk in an expression. Implicitly assumes that the chunk has a symbol.
FCall :: UID -> [CodeExpr] -> [(UID, CodeExpr)] -> CodeExpr	A function call accepts a list of parameters and a list of named parameters. For example F(x) is (FCall F [x] []). F(x,y) would be (FCall F [x,y]). F(x,n=y) would be (FCall F [x] [(n,y)]).
New :: UID -> [CodeExpr] -> [(UID, CodeExpr)] -> CodeExpr	Actor creation given `UID`, parameters, and named parameters.
Message :: UID -> UID -> [CodeExpr] -> [(UID, CodeExpr)] -> CodeExpr	Message an actor: 1st `UID` is the actor, 2nd `UID` is the method.
Field :: UID -> UID -> CodeExpr	Access a field of an actor: 1st `UID` is the actor, 2nd `UID` is the field.
Case :: Completeness -> [(CodeExpr, CodeExpr)] -> CodeExpr	For multi-case expressions, each pair represents one case.
Matrix :: [[CodeExpr]] -> CodeExpr	Represents a matrix of expressions.
Set :: Space -> [CodeExpr] -> CodeExpr	Represents a set of expressions
Variable :: String -> CodeExpr -> CodeExpr	used to refernce the (name + type = variable )
UnaryOp :: UFunc -> CodeExpr -> CodeExpr	Unary operation for most functions (eg. sin, cos, log, etc.).
UnaryOpB :: UFuncB -> CodeExpr -> CodeExpr	Unary operation for `Bool -> Bool` operations.
UnaryOpVV :: UFuncVV -> CodeExpr -> CodeExpr	Unary operation for `Vector -> Vector` operations.
UnaryOpVN :: UFuncVN -> CodeExpr -> CodeExpr	Unary operation for `Vector -> Number` operations.
ArithBinaryOp :: ArithBinOp -> CodeExpr -> CodeExpr -> CodeExpr	Binary operator for arithmetic between expressions (fractional, power, and subtraction).
EqBinaryOp :: EqBinOp -> CodeExpr -> CodeExpr -> CodeExpr	Binary operator for equality between expressions.
LABinaryOp :: LABinOp -> CodeExpr -> CodeExpr -> CodeExpr	Binary operator for indexing two expressions.
OrdBinaryOp :: OrdBinOp -> CodeExpr -> CodeExpr -> CodeExpr	Binary operator for ordering expressions (less than, greater than, etc.).
VVVBinaryOp :: VVVBinOp -> CodeExpr -> CodeExpr -> CodeExpr	Binary operator for `Vector x Vector -> Vector` operations (cross product).
VVNBinaryOp :: VVNBinOp -> CodeExpr -> CodeExpr -> CodeExpr	Binary operator for `Vector x Vector -> Number` operations (dot product).
NVVBinaryOp :: NVVBinOp -> CodeExpr -> CodeExpr -> CodeExpr	Binary operator for `Number x Vector -> Vector` operations (scaling).
ESSBinaryOp :: ESSBinOp -> CodeExpr -> CodeExpr -> CodeExpr	Set operator for Set + Set -> Set
ESBBinaryOp :: ESBBinOp -> CodeExpr -> CodeExpr -> CodeExpr	Set operator for Element + Set -> Bool
Operator :: AssocArithOper -> DiscreteDomainDesc CodeExpr CodeExpr -> CodeExpr -> CodeExpr	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 CodeExpr CodeExpr -> CodeExpr	The expression is an element of a space. IsIn :: Expr -> Space -> Expr \| A different kind of `IsIn`. A `UID` is an element of an interval.

Instances

Instances details

CodeExprC CodeExpr Source #
Instance details Defined in Drasil.Code.CodeExpr.Class Methods new :: (Callable f, HasUID f, CodeIdea f) => f -> [CodeExpr] -> CodeExpr Source # newWithNamedArgs :: (Callable f, HasUID f, CodeIdea f, HasUID a, IsArgumentName a) => f -> [CodeExpr] -> [(a, CodeExpr)] -> CodeExpr Source # msg :: (Callable f, HasUID f, CodeIdea f, HasUID c, HasSpace c, CodeIdea c) => c -> f -> [CodeExpr] -> CodeExpr Source # msgWithNamedArgs :: (Callable f, HasUID f, CodeIdea f, HasUID c, HasSpace c, CodeIdea c, HasUID a, IsArgumentName a) => c -> f -> [CodeExpr] -> [(a, CodeExpr)] -> CodeExpr Source # field :: CodeVarChunk -> CodeVarChunk -> CodeExpr Source # applyWithNamedArgs :: (HasUID f, HasSymbol f, HasUID a, IsArgumentName a) => f -> [CodeExpr] -> [(a, CodeExpr)] -> CodeExpr Source #
ExprC CodeExpr Source #
Instance details Defined in Drasil.Code.CodeExpr.Lang Methods lit :: Literal -> CodeExpr Source # ($=) :: CodeExpr -> CodeExpr -> CodeExpr Source # ($!=) :: CodeExpr -> CodeExpr -> CodeExpr Source # ($<) :: CodeExpr -> CodeExpr -> CodeExpr Source # ($>) :: CodeExpr -> CodeExpr -> CodeExpr Source # ($<=) :: CodeExpr -> CodeExpr -> CodeExpr Source # ($>=) :: CodeExpr -> CodeExpr -> CodeExpr Source # ($.) :: CodeExpr -> CodeExpr -> CodeExpr Source # ($+) :: CodeExpr -> CodeExpr -> CodeExpr Source # ($*) :: CodeExpr -> CodeExpr -> CodeExpr Source # ($-) :: CodeExpr -> CodeExpr -> CodeExpr Source # ($/) :: CodeExpr -> CodeExpr -> CodeExpr Source # ($^) :: CodeExpr -> CodeExpr -> CodeExpr Source # ($&&) :: CodeExpr -> CodeExpr -> CodeExpr Source # ($\|\|) :: CodeExpr -> CodeExpr -> CodeExpr Source # in' :: CodeExpr -> CodeExpr -> CodeExpr Source # abs_ :: CodeExpr -> CodeExpr Source # neg :: CodeExpr -> CodeExpr Source # log :: CodeExpr -> CodeExpr Source # ln :: CodeExpr -> CodeExpr Source # sqrt :: CodeExpr -> CodeExpr Source # sin :: CodeExpr -> CodeExpr Source # cos :: CodeExpr -> CodeExpr Source # tan :: CodeExpr -> CodeExpr Source # sec :: CodeExpr -> CodeExpr Source # csc :: CodeExpr -> CodeExpr Source # cot :: CodeExpr -> CodeExpr Source # arcsin :: CodeExpr -> CodeExpr Source # arccos :: CodeExpr -> CodeExpr Source # arctan :: CodeExpr -> CodeExpr Source # exp :: CodeExpr -> CodeExpr Source # dim :: CodeExpr -> CodeExpr Source # norm :: CodeExpr -> CodeExpr Source # negVec :: CodeExpr -> CodeExpr Source # not_ :: CodeExpr -> CodeExpr Source # idx :: CodeExpr -> CodeExpr -> CodeExpr Source # idxOf :: CodeExpr -> CodeExpr -> CodeExpr Source # defint :: Symbol -> CodeExpr -> CodeExpr -> CodeExpr -> CodeExpr Source # defsum :: Symbol -> CodeExpr -> CodeExpr -> CodeExpr -> CodeExpr Source # defprod :: Symbol -> CodeExpr -> CodeExpr -> CodeExpr -> CodeExpr Source # realInterval :: HasUID c => c -> RealInterval CodeExpr CodeExpr -> CodeExpr Source # euclidean :: [CodeExpr] -> CodeExpr Source # cross :: CodeExpr -> CodeExpr -> CodeExpr Source # vScale :: CodeExpr -> CodeExpr -> CodeExpr Source # vAdd :: CodeExpr -> CodeExpr -> CodeExpr Source # vSub :: CodeExpr -> CodeExpr -> CodeExpr Source # completeCase :: [(CodeExpr, CodeExpr)] -> CodeExpr Source # incompleteCase :: [(CodeExpr, CodeExpr)] -> CodeExpr Source # matrix :: [[CodeExpr]] -> CodeExpr Source # set' :: Space -> [CodeExpr] -> CodeExpr Source # apply :: (HasUID f, HasSymbol f) => f -> [CodeExpr] -> CodeExpr Source # sy :: (HasUID c, HasSymbol c) => c -> CodeExpr Source #
LiteralC CodeExpr Source #
Instance details Defined in Drasil.Code.CodeExpr.Lang Methods int :: Integer -> CodeExpr Source # str :: String -> CodeExpr Source # dbl :: Double -> CodeExpr Source # exactDbl :: Integer -> CodeExpr Source # perc :: Integer -> Integer -> CodeExpr Source #

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 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. Index represents accessing an element at a specific index, while IndexOf represents finding the index of a specific element.

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 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 #

class CodeExprC r where Source #

Methods

new :: (Callable f, HasUID f, CodeIdea f) => f -> [r] -> r Source #

Constructs a CodeExpr for actor creation (constructor call)

newWithNamedArgs :: (Callable f, HasUID f, CodeIdea f, HasUID a, IsArgumentName a) => f -> [r] -> [(a, r)] -> r Source #

Constructs a CodeExpr for actor creation (constructor call) that uses named arguments

msg :: (Callable f, HasUID f, CodeIdea f, HasUID c, HasSpace c, CodeIdea c) => c -> f -> [r] -> r Source #

Constructs a CodeExpr for actor messaging (method call)

msgWithNamedArgs :: (Callable f, HasUID f, CodeIdea f, HasUID c, HasSpace c, CodeIdea c, HasUID a, IsArgumentName a) => c -> f -> [r] -> [(a, r)] -> r Source #

Constructs a CodeExpr for actor messaging (method call) that uses named arguments

field :: CodeVarChunk -> CodeVarChunk -> r Source #

Constructs a CodeExpr representing the field of an actor

applyWithNamedArgs :: (HasUID f, HasSymbol f, HasUID a, IsArgumentName a) => f -> [r] -> [(a, r)] -> r Source #

Similar to apply, but takes a relation to apply to FCall.

Instances

Instances details

CodeExprC CodeExpr Source #

Instance details

Defined in Drasil.Code.CodeExpr.Class

Methods

new :: (Callable f, HasUID f, CodeIdea f) => f -> [CodeExpr] -> CodeExpr Source #

newWithNamedArgs :: (Callable f, HasUID f, CodeIdea f, HasUID a, IsArgumentName a) => f -> [CodeExpr] -> [(a, CodeExpr)] -> CodeExpr Source #

msg :: (Callable f, HasUID f, CodeIdea f, HasUID c, HasSpace c, CodeIdea c) => c -> f -> [CodeExpr] -> CodeExpr Source #

msgWithNamedArgs :: (Callable f, HasUID f, CodeIdea f, HasUID c, HasSpace c, CodeIdea c, HasUID a, IsArgumentName a) => c -> f -> [CodeExpr] -> [(a, CodeExpr)] -> CodeExpr Source #

field :: CodeVarChunk -> CodeVarChunk -> CodeExpr Source #

applyWithNamedArgs :: (HasUID f, HasSymbol f, HasUID a, IsArgumentName a) => f -> [CodeExpr] -> [(a, CodeExpr)] -> CodeExpr Source #

eDep :: CodeExpr -> [UID] Source #

Get dependencies from an equation.

eDep' :: CodeExpr -> [UID] Source #

Get dependencies from an equation, without functions.

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

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

eNamesRI' :: RealInterval CodeExpr CodeExpr -> [UID] Source #

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

eprec :: CodeExpr -> Int Source #

eprec - Expression precedence.

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.

expr :: Expr -> CodeExpr Source #

Render an algebraic expression into our code expression language.

realInterval :: RealInterval Expr Expr -> RealInterval CodeExpr CodeExpr Source #

Convert RealInterval Expr Exprs into RealInterval CodeExpr CodeExprs.

constraint :: ConstraintE -> Constraint CodeExpr Source #

Convert constrained expressions (ConstraintE) into Constraint''CodeExprs.

class CanGenCode e where Source #

Methods

toCodeExpr :: e -> CodeExpr Source #

Instances

Instances details

CanGenCode Expr Source #
Instance details Defined in Drasil.Code.CodeExpr.Convert Methods toCodeExpr :: Expr -> CodeExpr Source #
CanGenCode Literal Source #
Instance details Defined in Drasil.Code.CodeExpr.Convert Methods toCodeExpr :: Literal -> CodeExpr Source #