potoki-core-1.3: Low-level components of "potoki"
Potoki.Core.Fetch
Synopsis
newtype Fetch element Source #
Passive producer of elements.
Constructors
Something close to a Church encoding of IO (Maybe element).
IO (Maybe element)
Instances
Methods
(>>=) :: Fetch a -> (a -> Fetch b) -> Fetch b #
(>>) :: Fetch a -> Fetch b -> Fetch b #
return :: a -> Fetch a #
fail :: String -> Fetch a #
fmap :: (a -> b) -> Fetch a -> Fetch b #
(<$) :: a -> Fetch b -> Fetch a #
pure :: a -> Fetch a #
(<*>) :: Fetch (a -> b) -> Fetch a -> Fetch b #
liftA2 :: (a -> b -> c) -> Fetch a -> Fetch b -> Fetch c #
(*>) :: Fetch a -> Fetch b -> Fetch b #
(<*) :: Fetch a -> Fetch b -> Fetch a #
empty :: Fetch a #
(<|>) :: Fetch a -> Fetch a -> Fetch a #
some :: Fetch a -> Fetch [a] #
many :: Fetch a -> Fetch [a] #
mzero :: Fetch a #
mplus :: Fetch a -> Fetch a -> Fetch a #
duplicate :: Fetch element -> IO (Fetch element, Fetch element) Source #
list :: IORef [element] -> Fetch element Source #