Safe Haskell	None
Language	Haskell2010

Potoki.Core.Fetch

Contents

Synopsis

newtype Fetch element = Fetch (IO (Maybe element))
duplicate :: Fetch element -> IO (Fetch element, Fetch element)
maybeRef :: IORef (Maybe a) -> Fetch a
list :: IORef [element] -> Fetch element
firstCachingSecond :: IORef b -> Fetch (a, b) -> Fetch a
bothFetchingFirst :: IORef b -> Fetch a -> Fetch (a, b)
rightHandlingLeft :: (left -> IO ()) -> Fetch (Either left right) -> Fetch right
rightCachingLeft :: IORef (Maybe left) -> Fetch (Either left right) -> Fetch right
eitherFetchingRight :: IORef (Maybe left) -> Fetch right -> Fetch (Either left right)
signaling :: IO () -> IO () -> Fetch a -> Fetch a
ioFetch :: IO (Fetch a) -> Fetch a
handleBytes :: Handle -> Fetch (Either IOException ByteString)
handleBytesWithChunkSize :: Int -> Handle -> Fetch (Either IOException ByteString)
handleText :: Handle -> Fetch (Either IOException Text)
mapFilter :: (input -> Maybe output) -> Fetch input -> Fetch output
filter :: (input -> Bool) -> Fetch input -> Fetch input
just :: Fetch (Maybe element) -> Fetch element
takeWhile :: (element -> Bool) -> Fetch element -> Fetch element
infiniteMVar :: MVar element -> Fetch element
finiteMVar :: MVar (Maybe element) -> Fetch element
vector :: IORef Int -> Vector element -> Fetch element
handlingElements :: (element -> IO ()) -> Fetch element -> Fetch element

Documentation

newtype Fetch element Source #

Passive producer of elements.

Constructors

Fetch (IO (Maybe element))

Instances

Functor Fetch #
Instance details Defined in Potoki.Core.Fetch Methods fmap :: (a -> b) -> Fetch a -> Fetch b # (<$) :: a -> Fetch b -> Fetch a #
Applicative Fetch #
Instance details Defined in Potoki.Core.Fetch Methods 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 #
Alternative Fetch #
Instance details Defined in Potoki.Core.Fetch Methods empty :: Fetch a # (<\|>) :: Fetch a -> Fetch a -> Fetch a # some :: Fetch a -> Fetch [a] # many :: Fetch a -> Fetch [a] #

duplicate :: Fetch element -> IO (Fetch element, Fetch element) Source #

list :: IORef [element] -> Fetch element Source #

rightHandlingLeft :: (left -> IO ()) -> Fetch (Either left right) -> Fetch right Source #

mapFilter :: (input -> Maybe output) -> Fetch input -> Fetch output Source #

filter :: (input -> Bool) -> Fetch input -> Fetch input Source #

just :: Fetch (Maybe element) -> Fetch element Source #

takeWhile :: (element -> Bool) -> Fetch element -> Fetch element Source #

handlingElements :: (element -> IO ()) -> Fetch element -> Fetch element Source #

Orphan instances

Functor Fetch Source #
Instance details Methods fmap :: (a -> b) -> Fetch a -> Fetch b # (<$) :: a -> Fetch b -> Fetch a #
Applicative Fetch Source #
Instance details Methods 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 #
Alternative Fetch Source #
Instance details Methods empty :: Fetch a # (<\|>) :: Fetch a -> Fetch a -> Fetch a # some :: Fetch a -> Fetch [a] # many :: Fetch a -> Fetch [a] #