Documentation

Monads which provide functionality to evaluate some Fortran type or value.

We abstract over the evaluation target type in order to reuse this for both value evaluation, and "type evaluation", since there is (a small amount of) overlap.

Instances of this class will have a way to access variables in the current context (e.g. a Reader over a Map), and log warnings (e.g. a Writer String).