Documentation

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

maybeRef :: IORef (Maybe a) -> Fetch a Source #

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

firstCachingSecond :: IORef b -> Fetch (a, b) -> Fetch a Source #

bothFetchingFirst :: IORef b -> Fetch a -> Fetch (a, b) Source #

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

rightCachingLeft :: IORef (Maybe left) -> Fetch (Either left right) -> Fetch right Source #

eitherFetchingRight :: IORef (Maybe left) -> Fetch right -> Fetch (Either left right) Source #

signaling :: IO () -> IO () -> Fetch a -> Fetch a Source #

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