Avail.Instances

This module exports instances of the M monad for all typeclasses in capability, transformers-base, monad-control, exceptions, unliftio and mtl.

All instances are reexported in the Avail module, so you don't need to import this module.

Orphan instances

IsEff MonadFail

Associated Types

type Superclasses MonadFail :: [Effect]

IsEff MonadIO

Associated Types

type Superclasses MonadIO :: [Effect]

IsEff Alternative

Associated Types

type Superclasses Alternative :: [Effect]

IsEff MonadPlus

Associated Types

type Superclasses MonadPlus :: [Effect]

IsEff MonadThrow

Associated Types

type Superclasses MonadThrow :: [Effect]

IsEff MonadCatch

Associated Types

type Superclasses MonadCatch :: [Effect]

IsEff MonadMask

Associated Types

type Superclasses MonadMask :: [Effect]

IsEff MonadCont

Associated Types

type Superclasses MonadCont :: [Effect]

IsEff PrimMonad

Associated Types

type Superclasses PrimMonad :: [Effect]

IsEff MonadUnliftIO

Associated Types

type Superclasses MonadUnliftIO :: [Effect]

(MonadRWS r w s m, Eff (MonadRWS r w s)) => MonadRWS r w s (M m)

(MonadWriter w m, Eff (MonadWriter w)) => MonadWriter w (M m)

Methods

writer :: (a, w) -> M m a

tell :: w -> M m ()

listen :: M m a -> M m (a, w)

pass :: M m (a, w -> w) -> M m a

(MonadState s m, Eff (MonadState s)) => MonadState s (M m)

Methods

get :: M m s

put :: s -> M m ()

state :: (s -> (a, s)) -> M m a

(MonadReader r m, Eff (MonadReader r)) => MonadReader r (M m)

Methods

ask :: M m r

local :: (r -> r) -> M m a -> M m a

reader :: (r -> a) -> M m a

(MonadError e m, Eff (MonadError e)) => MonadError e (M m)

Methods

throwError :: e -> M m a

catchError :: M m a -> (e -> M m a) -> M m a

IsEff (MonadWriter w)

Associated Types

type Superclasses (MonadWriter w) :: [Effect]

IsEff (MonadState s)

Associated Types

type Superclasses (MonadState s) :: [Effect]

IsEff (MonadReader r)

Associated Types

type Superclasses (MonadReader r) :: [Effect]

IsEff (MonadError e)

Associated Types

type Superclasses (MonadError e) :: [Effect]

(MonadFail m, Eff MonadFail) => MonadFail (M m)

Methods

fail :: String -> M m a

(MonadIO m, Eff MonadIO) => MonadIO (M m)

Methods

liftIO :: IO a -> M m a

(Alternative m, Eff Alternative) => Alternative (M m)

Methods

empty :: M m a

(<|>) :: M m a -> M m a -> M m a

some :: M m a -> M m [a]

many :: M m a -> M m [a]

(MonadPlus m, Eff MonadPlus) => MonadPlus (M m)

Methods

mzero :: M m a

mplus :: M m a -> M m a -> M m a

(MonadThrow m, Eff MonadThrow) => MonadThrow (M m)

Methods

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

(MonadCatch m, Eff MonadCatch) => MonadCatch (M m)

Methods

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

(MonadMask m, Eff MonadMask) => MonadMask (M m)

Methods

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

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

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

(MonadCont m, Eff MonadCont) => MonadCont (M m)

Methods

callCC :: ((a -> M m b) -> M m a) -> M m a

(PrimMonad m, Eff PrimMonad) => PrimMonad (M m)

Associated Types

type PrimState (M m)

Methods

primitive :: (State# (PrimState (M m)) -> (# State# (PrimState (M m)), a #)) -> M m a

(MonadUnliftIO m, Eff MonadUnliftIO) => MonadUnliftIO (M m)

Methods

withRunInIO :: ((forall a. M m a -> IO a) -> IO b) -> M m b

IsEff (MonadRWS r w s)

Associated Types

type Superclasses (MonadRWS r w s) :: [Effect]