Language.CalDims.Action

Documentation

data Command

Constructors

AddFunction Name Args Expr

AddBasicUnit Name

AddUnit Name Expr

Echo String

Remove Name

RemoveCascade Name

Help

Eval Expr Conversion

EvalDimsPart Expr

DebugExpr Expr

DebugName Name

DebugDependencies Name

GetState

WriteState String

Instances

Show Command

Pretty Command

data Result

Constructors

Ok (Maybe String)

StringResult String

EvaledResult (R, Dims)

ExprResult Expr

DimsResult Dims

WriteStringToFile String String

Instances

Show Result

Pretty Result

type Mon a = ErrorAndState String State a

run :: State -> Command -> (Either String Result, State)

eval :: Expr -> Mon (R, Dims)

doCall :: Name -> [(R, Dims)] -> Mon (R, Dims)

dependencies :: Name -> Mon [Name]

evalDimsPart :: Expr -> Mon Dims

process :: Command -> Mon Result