Safe Haskell	Safe-Inferred

Util.UF

Description

Synopsis

data UntilFail err a
- = a :+ (UntilFail err a)
- | Done
- | Fail err
fromListFail :: [a] -> err -> UntilFail err a
fromList :: [a] -> UntilFail err a
singleton :: a -> UntilFail err a
toList :: UntilFail err a -> ([a], Maybe err)
map :: (a -> Either err b) -> UntilFail err a -> UntilFail err b
concatMap :: (a -> UntilFail err b) -> UntilFail err a -> UntilFail err b
process :: (a -> [a] -> (UntilFail err b, [a])) -> [a] -> UntilFail err b
processM :: Monad m => (a -> [a] -> m (UntilFail err b, [a])) -> [a] -> m (UntilFail err b)

Documentation

This is a list, optionally terminated with an error.

Constructors

Instances details

Functor (UntilFail err) Source #
Instance details Defined in Util.UF Methods fmap :: (a -> b) -> UntilFail err a -> UntilFail err b # (<$) :: a -> UntilFail err b -> UntilFail err a #
(Show a, Show err) => Show (UntilFail err a) Source #
Instance details Defined in Util.UF Methods showsPrec :: Int -> UntilFail err a -> ShowS # show :: UntilFail err a -> String # showList :: [UntilFail err a] -> ShowS #
(Eq a, Eq err) => Eq (UntilFail err a) Source #
Instance details Defined in Util.UF Methods (==) :: UntilFail err a -> UntilFail err a -> Bool # (/=) :: UntilFail err a -> UntilFail err a -> Bool #
(Pretty.Pretty err, Pretty.Pretty a) => Pretty.Pretty (UntilFail err a) Source #
Instance details Defined in Util.UF Methods pretty :: UntilFail err a -> Text Source # format :: UntilFail err a -> Doc Source # formatList :: [UntilFail err a] -> Doc Source #

map :: (a -> Either err b) -> UntilFail err a -> UntilFail err b Source #

process :: (a -> [a] -> (UntilFail err b, [a])) -> [a] -> UntilFail err b Source #

Like concatMap, but consume and produce a variable number of results.

A more precise type would end with Done [a].

processM :: Monad m => (a -> [a] -> m (UntilFail err b, [a])) -> [a] -> m (UntilFail err b) Source #