camfort-1.0.1: CamFort - Cambridge Fortran infrastructure
Safe HaskellNone
LanguageHaskell2010

Language.Fortran.Model.Op.Eval

Documentation

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

Instances

Instances details
(MonadReader r m, HasPrimReprHandlers r) => MonadEvalFortran r m Source # 
Instance details

Defined in Language.Fortran.Model.Op.Eval

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

coerceSBVKinds :: Kind -> Kind -> SVal -> SVal Source #

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