Safe Haskell	Safe-Inferred
Language	Haskell2010

Language.Drasil.CodeExpr.Development

Description

Re-exporting modules

Synopsis

data CodeExpr where
- Lit :: Literal -> CodeExpr
- AssocA :: AssocArithOper -> [CodeExpr] -> CodeExpr
- AssocB :: AssocBoolOper -> [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
- UnaryOp :: UFunc -> CodeExpr -> CodeExpr
- UnaryOpB :: UFuncB -> CodeExpr -> CodeExpr
- UnaryOpVV :: UFuncVV -> CodeExpr -> CodeExpr
- UnaryOpVN :: UFuncVN -> CodeExpr -> CodeExpr
- ArithBinaryOp :: ArithBinOp -> CodeExpr -> CodeExpr -> CodeExpr
- BoolBinaryOp :: BoolBinOp -> 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
- Operator :: AssocArithOper -> DiscreteDomainDesc CodeExpr CodeExpr -> CodeExpr -> CodeExpr
- RealI :: UID -> RealInterval CodeExpr CodeExpr -> CodeExpr
data ArithBinOp
- = Frac
- | Pow
- | Subt
data EqBinOp
- = Eq
- | NEq
data BoolBinOp
- = Impl
- | Iff
data LABinOp = Index
data OrdBinOp
- = Lt
- | Gt
- | LEq
- | GEq
data VVVBinOp
- = Cross
- | VAdd
- | VSub
data VVNBinOp = Dot
data NVVBinOp = Scale
data AssocArithOper
- = AddI
- | AddRe
- | MulI
- | MulRe
data AssocBoolOper
- = And
- | Or
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.
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.
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).
BoolBinaryOp :: BoolBinOp -> CodeExpr -> CodeExpr -> CodeExpr	Binary operator for boolean operators (implies, iff).
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).
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 Language.Drasil.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 Language.Drasil.Expr.Class 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 # addI :: CodeExpr -> CodeExpr -> CodeExpr Source # addRe :: CodeExpr -> CodeExpr -> CodeExpr Source # mulI :: CodeExpr -> CodeExpr -> CodeExpr Source # mulRe :: 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 # 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 # 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 # apply :: (HasUID f, HasSymbol f) => f -> [CodeExpr] -> CodeExpr Source # sy :: (HasUID c, HasSymbol c) => c -> CodeExpr Source #
LiteralC CodeExpr Source #
Instance details Defined in Language.Drasil.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.CodeExpr.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.CodeExpr.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.CodeExpr.Lang Methods (==) :: BoolBinOp -> BoolBinOp -> Bool # (/=) :: BoolBinOp -> BoolBinOp -> Bool #

data LABinOp Source #

Index operator.

Constructors

Index

Instances

Instances details

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

data VVVBinOp Source #

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

Constructors

Cross
VAdd
VSub

Instances

Instances details

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

data AssocArithOper Source #

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

Constructors

AddI
AddRe
MulI
MulRe

Instances

Instances details

Eq AssocArithOper Source #
Instance details Defined in Language.Drasil.CodeExpr.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.CodeExpr.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.CodeExpr.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.CodeExpr.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.CodeExpr.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.CodeExpr.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 Language.Drasil.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 Language.Drasil.CodeExpr.Convert Methods toCodeExpr :: Expr -> CodeExpr Source #
CanGenCode Literal Source #
Instance details Defined in Language.Drasil.CodeExpr.Convert Methods toCodeExpr :: Literal -> CodeExpr Source #