hix-0.8.0: Haskell/Nix development build tools
Safe HaskellNone
LanguageGHC2021

Hix.Data.Monad

Documentation

data LogLevel Source #

Constructors

LogError 
LogWarn 
LogInfo 
LogVerbose 
LogDebug 

Instances

Instances details
Generic LogLevel Source # 
Instance details

Defined in Hix.Data.Monad

Associated Types

type Rep LogLevel 
Instance details

Defined in Hix.Data.Monad

type Rep LogLevel = D1 ('MetaData "LogLevel" "Hix.Data.Monad" "hix-0.8.0-HgAAo9T3AqQBueO4fzYR2Q" 'False) ((C1 ('MetaCons "LogError" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LogWarn" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "LogInfo" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "LogVerbose" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LogDebug" 'PrefixI 'False) (U1 :: Type -> Type))))

Methods

from :: LogLevel -> Rep LogLevel x #

to :: Rep LogLevel x -> LogLevel #

Show LogLevel Source # 
Instance details

Defined in Hix.Data.Monad

Methods

showsPrec :: Int -> LogLevel -> ShowS #

show :: LogLevel -> String #

showList :: [LogLevel] -> ShowS #

Eq LogLevel Source # 
Instance details

Defined in Hix.Data.Monad

Methods

(==) :: LogLevel -> LogLevel -> Bool #

(/=) :: LogLevel -> LogLevel -> Bool #

type Rep LogLevel Source # 
Instance details

Defined in Hix.Data.Monad

type Rep LogLevel = D1 ('MetaData "LogLevel" "Hix.Data.Monad" "hix-0.8.0-HgAAo9T3AqQBueO4fzYR2Q" 'False) ((C1 ('MetaCons "LogError" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LogWarn" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "LogInfo" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "LogVerbose" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LogDebug" 'PrefixI 'False) (U1 :: Type -> Type))))

data AppResources Source #

Constructors

AppResources 

Fields

newtype M a Source #

Constructors

M (ReaderT AppResources (ExceptT Error IO) a) 

Instances

Instances details
MonadIO M Source # 
Instance details

Defined in Hix.Data.Monad

Methods

liftIO :: IO a -> M a #

Applicative M Source # 
Instance details

Defined in Hix.Data.Monad

Methods

pure :: a -> M a #

(<*>) :: M (a -> b) -> M a -> M b #

liftA2 :: (a -> b -> c) -> M a -> M b -> M c #

(*>) :: M a -> M b -> M b #

(<*) :: M a -> M b -> M a #

Functor M Source # 
Instance details

Defined in Hix.Data.Monad

Methods

fmap :: (a -> b) -> M a -> M b #

(<$) :: a -> M b -> M a #

Monad M Source # 
Instance details

Defined in Hix.Data.Monad

Methods

(>>=) :: M a -> (a -> M b) -> M b #

(>>) :: M a -> M b -> M b #

return :: a -> M a #

MonadCatch M Source # 
Instance details

Defined in Hix.Data.Monad

Methods

catch :: (HasCallStack, Exception e) => M a -> (e -> M a) -> M a #

MonadMask M Source # 
Instance details

Defined in Hix.Data.Monad

Methods

mask :: HasCallStack => ((forall a. M a -> M a) -> M b) -> M b #

uninterruptibleMask :: HasCallStack => ((forall a. M a -> M a) -> M b) -> M b #

generalBracket :: HasCallStack => M a -> (a -> ExitCase b -> M c) -> (a -> M b) -> M (b, c) #

MonadThrow M Source # 
Instance details

Defined in Hix.Data.Monad

Methods

throwM :: (HasCallStack, Exception e) => e -> M a #

HasField name AppResources a => HasField (name :: k) AppResProxy (M a) Source # 
Instance details

Defined in Hix.Data.Monad

Methods

getField :: AppResProxy -> M a #

Show k => NLookup LookupFatal k v (Text -> M v) Source # 
Instance details

Defined in Hix.Class.Map

Methods

nLookup :: k -> Maybe v -> Text -> M v Source #

liftE :: ExceptT Error IO a -> M a Source #

data AppResProxy Source #

Constructors

AppResProxy 

Instances

Instances details
HasField name AppResources a => HasField (name :: k) AppResProxy (M a) Source # 
Instance details

Defined in Hix.Data.Monad

Methods

getField :: AppResProxy -> M a #

appRes :: AppResProxy Source #