Safe Haskell	Safe-Inferred
Language	Haskell2010

HWM.Core.Has

Documentation

class Has env a where Source #

Methods

obtain :: env -> a Source #

Instances details

Has (Env m) Options Source #
Instance details Defined in HWM.Domain.ConfigT Methods obtain :: Env m -> Options Source #
Has (Env m) Version Source #
Instance details Defined in HWM.Domain.ConfigT Methods obtain :: Env m -> Version Source #
Has (Env m) Config Source #
Instance details Defined in HWM.Domain.ConfigT Methods obtain :: Env m -> Config Source #
Has (Env m) Matrix Source #
Instance details Defined in HWM.Domain.ConfigT Methods obtain :: Env m -> Matrix Source #
Has (Env m) PkgRegistry Source #
Instance details Defined in HWM.Domain.ConfigT Methods obtain :: Env m -> PkgRegistry Source #
Has (Env m) Cache Source #
Instance details Defined in HWM.Domain.ConfigT Methods obtain :: Env m -> Cache Source #
Has (Env m) [WorkspaceGroup] Source #
Instance details Defined in HWM.Domain.ConfigT Methods obtain :: Env m -> [WorkspaceGroup] Source #

askEnv :: (MonadReader env m, Has env a) => m a Source #

type family HasAll env (xs :: [Type]) where ... Source #

Equations

HasAll _1 ('[] :: [Type]) = ()
HasAll env (x ': xs) = (Has env x, HasAll env xs)