SimpleParser.Stream

This reworks Stream to split interfaces. See https://hackage.haskell.org/package/megaparsec-9.0.1/docs/Text-Megaparsec-Stream.html

Documentation

class Monoid chunk => Chunked chunk token | chunk -> token where

Chunked captures the basic relationship between tokens and chunks of them. Basically, these things behave like lists, sequences, text, etc.

Methods

consChunk :: token -> chunk -> chunk

unconsChunk :: chunk -> Maybe (token, chunk)

tokenToChunk :: token -> chunk

tokensToChunk :: [token] -> chunk

chunkToTokens :: chunk -> [token]

chunkLength :: chunk -> Int

chunkEmpty :: chunk -> Bool

Instances

Chunked Text Char

Defined in SimpleParser.Stream

Methods

consChunk :: Char -> Text -> Text

unconsChunk :: Text -> Maybe (Char, Text)

tokenToChunk :: Char -> Text

tokensToChunk :: [Char] -> Text

chunkToTokens :: Text -> [Char]

chunkLength :: Text -> Int

chunkEmpty :: Text -> Bool

Chunked [a] a

Defined in SimpleParser.Stream

Methods

consChunk :: a -> [a] -> [a]

unconsChunk :: [a] -> Maybe (a, [a])

tokenToChunk :: a -> [a]

tokensToChunk :: [a] -> [a]

chunkToTokens :: [a] -> [a]

chunkLength :: [a] -> Int

chunkEmpty :: [a] -> Bool

Chunked (Seq a) a

Defined in SimpleParser.Stream

Methods

consChunk :: a -> Seq a -> Seq a

unconsChunk :: Seq a -> Maybe (a, Seq a)

tokenToChunk :: a -> Seq a

tokensToChunk :: [a] -> Seq a

chunkToTokens :: Seq a -> [a]

chunkLength :: Seq a -> Int

chunkEmpty :: Seq a -> Bool

class Chunked (Chunk s) (Token s) => Stream s where

Stream lets us peel off tokens and chunks for parsing with explicit state passing.

Minimal complete definition

streamTake1, streamTakeN, streamTakeWhile

Associated Types

type Chunk s :: Type

type Token s :: Type

Methods

streamTake1 :: s -> Maybe (Token s, s)

streamTakeN :: Int -> s -> Maybe (Chunk s, s)

streamTakeWhile :: (Token s -> Bool) -> s -> (Chunk s, s)

streamDropN :: Int -> s -> Maybe (Int, s)

streamDropWhile :: (Token s -> Bool) -> s -> (Int, s)

Instances

Stream Text

Defined in SimpleParser.Stream

Associated Types

type Chunk Text

type Token Text

Methods

streamTake1 :: Text -> Maybe (Token Text, Text)

streamTakeN :: Int -> Text -> Maybe (Chunk Text, Text)

streamTakeWhile :: (Token Text -> Bool) -> Text -> (Chunk Text, Text)

streamDropN :: Int -> Text -> Maybe (Int, Text)

streamDropWhile :: (Token Text -> Bool) -> Text -> (Int, Text)

Stream [a]

Defined in SimpleParser.Stream

Associated Types

type Chunk [a]

type Token [a]

Methods

streamTake1 :: [a] -> Maybe (Token [a], [a])

streamTakeN :: Int -> [a] -> Maybe (Chunk [a], [a])

streamTakeWhile :: (Token [a] -> Bool) -> [a] -> (Chunk [a], [a])

streamDropN :: Int -> [a] -> Maybe (Int, [a])

streamDropWhile :: (Token [a] -> Bool) -> [a] -> (Int, [a])

Stream (Seq a)

Defined in SimpleParser.Stream

Associated Types

type Chunk (Seq a)

type Token (Seq a)

Methods

streamTake1 :: Seq a -> Maybe (Token (Seq a), Seq a)

streamTakeN :: Int -> Seq a -> Maybe (Chunk (Seq a), Seq a)

streamTakeWhile :: (Token (Seq a) -> Bool) -> Seq a -> (Chunk (Seq a), Seq a)

streamDropN :: Int -> Seq a -> Maybe (Int, Seq a)

streamDropWhile :: (Token (Seq a) -> Bool) -> Seq a -> (Int, Seq a)

Stream s => Stream (OffsetStream s)

Defined in SimpleParser.Stream

Associated Types

type Chunk (OffsetStream s)

type Token (OffsetStream s)

Methods

streamTake1 :: OffsetStream s -> Maybe (Token (OffsetStream s), OffsetStream s)

streamTakeN :: Int -> OffsetStream s -> Maybe (Chunk (OffsetStream s), OffsetStream s)

streamTakeWhile :: (Token (OffsetStream s) -> Bool) -> OffsetStream s -> (Chunk (OffsetStream s), OffsetStream s)

streamDropN :: Int -> OffsetStream s -> Maybe (Int, OffsetStream s)

streamDropWhile :: (Token (OffsetStream s) -> Bool) -> OffsetStream s -> (Int, OffsetStream s)

defaultStreamDropN :: Stream s => Int -> s -> Maybe (Int, s)

defaultStreamDropWhile :: Stream s => (Token s -> Bool) -> s -> (Int, s)

data OffsetStream s

Constructors

OffsetStream

Fields

• osOffset :: !Int
• osState :: !s

Instances

Functor OffsetStream

Defined in SimpleParser.Stream

Methods

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

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

Foldable OffsetStream

Defined in SimpleParser.Stream

Methods

fold :: Monoid m => OffsetStream m -> m

foldMap :: Monoid m => (a -> m) -> OffsetStream a -> m

foldMap' :: Monoid m => (a -> m) -> OffsetStream a -> m

foldr :: (a -> b -> b) -> b -> OffsetStream a -> b

foldr' :: (a -> b -> b) -> b -> OffsetStream a -> b

foldl :: (b -> a -> b) -> b -> OffsetStream a -> b

foldl' :: (b -> a -> b) -> b -> OffsetStream a -> b

foldr1 :: (a -> a -> a) -> OffsetStream a -> a

foldl1 :: (a -> a -> a) -> OffsetStream a -> a

toList :: OffsetStream a -> [a]

null :: OffsetStream a -> Bool

length :: OffsetStream a -> Int

elem :: Eq a => a -> OffsetStream a -> Bool

maximum :: Ord a => OffsetStream a -> a

minimum :: Ord a => OffsetStream a -> a

sum :: Num a => OffsetStream a -> a

product :: Num a => OffsetStream a -> a

Traversable OffsetStream

Defined in SimpleParser.Stream

Methods

traverse :: Applicative f => (a -> f b) -> OffsetStream a -> f (OffsetStream b)

sequenceA :: Applicative f => OffsetStream (f a) -> f (OffsetStream a)

mapM :: Monad m => (a -> m b) -> OffsetStream a -> m (OffsetStream b)

sequence :: Monad m => OffsetStream (m a) -> m (OffsetStream a)

Eq s => Eq (OffsetStream s)

Defined in SimpleParser.Stream

Methods

(==) :: OffsetStream s -> OffsetStream s -> Bool

(/=) :: OffsetStream s -> OffsetStream s -> Bool

Show s => Show (OffsetStream s)

Defined in SimpleParser.Stream

Methods

showsPrec :: Int -> OffsetStream s -> ShowS

show :: OffsetStream s -> String

showList :: [OffsetStream s] -> ShowS

Stream s => Stream (OffsetStream s)

Defined in SimpleParser.Stream

Associated Types

type Chunk (OffsetStream s)

type Token (OffsetStream s)

Methods

streamTake1 :: OffsetStream s -> Maybe (Token (OffsetStream s), OffsetStream s)

streamTakeN :: Int -> OffsetStream s -> Maybe (Chunk (OffsetStream s), OffsetStream s)

streamTakeWhile :: (Token (OffsetStream s) -> Bool) -> OffsetStream s -> (Chunk (OffsetStream s), OffsetStream s)

streamDropN :: Int -> OffsetStream s -> Maybe (Int, OffsetStream s)

streamDropWhile :: (Token (OffsetStream s) -> Bool) -> OffsetStream s -> (Int, OffsetStream s)

type Chunk (OffsetStream s)

Defined in SimpleParser.Stream

type Chunk (OffsetStream s) = Chunk s

type Token (OffsetStream s)

Defined in SimpleParser.Stream

type Token (OffsetStream s) = Token s

newOffsetStream :: s -> OffsetStream s