Potoki.Core.Fetch

Contents

• Orphan instances

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

Documentation

Orphan instances