| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
HWM.Core.Common
Documentation
class Check (m :: Type -> Type) a where Source #
Capability gate for validations that report issues inside a monad.
Instances
| (MonadError Issue m, MonadReader env m, Has env Cache, Has env [WorkspaceGroup], Has env Matrix, MonadIO m) => Check m Config Source # | |
Defined in HWM.Domain.Config | |
| (MonadError Issue m, MonadReader env m, Has env [WorkspaceGroup], Has env Cache, MonadIO m) => Check m BuildEnv Source # | |
Defined in HWM.Domain.Matrix | |
| (MonadError Issue m, MonadReader env m, Has env Matrix, Has env [WorkspaceGroup], Has env Cache, MonadIO m) => Check m Matrix Source # | |
Defined in HWM.Domain.Matrix | |