Hix.Data.Monad

Documentation

data LogLevel

Constructors

LogError

LogWarn

LogInfo

LogVerbose

LogDebug

Instances

Generic LogLevel

Defined in Hix.Data.Monad

Associated Types

type Rep LogLevel :: Type -> Type

Methods

from :: LogLevel -> Rep LogLevel x

to :: Rep LogLevel x -> LogLevel

Show LogLevel

Defined in Hix.Data.Monad

Methods

showsPrec :: Int -> LogLevel -> ShowS

show :: LogLevel -> String

showList :: [LogLevel] -> ShowS

Eq LogLevel

Defined in Hix.Data.Monad

Methods

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

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

type Rep LogLevel

Defined in Hix.Data.Monad

type Rep LogLevel = D1 ('MetaData "LogLevel" "Hix.Data.Monad" "hix-0.7.0-1RsI1H0rYs1Kacz9sjlUfZ" '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

Constructors

AppResources

Fields

• cwd :: Path Abs Dir
• tmp :: Path Abs Dir
• verbose :: Bool
• debug :: Bool
• quiet :: Bool
• output :: OutputFormat
• target :: OutputTarget
• logger :: LogLevel -> Text -> M ()

newtype M a

Constructors

M (ReaderT AppResources (ExceptT Error IO) a)

Instances

MonadIO M

Defined in Hix.Data.Monad

Methods

liftIO :: IO a -> M a

Applicative M

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

Defined in Hix.Data.Monad

Methods

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

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

Monad M

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

Defined in Hix.Data.Monad

Methods

catch :: Exception e => M a -> (e -> M a) -> M a

MonadMask M

Defined in Hix.Data.Monad

Methods

mask :: ((forall a. M a -> M a) -> M b) -> M b

uninterruptibleMask :: ((forall a. M a -> M a) -> M b) -> M b

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

MonadThrow M

Defined in Hix.Data.Monad

Methods

throwM :: Exception e => e -> M a

HasField name AppResources a => HasField (name :: k) AppResProxy (M a)

Defined in Hix.Data.Monad

Methods

getField :: AppResProxy -> M a

Show k => NLookup LookupFatal k v (Text -> M v)

Defined in Hix.Class.Map

Methods

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

liftE :: ExceptT Error IO a -> M a

data AppResProxy

Constructors

AppResProxy

Instances

HasField name AppResources a => HasField (name :: k) AppResProxy (M a)

Defined in Hix.Data.Monad

Methods

getField :: AppResProxy -> M a

appRes :: AppResProxy