linear-grammar-0.0.0.3: A simple grammar for building linear equations and inclusive inequalities.

Safe HaskellSafe
LanguageHaskell2010

Linear.Grammar

Contents

Synopsis

User-facing API

data LinAst Source

User-facing abstract syntax tree

Constructors

EVar String 
ELit Double 
ECoeff LinAst Double 
EAdd LinAst LinAst 

Instances

(.+.) :: LinAst -> LinAst -> LinAst infixr 8 Source

class Coefficient x y where Source

Methods

(.*.) :: x -> y -> LinAst infixr 9 Source

Instances

multLin :: LinAst -> LinAst Source

Pushes ECoeff down the tree, leaving EAdd at the top level. After using this funciton, all ECoeff constructors LinAst parameter will be EVar.

Linear Expressions

data LinVar Source

Constructors

LinVar 

Fields

varName :: String
 
varCoeff :: Double
 

Instances

Eq LinVar Source 
Ord LinVar Source

For sorting tableaus

Show LinVar Source 

hasName :: LinVar -> LinVar -> Bool Source

data LinExpr Source

Linear expressions suited for normal and standard form.

Constructors

LinExpr 

Fields

exprCoeffs :: [LinVar]
 
exprConst :: Double
 

Instances

mergeLinExpr :: LinExpr -> LinExpr -> LinExpr Source

addLin :: LinAst -> LinExpr Source

Turns LinAst to LinExpr - should be done after multLin.

removeDupLin :: LinExpr -> LinExpr Source

Merged duplicate LinVars in a LinExpr. Should be used after addLin.

makeLinExpr :: LinAst -> LinExpr Source

Linear Inequalities

data Ineq Source

Constructors

Equ LinExpr LinExpr 
Lte LinExpr LinExpr 

Instances

(.==.) :: LinAst -> LinAst -> Ineq infixl 7 Source

(.<=.) :: LinAst -> LinAst -> Ineq infixl 7 Source

(.=>.) :: LinAst -> LinAst -> Ineq infixl 7 Source

Standard Form

data IneqStdForm Source

Constructors

EquStd [LinVar] Double 
LteStd [LinVar] Double 

Instances

standardize :: Ineq -> Ineq Source

standardForm :: Ineq -> IneqStdForm Source