Potoki.Core.Fetch

Documentation

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

ioMaybe :: IO (Maybe a) -> Fetch a