Safe Haskell | Safe-Inferred |
---|---|
Language | GHC2021 |
Provides an effect for querying system information.
Synopsis
- class Monad m => MonadSystemInfo m where
- query :: HasCallStack => ServiceType result -> m result
Documentation
class Monad m => MonadSystemInfo m where Source #
This class represents an effect of querying system information.
query :: HasCallStack => ServiceType result -> m result Source #
Instances
MonadSystemInfo IO Source # | |
Defined in Navi.Effects.MonadSystemInfo query :: HasCallStack => ServiceType result -> IO result Source # | |
MonadSystemInfo (NaviT env IO) Source # | |
Defined in Navi.NaviT query :: HasCallStack => ServiceType result -> NaviT env IO result Source # | |
MonadSystemInfo m => MonadSystemInfo (ReaderT e m) Source # | |
Defined in Navi.Effects.MonadSystemInfo query :: HasCallStack => ServiceType result -> ReaderT e m result Source # |