Potoki.Core.Produce

Documentation

newtype Produce element

Passive producer of elements with support for early termination and resource management.

Constructors

Produce (Acquire (Fetch element))

list :: [input] -> Produce input

transform :: Transform input output -> Produce input -> Produce output

vector :: Vector input -> Produce input

hashMapRows :: HashMap a b -> Produce (a, b)

fileBytes :: FilePath -> Produce (Either IOException ByteString)

Read from a file by path.

• Exception-free
• Automatic resource management

fileBytesAtOffset :: FilePath -> Int -> Produce (Either IOException ByteString)

Read from a file by path.

• Exception-free
• Automatic resource management

fileText :: FilePath -> Produce (Either IOException Text)

Read from a file by path.

• Exception-free
• Automatic resource management

stdinBytes :: Produce (Either IOException ByteString)

directoryContents :: FilePath -> Produce (Either IOException FilePath)

Sorted subpaths of the directory.

finiteMVar :: MVar (Maybe element) -> Produce element

Read from MVar. Nothing gets interpreted as the end of input.

infiniteMVar :: MVar element -> Produce element

Read from MVar. Never stops.

Orphan instances

Monad Produce

Methods

(>>=) :: Produce a -> (a -> Produce b) -> Produce b

(>>) :: Produce a -> Produce b -> Produce b

return :: a -> Produce a

fail :: String -> Produce a

Functor Produce

Methods

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

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

Applicative Produce

Methods

pure :: a -> Produce a

(<*>) :: Produce (a -> b) -> Produce a -> Produce b

liftA2 :: (a -> b -> c) -> Produce a -> Produce b -> Produce c

(*>) :: Produce a -> Produce b -> Produce b

(<*) :: Produce a -> Produce b -> Produce a

Alternative Produce

Methods

empty :: Produce a

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

some :: Produce a -> Produce [a]

many :: Produce a -> Produce [a]

MonadIO Produce

Methods

liftIO :: IO a -> Produce a