Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- class MonadValue v m where
- class MonadValueF v m where
MonadValue
- a main implementation class
class MonadValue v m where Source #
Wrap value into a thunk.
Force the evaluation of the value.
If v
is a thunk, inform
allows us to modify the action to be
performed by the thunk, perhaps by enriching it with scope info, for
example.
Instances
(MonadThunkId m, MonadAtomicRef m, MonadCatch m) => MonadValue (Symbolic m) m Source # | |
(MonadAtomicRef m, MonadCatch m, Typeable m, MonadReader (Context m (StdValue m)) m, MonadThunkId m) => MonadValue (StdValue m) m Source # | |
MonadValueF
- a Kleisli-able customization class
class MonadValueF v m where Source #
Instances
(MonadThunkId m, MonadAtomicRef m, MonadCatch m) => MonadValueF (Symbolic m) m Source # | |
(MonadAtomicRef m, MonadCatch m, Typeable m, MonadReader (Context m (StdValue m)) m, MonadThunkId m) => MonadValueF (StdValue m) m Source # | |