Streaming.Bracketed.Internal

Documentation

newtype Bracketed a r

Constructors

Bracketed

Fields

• runBracketed :: IORef Finstack -> Stream (Of a) IO r

Instances

Bifunctor Bracketed

first maps over the yielded elements.

Defined in Streaming.Bracketed.Internal

Methods

bimap :: (a -> b) -> (c -> d) -> Bracketed a c -> Bracketed b d

first :: (a -> b) -> Bracketed a c -> Bracketed b c

second :: (b -> c) -> Bracketed a b -> Bracketed a c

Monad (Bracketed a)

Defined in Streaming.Bracketed.Internal

Methods

(>>=) :: Bracketed a a0 -> (a0 -> Bracketed a b) -> Bracketed a b

(>>) :: Bracketed a a0 -> Bracketed a b -> Bracketed a b

return :: a0 -> Bracketed a a0

fail :: String -> Bracketed a a0

Functor (Bracketed a)

Defined in Streaming.Bracketed.Internal

Methods

fmap :: (a0 -> b) -> Bracketed a a0 -> Bracketed a b

(<$) :: a0 -> Bracketed a b -> Bracketed a a0

Applicative (Bracketed a)

Defined in Streaming.Bracketed.Internal

Methods

pure :: a0 -> Bracketed a a0

(<*>) :: Bracketed a (a0 -> b) -> Bracketed a a0 -> Bracketed a b

liftA2 :: (a0 -> b -> c) -> Bracketed a a0 -> Bracketed a b -> Bracketed a c

(*>) :: Bracketed a a0 -> Bracketed a b -> Bracketed a b

(<*) :: Bracketed a a0 -> Bracketed a b -> Bracketed a a0

MonadIO (Bracketed a)

Defined in Streaming.Bracketed.Internal

Methods

liftIO :: IO a0 -> Bracketed a a0

data Finstack

A stack of finalizers, accompanied by its length.

Finalizers at the head of the list correspond to deeper levels of nesting.

Constructors

Finstack !Int [IO ()]

clear :: Stream (Of x) IO r -> Bracketed x r

Lift a Stream that doesn't perform allocation to a Bracketed.

bracketed :: IO a -> (a -> IO ()) -> (a -> Stream (Of x) IO r) -> Bracketed x r

Lift a Stream that requires resource allocation to a Bracketed.

with :: Bracketed a r -> (forall x. Stream (Of a) IO x -> IO (Of b x)) -> IO (Of b r)

Consume a Bracketed stream, exhausting it.

with_ :: Bracketed a r -> (Stream (Of a) IO r -> IO b) -> IO b

Consume a Bracketed stream, possibly wihout exhausting it.

Finalizers lying in unconsumed parts of the stream will not be executed until the callback returns, so better not tarry too long if you want prompt finalization.

over :: (forall x. Stream (Of a) IO x -> Stream (Of b) IO x) -> Bracketed a r -> Bracketed b r

Apply to the underlying stream a transformation that preserves the return value.

over_ :: (Stream (Of a) IO r -> Stream (Of b) IO r') -> Bracketed a r -> Bracketed b r'

Apply to the underlying stream a transformation that might not preserve the return value.

for :: Bracketed a r -> (a -> Bracketed b x) -> Bracketed b r

Replaces each element of a stream with an associated stream.

Can be useful for traversing hierachical structures.

reset :: Int -> IORef Finstack -> IO ()

Executes all finalizers that lie above a certain level.

linesFromFile :: TextEncoding -> NewlineMode -> FilePath -> Bracketed String ()

A bracketed stream of all the lines in a text file.

This is adequate for simple use cases. For more advanced ones where efficiency and memory usage are important, it's better to use a packed text representation like the one provided by the text package.

concatRanges :: TextEncoding -> NewlineMode -> [(FilePath, Int, Int)] -> Bracketed String ()

Given a list of text files and line ranges, create a stream of lines belonging to the concatenated ranges.