Safe Haskell | Safe-Infered |
---|

Miscellaneous general functions and Show, Eq, and Ord instances for PortID

- class (MonadIO m, Applicative m, Functor m) => MonadIO' m
- mergesortM :: Monad m => (a -> a -> m Ordering) -> [a] -> m [a]
- mergesortM' :: Monad m => (a -> a -> m Ordering) -> [[a]] -> m [a]
- merge_pairsM :: Monad m => (a -> a -> m Ordering) -> [[a]] -> m [[a]]
- mergeM :: Monad m => (a -> a -> m Ordering) -> [a] -> [a] -> m [a]
- wrap :: a -> [a]
- shuffle :: [a] -> IO [a]
- loop :: (Functor m, Monad m) => m (Maybe a) -> m [a]
- untilSuccess :: (MonadError e m, Error e) => (a -> m b) -> [a] -> m b
- untilSuccess' :: MonadError e m => e -> (a -> m b) -> [a] -> m b
- whenJust :: Monad m => Maybe a -> (a -> m ()) -> m ()
- liftIOE :: MonadIO m => (e -> e') -> ErrorT e IO a -> ErrorT e' m a
- runIOE :: ErrorT IOError IO a -> IO a
- updateAssocs :: Eq k => k -> v -> [(k, v)] -> [(k, v)]
- bitOr :: Bits a => [a] -> a
- (<.>) :: Text -> Text -> Text
- true1 :: Label -> Document -> Bool
- hGetN :: Handle -> Int -> IO ByteString
- byteStringHex :: ByteString -> String
- byteHex :: Word8 -> String

# Documentation

class (MonadIO m, Applicative m, Functor m) => MonadIO' m Source

MonadIO with extra Applicative and Functor superclasses

(MonadIO m, Applicative m, Functor m) => MonadIO' m |

mergesortM :: Monad m => (a -> a -> m Ordering) -> [a] -> m [a]Source

A monadic sort implementation derived from the non-monadic one in ghc's Prelude

mergesortM' :: Monad m => (a -> a -> m Ordering) -> [[a]] -> m [a]Source

merge_pairsM :: Monad m => (a -> a -> m Ordering) -> [[a]] -> m [[a]]Source

loop :: (Functor m, Monad m) => m (Maybe a) -> m [a]Source

Repeatedy execute action, collecting results, until it returns Nothing

untilSuccess :: (MonadError e m, Error e) => (a -> m b) -> [a] -> m bSource

Apply action to elements one at a time until one succeeds. Throw last error if all fail. Throw `strMsg`

error if list is empty.

untilSuccess' :: MonadError e m => e -> (a -> m b) -> [a] -> m bSource

Apply action to elements one at a time until one succeeds. Throw last error if all fail. Throw given error if list is empty

liftIOE :: MonadIO m => (e -> e') -> ErrorT e IO a -> ErrorT e' m aSource

lift IOE monad to ErrorT monad over some MonadIO m

runIOE :: ErrorT IOError IO a -> IO aSource

Run action while catching explicit error and rethrowing in IO monad

updateAssocs :: Eq k => k -> v -> [(k, v)] -> [(k, v)]Source

Change or insert value of key in association list

(<.>) :: Text -> Text -> TextSource

Concat first and second together with period in between. Eg. `"hello" <.> "world" = "hello.world"`

true1 :: Label -> Document -> BoolSource

Is field's value a 1 or True (MongoDB use both Int and Bools for truth values). Error if field not in document or field not a Num or Bool.

hGetN :: Handle -> Int -> IO ByteStringSource

Read N bytes from hande, blocking until all N bytes are read. If EOF is reached before N bytes then raise EOF exception.

byteStringHex :: ByteString -> StringSource

Hexadecimal string representation of a byte string. Each byte yields two hexadecimal characters.