Hix.Monad

Documentation

mapAccumM :: Traversable t => Monad m => (s -> a -> m (s, b)) -> s -> t a -> m (s, t b)

withTempFile :: String -> Maybe [Text] -> (Path Abs File -> M a) -> M a

throwM :: Error -> M a

withTempDir :: String -> (Path Abs Dir -> M a) -> M a

runMWith :: GlobalOptions -> M a -> IO (Either Error a)

noteBootstrap :: Text -> Maybe a -> M a

eitherClient :: Either Text a -> M a

noteFatal :: Text -> Maybe a -> M a

noteEnv :: Text -> Maybe a -> M a

note :: Error -> Maybe a -> M a

noteGhci :: Text -> Maybe a -> M a

tryIOM :: IO a -> M a

tryIOMAs :: Error -> IO a -> M a

tryIOMWith :: (Text -> Error) -> IO a -> M a

noteClient :: Text -> Maybe a -> M a

catchIOM :: IO a -> (Text -> M a) -> M a

eitherFatalShow :: Show b => Text -> Either b a -> M a

withLower :: (forall b. (M a -> IO b) -> IO b) -> M a

clientError :: Text -> M a

tryIOMWithM :: (Text -> M a) -> IO a -> M a

fatalError :: Text -> M a

noteNew :: Text -> Maybe a -> M a

eitherFatal :: Either Text a -> M a

whenDebug :: M () -> M ()

logIORef :: IORef [Text] -> LogLevel -> Text -> IO ()

withLogIORef :: ((LogLevel -> Text -> IO ()) -> IO a) -> IO ([Text], a)

runMLoggerWith :: (LogLevel -> Text -> IO ()) -> GlobalOptions -> M a -> IO (Either Error a)

runMLogWith :: GlobalOptions -> M a -> IO ([Text], Either Error a)

runMLog :: Path Abs Dir -> M a -> IO ([Text], Either Error a)

runM :: Path Abs Dir -> M a -> IO (Either Error a)

runMDebug :: Path Abs Dir -> M a -> IO (Either Error a)

stateM :: Monad m => (s -> a -> m (s, b)) -> a -> StateT s m b

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 ()

data M 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