Initialiser

Documentation

data Initialiser a

Instances

MonadIO Initialiser

Defined in Initialiser.Types

Methods

liftIO :: IO a -> Initialiser a

Applicative Initialiser

Defined in Initialiser.Types

Methods

pure :: a -> Initialiser a

(<*>) :: Initialiser (a -> b) -> Initialiser a -> Initialiser b

liftA2 :: (a -> b -> c) -> Initialiser a -> Initialiser b -> Initialiser c

(*>) :: Initialiser a -> Initialiser b -> Initialiser b

(<*) :: Initialiser a -> Initialiser b -> Initialiser a

Functor Initialiser

Defined in Initialiser.Types

Methods

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

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

Monad Initialiser

Defined in Initialiser.Types

Methods

(>>=) :: Initialiser a -> (a -> Initialiser b) -> Initialiser b

(>>) :: Initialiser a -> Initialiser b -> Initialiser b

return :: a -> Initialiser a

MonadThrow Initialiser

Defined in Initialiser.Types

Methods

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

MonadLogger Initialiser

Defined in Initialiser.Types

Methods

monadLoggerLog :: ToLogStr msg => Loc -> LogSource -> LogLevel -> msg -> Initialiser ()

MonadReader T Initialiser

Defined in Initialiser.Types

Methods

ask :: Initialiser T

local :: (T -> T) -> Initialiser a -> Initialiser a

reader :: (T -> a) -> Initialiser a

runInitialiser :: Initialiser a -> T -> IO a

defaultInitialiser :: Initialiser ()