Language.Fortran.Vars.Eval.FortranSrc

fortran-vars-style expression evaluation which piggybacks off the evaluator in fortran-src.

Documentation

newtype Eval a

Fortran expression evaluation monad, using SymbolTable and reporting fortran-src evaluator errors.

Constructors

Eval

Fields

• unEval :: Eval' a

Instances

Applicative Eval

Defined in Language.Fortran.Vars.Eval.FortranSrc

Methods

pure :: a -> Eval a

(<*>) :: Eval (a -> b) -> Eval a -> Eval b

liftA2 :: (a -> b -> c) -> Eval a -> Eval b -> Eval c

(*>) :: Eval a -> Eval b -> Eval b

(<*) :: Eval a -> Eval b -> Eval a

Functor Eval

Defined in Language.Fortran.Vars.Eval.FortranSrc

Methods

fmap :: (a -> b) -> Eval a -> Eval b

(<$) :: a -> Eval b -> Eval a

Monad Eval

Defined in Language.Fortran.Vars.Eval.FortranSrc

Methods

(>>=) :: Eval a -> (a -> Eval b) -> Eval b

(>>) :: Eval a -> Eval b -> Eval b

return :: a -> Eval a

MonadFEval Eval

Evaluate Fortran expressions to FValues.

We look up variables from a plain SymbolTable, but evaluate using fortran-src's machinery. We must therefore translate SymbolTable ExpVals to FValue. If we want to return fortran-vars-style types, we must translate the other way after executing a program in this monad.

Defined in Language.Fortran.Vars.Eval.FortranSrc

Associated Types

type EvalTo Eval

Methods

lookupFVar :: Name -> Eval (Maybe (EvalTo Eval))

warn :: String -> Eval ()

MonadError Error Eval

Defined in Language.Fortran.Vars.Eval.FortranSrc

Methods

throwError :: Error -> Eval a

catchError :: Eval a -> (Error -> Eval a) -> Eval a

MonadReader SymbolTable Eval

Defined in Language.Fortran.Vars.Eval.FortranSrc

Methods

ask :: Eval SymbolTable

local :: (SymbolTable -> SymbolTable) -> Eval a -> Eval a

reader :: (SymbolTable -> a) -> Eval a

type EvalTo Eval

Defined in Language.Fortran.Vars.Eval.FortranSrc

type EvalTo Eval = FValue

type Eval' = ExceptT Error (Reader SymbolTable)

Fortran expression evaluation monad, using SymbolTable and reporting fortran-src evaluator errors.

We use a newtype wrapper on this at Eval. The type synonym assists some boilerplate.

runEval :: SymbolTable -> Eval a -> Either Error a

Execute a program in the Fortran expression evaluation monad Eval.

module Language.Fortran.Vars.Eval.FortranSrc.Translate