Language.Fortran.Repr.Eval.Value

Evaluate AST terms to values in the value representation.

Documentation

data Error

Error encountered while evaluating a Fortran expression to a value.

Constructors

ENoSuchVar Name

EKindLitBadType Name FType

ENoSuchKindForType String FKindLit

EUnsupported String

Syntax which probably should be supported, but (currently) isn't.

EOp Error

EOpTypeError String

ESpecial String

Special value-like expression that we can't evaluate usefully.

ELazy String

Catch-all for non-grouped errors.

Instances

Generic Error

Defined in Language.Fortran.Repr.Eval.Value

Associated Types

type Rep Error :: Type -> Type

Methods

from :: Error -> Rep Error x

to :: Rep Error x -> Error

Show Error

Defined in Language.Fortran.Repr.Eval.Value

Methods

showsPrec :: Int -> Error -> ShowS

show :: Error -> String

showList :: [Error] -> ShowS

Eq Error

Defined in Language.Fortran.Repr.Eval.Value

Methods

(==) :: Error -> Error -> Bool

(/=) :: Error -> Error -> Bool

MonadError Error FEvalValuePure

Defined in Language.Fortran.Repr.Eval.Value

Methods

throwError :: Error -> FEvalValuePure a

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

type Rep Error

Defined in Language.Fortran.Repr.Eval.Value

type Rep Error = D1 ('MetaData "Error" "Language.Fortran.Repr.Eval.Value" "fortran-src-0.15.0-inplace" 'False) (((C1 ('MetaCons "ENoSuchVar" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name)) :+: C1 ('MetaCons "EKindLitBadType" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FType))) :+: (C1 ('MetaCons "ENoSuchKindForType" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FKindLit)) :+: C1 ('MetaCons "EUnsupported" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))) :+: ((C1 ('MetaCons "EOp" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Error)) :+: C1 ('MetaCons "EOpTypeError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String))) :+: (C1 ('MetaCons "ESpecial" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)) :+: C1 ('MetaCons "ELazy" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))))

type MonadFEvalValue m = (MonadFEval m, EvalTo m ~ FValue, MonadError Error m)

A convenience constraint tuple defining the base requirements of the FValue evaluator.

The evaluator is formed of combinators returning values in this monad. You may insert your own evaluator which handles monadic actions differently, provided it can fulfill these constraints.

type FEvalValuePureT = WriterT [String] (ExceptT Error (Reader (Map Name FValue)))

derivingvia helper

newtype FEvalValuePure a

A simple pure interpreter for Fortran value evaluation programs.

Constructors

FEvalValuePure

Fields

• unFEvalValuePure :: WriterT [String] (ExceptT Error (Reader (Map Name FValue))) a

Instances

Applicative FEvalValuePure

Defined in Language.Fortran.Repr.Eval.Value

Methods

pure :: a -> FEvalValuePure a

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

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

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

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

Functor FEvalValuePure

Defined in Language.Fortran.Repr.Eval.Value

Methods

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

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

Monad FEvalValuePure

Defined in Language.Fortran.Repr.Eval.Value

Methods

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

(>>) :: FEvalValuePure a -> FEvalValuePure b -> FEvalValuePure b

return :: a -> FEvalValuePure a

MonadFEval FEvalValuePure

Defined in Language.Fortran.Repr.Eval.Value

Associated Types

type EvalTo FEvalValuePure

Methods

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

warn :: String -> FEvalValuePure ()

MonadError Error FEvalValuePure

Defined in Language.Fortran.Repr.Eval.Value

Methods

throwError :: Error -> FEvalValuePure a

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

MonadWriter [String] FEvalValuePure

Defined in Language.Fortran.Repr.Eval.Value

Methods

writer :: (a, [String]) -> FEvalValuePure a

tell :: [String] -> FEvalValuePure ()

listen :: FEvalValuePure a -> FEvalValuePure (a, [String])

pass :: FEvalValuePure (a, [String] -> [String]) -> FEvalValuePure a

MonadReader (Map Name FValue) FEvalValuePure

Defined in Language.Fortran.Repr.Eval.Value

Methods

ask :: FEvalValuePure (Map Name FValue)

local :: (Map Name FValue -> Map Name FValue) -> FEvalValuePure a -> FEvalValuePure a

reader :: (Map Name FValue -> a) -> FEvalValuePure a

type EvalTo FEvalValuePure

Defined in Language.Fortran.Repr.Eval.Value

type EvalTo FEvalValuePure = FValue

runEvalFValuePure :: Map Name FValue -> FEvalValuePure a -> Either Error (a, [String])

evalVar :: MonadFEvalValue m => Name -> m FValue

evalExpr :: MonadFEvalValue m => Expression a -> m FValue

forceVarExpr :: Expression a -> Name

evalLit :: MonadFEvalValue m => Value a -> m FScalarValue

err :: MonadError Error m => Error -> m a

evalKp :: MonadFEvalValue m => KindParam a -> m FKindLit

evalMKp :: MonadFEvalValue m => FKindLit -> Maybe (KindParam a) -> m FKindLit

evalRealKp :: MonadFEvalValue m => ExponentLetter -> Maybe (KindParam a) -> m FKindLit

evalUOp :: MonadFEvalValue m => UnaryOp -> FValue -> m FValue

wrapOp :: MonadFEvalValue m => Either Error a -> m a

wrapSOp :: MonadFEvalValue m => Either Error FScalarValue -> m FValue

Wrap the output of an operation that returns a scalar value into the main evaluator.

evalBOp :: MonadFEvalValue m => BinaryOp -> FValue -> FValue -> m FValue

Evaluate explicit binary operators (ones denoted as such in the AST).

Note that this does not cover all binary operators -- there are many intrinsics which use function syntax, but are otherwise binary operators.

boolXor :: Bool -> Bool -> Bool

defFLogical :: Bool -> FValue

evalFunctionCall :: MonadFEvalValue m => Name -> [FValue] -> m FValue

evalIntrinsicInt :: MonadFEvalValue m => FValue -> FInt -> m FInt

evalIntrinsicInt1 :: MonadFEvalValue m => FValue -> m Int8

INT(a, 1)

evalIntrinsicInt2 :: MonadFEvalValue m => FValue -> m Int16

INT(a, 2)

evalIntrinsicInt4 :: MonadFEvalValue m => FValue -> m Int32

INT(a, 4), INT(a)

evalIntrinsicInt8 :: MonadFEvalValue m => FValue -> m Int64

INT(a, 8)

evalIntrinsicIntXCoerce :: forall r m. (MonadFEvalValue m, Integral r) => (FInt -> r) -> FValue -> m r

evalArg :: MonadFEvalValue m => Argument a -> m FValue

forceScalar :: MonadFEvalValue m => FValue -> m FScalarValue

forceUnconsArg :: MonadFEvalValue m => [a] -> m (a, [a])

forceArgs :: MonadFEvalValue m => Int -> [a] -> m [a]

evalIntrinsicIor :: MonadFEvalValue m => FScalarValue -> FScalarValue -> m FValue

evalIntrinsicMax :: MonadFEvalValue m => [FValue] -> m FValue

evalConstExpr :: MonadFEvalValue m => Expression a -> m FValue

Evaluate a constant expression (F2018 10.1.12).