Potoki.Core.Fetch

Documentation

newtype Fetch element

Passive producer of elements.

Constructors

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

Orphan instances

Functor Fetch

Methods

fmap :: (a -> b) -> Fetch a -> Fetch b

(<$) :: a -> Fetch b -> Fetch a

Applicative 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

Methods

empty :: Fetch a

(<|>) :: Fetch a -> Fetch a -> Fetch a

some :: Fetch a -> Fetch [a]

many :: Fetch a -> Fetch [a]