Language.Fortran.Model.Op.Eval

Documentation

class (MonadReader r m, HasPrimReprHandlers r) => MonadEvalFortran r m | m -> r

Instances

(MonadReader r m, HasPrimReprHandlers r) => MonadEvalFortran r m

Defined in Language.Fortran.Model.Op.Eval

coerceBy :: (SBV a -> SBV b) -> SVal -> SVal

coerceSBVKinds :: Kind -> Kind -> SVal -> SVal

coercePrimSVal :: MonadEvalFortran r m => Prim p k a -> SVal -> m SVal