Safe Haskell	None
Language	Haskell2010

UnliftIO.MessageBox.CatchAll

Description

Utilities for exception safe message boxes.

This provides a wrapper around UnliftIO.MessageBox.Class instances to catch SomeException in all methods like deliver and receive.

Synopsis

newtype CatchAllFactory cfg = CatchAllFactory cfg
newtype CatchAllBox box a = CatchAllBox (box a)
newtype CatchAllInput i a = CatchAllInput (i a)

Documentation

newtype CatchAllFactory cfg Source #

A wrapper around values that are instances of IsMessageBoxFactory. The factory wraps the result of the delegated newMessageBox invocation into a CatchAllBox.

Constructors

CatchAllFactory cfg

Instances

Instances details

Eq cfg => Eq (CatchAllFactory cfg) Source #
Instance details Defined in UnliftIO.MessageBox.CatchAll Methods (==) :: CatchAllFactory cfg -> CatchAllFactory cfg -> Bool # (/=) :: CatchAllFactory cfg -> CatchAllFactory cfg -> Bool #
Ord cfg => Ord (CatchAllFactory cfg) Source #
Instance details Defined in UnliftIO.MessageBox.CatchAll Methods compare :: CatchAllFactory cfg -> CatchAllFactory cfg -> Ordering # (<) :: CatchAllFactory cfg -> CatchAllFactory cfg -> Bool # (<=) :: CatchAllFactory cfg -> CatchAllFactory cfg -> Bool # (>) :: CatchAllFactory cfg -> CatchAllFactory cfg -> Bool # (>=) :: CatchAllFactory cfg -> CatchAllFactory cfg -> Bool # max :: CatchAllFactory cfg -> CatchAllFactory cfg -> CatchAllFactory cfg # min :: CatchAllFactory cfg -> CatchAllFactory cfg -> CatchAllFactory cfg #
Show cfg => Show (CatchAllFactory cfg) Source #
Instance details Defined in UnliftIO.MessageBox.CatchAll Methods showsPrec :: Int -> CatchAllFactory cfg -> ShowS # show :: CatchAllFactory cfg -> String # showList :: [CatchAllFactory cfg] -> ShowS #
IsMessageBoxFactory cfg => IsMessageBoxFactory (CatchAllFactory cfg) Source #
Instance details Defined in UnliftIO.MessageBox.CatchAll Associated Types type MessageBox (CatchAllFactory cfg) :: Type -> Type Source # Methods getConfiguredMessageLimit :: CatchAllFactory cfg -> Maybe Int Source # newMessageBox :: MonadUnliftIO m => CatchAllFactory cfg -> m (MessageBox (CatchAllFactory cfg) a) Source #
type MessageBox (CatchAllFactory cfg) Source #
Instance details Defined in UnliftIO.MessageBox.CatchAll type MessageBox (CatchAllFactory cfg) = CatchAllBox (MessageBox cfg)

newtype CatchAllBox box a Source #

A wrapper around values that are instances of IsMessageBox.

The Input type will be wrapped using CatchAllInput.

Constructors

CatchAllBox (box a)

Instances

Instances details

IsMessageBox box => IsMessageBox (CatchAllBox box) Source #
Instance details Defined in UnliftIO.MessageBox.CatchAll Associated Types type Input (CatchAllBox box) :: Type -> Type Source # Methods receive :: MonadUnliftIO m => CatchAllBox box a -> m (Maybe a) Source # tryReceive :: MonadUnliftIO m => CatchAllBox box a -> m (Future a) Source # receiveAfter :: MonadUnliftIO m => CatchAllBox box a -> Int -> m (Maybe a) Source # newInput :: MonadUnliftIO m => CatchAllBox box a -> m (Input (CatchAllBox box) a) Source #
type Input (CatchAllBox box) Source #
Instance details Defined in UnliftIO.MessageBox.CatchAll type Input (CatchAllBox box) = CatchAllInput (Input box)

newtype CatchAllInput i a Source #

A wrapper around values that are instances of IsInput.

Constructors

CatchAllInput (i a)

Instances

Instances details

IsInput i => IsInput (CatchAllInput i) Source #
Instance details Defined in UnliftIO.MessageBox.CatchAll Methods deliver :: MonadUnliftIO m => CatchAllInput i a -> a -> m Bool Source #