Data.Stream

Documentation

class Ord (Pos s) => Stream s where

Associated Types

type Item s :: Type

type Chunk s :: Type

type Pos s :: Type

Methods

next :: s -> Maybe (Item s, s)

nextWhile :: (Item s -> Bool) -> s -> (Chunk s, s)

nextN :: Int -> s -> (Chunk s, s)

makeChunk :: Proxy s -> [Item s] -> Chunk s

unmakeChunk :: Proxy s -> Chunk s -> [Item s]

getPos :: s -> Pos s

Instances

Stream StringLines

Defined in Data.Stream.StringLines

Associated Types

type Item StringLines

type Chunk StringLines

type Pos StringLines

Methods

next :: StringLines -> Maybe (Item StringLines, StringLines)

nextWhile :: (Item StringLines -> Bool) -> StringLines -> (Chunk StringLines, StringLines)

nextN :: Int -> StringLines -> (Chunk StringLines, StringLines)

makeChunk :: Proxy StringLines -> [Item StringLines] -> Chunk StringLines

unmakeChunk :: Proxy StringLines -> Chunk StringLines -> [Item StringLines]

getPos :: StringLines -> Pos StringLines