Language.CalDims.State

Documentation

type MyParser = GenParser Char State

data Arg

Constructors

Arg

Fields

getArgName :: String

getArgNumber :: Int

getArgType :: Dims

Instances

Eq Arg

Ord Arg

Show Arg

EqM Arg (ErrorT String (State State))

EqM [Arg] (ErrorT String (State State))

type Args = [Arg]

type Scope = Map Name StateEntry

data State

Constructors

State

Fields

getScope :: Scope

getArgs :: Args

getArgValues :: [(R, Dims)]

Instances

Show State

Pretty State

DivM Dims (ErrorT String (State State))

MulM Dims (ErrorT String (State State))

EqM Dims (ErrorT String (State State))

EqM Arg (ErrorT String (State State))

EqM [Arg] (ErrorT String (State State))

AtanhM (R, Dims) (ErrorT String (State State))

AcoshM (R, Dims) (ErrorT String (State State))

AsinhM (R, Dims) (ErrorT String (State State))

TanhM (R, Dims) (ErrorT String (State State))

CoshM (R, Dims) (ErrorT String (State State))

SinhM (R, Dims) (ErrorT String (State State))

AtanM (R, Dims) (ErrorT String (State State))

AcosM (R, Dims) (ErrorT String (State State))

AsinM (R, Dims) (ErrorT String (State State))

TanM (R, Dims) (ErrorT String (State State))

CosM (R, Dims) (ErrorT String (State State))

SinM (R, Dims) (ErrorT String (State State))

LogM (R, Dims) (ErrorT String (State State))

ExpotM (R, Dims) (ErrorT String (State State))

NegateM (R, Dims) (ErrorT String (State State))

LogBaseM (R, Dims) (ErrorT String (State State))

ExpM (R, Dims) (ErrorT String (State State))

DivM (R, Dims) (ErrorT String (State State))

MulM (R, Dims) (ErrorT String (State State))

SubM (R, Dims) (ErrorT String (State State))

AddM (R, Dims) (ErrorT String (State State))

data StateEntry

Constructors

Function Args Expr

Dimension Expr

BasicDimension

Builtin Args Expr

Instances

Show StateEntry

Pretty (Name, StateEntry)

isBasicUnit :: State -> Name -> Bool

isUnit :: State -> Name -> Bool

isDerivedUnit :: State -> Name -> Bool

isFunction :: State -> Name -> Bool

isBuiltin :: State -> Name -> Bool

lu :: Name -> State -> Maybe StateEntry

start :: State