Safe Haskell	None
Language	Haskell2010

KMonad.Parsing

Description

A collection of general parsing definitions

Synopsis

type Parser a = Parsec Void Text a
type ParserT (m :: Type -> Type) a = ParsecT Void Text m a
newtype ParseError = ParseError {
- _parseError :: ParseErrorBundle Text Void
}
sc :: Parser ()
hsc :: Parser ()
lex :: Parser a -> Parser a
hlex :: Parser a -> Parser a
class (Stream s, MonadPlus m) => MonadParsec e s (m :: Type -> Type) | m -> e s where
- parseError :: ParseError s e -> m a
- label :: String -> m a -> m a
- hidden :: m a -> m a
- try :: m a -> m a
- lookAhead :: m a -> m a
- notFollowedBy :: m a -> m ()
- withRecovery :: (ParseError s e -> m a) -> m a -> m a
- observing :: m a -> m (Either (ParseError s e) a)
- eof :: m ()
- token :: (Token s -> Maybe a) -> Set (ErrorItem (Token s)) -> m a
- tokens :: (Tokens s -> Tokens s -> Bool) -> Tokens s -> m (Tokens s)
- takeWhileP :: Maybe String -> (Token s -> Bool) -> m (Tokens s)
- takeWhile1P :: Maybe String -> (Token s -> Bool) -> m (Tokens s)
- takeP :: Maybe String -> Int -> m (Tokens s)
- getParserState :: m (State s e)
- updateParserState :: (State s e -> State s e) -> m ()
- mkParsec :: (State s e -> Reply e s a) -> m a
data State s e = State {
- stateInput :: s
- stateOffset :: !Int
- statePosState :: PosState s
- stateParseErrors :: [ParseError s e]
}
some :: MonadPlus m => m a -> m [a]
many :: MonadPlus m => m a -> m [a]
noneOf :: (Foldable f, MonadParsec e s m) => f (Token s) -> m (Token s)
empty :: Alternative f => f a
(<|>) :: Alternative f => f a -> f a -> f a
optional :: Alternative f => f a -> f (Maybe a)
class (Ord (Token s), Ord (Tokens s)) => Stream s where
- type Token s
- type Tokens s
- tokenToChunk :: Proxy s -> Token s -> Tokens s
- tokensToChunk :: Proxy s -> [Token s] -> Tokens s
- chunkToTokens :: Proxy s -> Tokens s -> [Token s]
- chunkLength :: Proxy s -> Tokens s -> Int
- chunkEmpty :: Proxy s -> Tokens s -> Bool
- take1_ :: s -> Maybe (Token s, s)
- takeN_ :: Int -> s -> Maybe (Tokens s, s)
- takeWhile_ :: (Token s -> Bool) -> s -> (Tokens s, s)
count :: Monad m => Int -> m a -> m [a]
chunk :: MonadParsec e s m => Tokens s -> m (Tokens s)
match :: MonadParsec e s m => m a -> m (Tokens s, a)
failure :: MonadParsec e s m => Maybe (ErrorItem (Token s)) -> Set (ErrorItem (Token s)) -> m a
choice :: (Foldable f, Alternative m) => f (m a) -> m a
type Parsec e s = ParsecT e s Identity
data ParsecT e s (m :: Type -> Type) a
data ParseErrorBundle s e = ParseErrorBundle {
- bundleErrors :: NonEmpty (ParseError s e)
- bundlePosState :: PosState s
}
errorBundlePretty :: (VisualStream s, TraversableStream s, ShowErrorComponent e) => ParseErrorBundle s e -> String
data ErrorItem t
- = Tokens (NonEmpty t)
- | Label (NonEmpty Char)
- | EndOfInput
data ErrorFancy e
- = ErrorFail String
- | ErrorIndentation Ordering Pos Pos
- | ErrorCustom e
pattern FancyError :: Int -> Set (ErrorFancy e) -> ParseError s e
pattern TrivialError :: Int -> Maybe (ErrorItem (Token s)) -> Set (ErrorItem (Token s)) -> ParseError s e
class Ord a => ShowErrorComponent a where
- showErrorComponent :: a -> String
- errorComponentLen :: a -> Int
type family Tokens s
attachSourcePos :: (Traversable t, TraversableStream s) => (a -> Int) -> t a -> PosState s -> (t (a, SourcePos), PosState s)
errorBundlePrettyForGhcPreProcessors :: (VisualStream s, TraversableStream s, ShowErrorComponent e) => ParseErrorBundle s e -> String
errorBundlePrettyWith :: (VisualStream s, TraversableStream s) => (Maybe String -> SourcePos -> ParseError s e -> String) -> ParseErrorBundle s e -> String
errorOffset :: ParseError s e -> Int
mapParseError :: Ord e' => (e -> e') -> ParseError s e -> ParseError s e'
parseErrorPretty :: (VisualStream s, ShowErrorComponent e) => ParseError s e -> String
parseErrorTextPretty :: (VisualStream s, ShowErrorComponent e) => ParseError s e -> String
setErrorOffset :: Int -> ParseError s e -> ParseError s e
showErrorItem :: VisualStream s => Proxy s -> ErrorItem (Token s) -> String
newtype InvalidPosException = InvalidPosException Int
data Pos
data SourcePos = SourcePos {
- sourceName :: FilePath
- sourceLine :: !Pos
- sourceColumn :: !Pos
}
defaultTabWidth :: Pos
initialPos :: FilePath -> SourcePos
mkPos :: Int -> Pos
pos1 :: Pos
sourcePosPretty :: SourcePos -> String
unPos :: Pos -> Int
data PosState s = PosState {
- pstateInput :: s
- pstateOffset :: !Int
- pstateSourcePos :: !SourcePos
- pstateTabWidth :: Pos
- pstateLinePrefix :: String
}
newtype NoShareInput a = NoShareInput {
- unNoShareInput :: a
}
newtype ShareInput a = ShareInput {
- unShareInput :: a
}
type family Token s
class Stream s => TraversableStream s where
- reachOffset :: Int -> PosState s -> (Maybe String, PosState s)
- reachOffsetNoLine :: Int -> PosState s -> PosState s
class Stream s => VisualStream s where
- showTokens :: Proxy s -> NonEmpty (Token s) -> String
- tokensLength :: Proxy s -> NonEmpty (Token s) -> Int
(<?>) :: MonadParsec e s m => m a -> String -> m a
runParserT' :: Monad m => ParsecT e s m a -> State s e -> m (State s e, Either (ParseErrorBundle s e) a)
anySingle :: MonadParsec e s m => m (Token s)
anySingleBut :: MonadParsec e s m => Token s -> m (Token s)
atEnd :: MonadParsec e s m => m Bool
customFailure :: MonadParsec e s m => e -> m a
fancyFailure :: MonadParsec e s m => Set (ErrorFancy e) -> m a
getInput :: MonadParsec e s m => m s
getOffset :: MonadParsec e s m => m Int
getSourcePos :: (TraversableStream s, MonadParsec e s m) => m SourcePos
oneOf :: (Foldable f, MonadParsec e s m) => f (Token s) -> m (Token s)
parse :: Parsec e s a -> String -> s -> Either (ParseErrorBundle s e) a
parseMaybe :: (Ord e, Stream s) => Parsec e s a -> s -> Maybe a
parseTest :: (ShowErrorComponent e, Show a, VisualStream s, TraversableStream s) => Parsec e s a -> s -> IO ()
region :: MonadParsec e s m => (ParseError s e -> ParseError s e) -> m a -> m a
registerFailure :: MonadParsec e s m => Maybe (ErrorItem (Token s)) -> Set (ErrorItem (Token s)) -> m ()
registerFancyFailure :: MonadParsec e s m => Set (ErrorFancy e) -> m ()
registerParseError :: MonadParsec e s m => ParseError s e -> m ()
runParser :: Parsec e s a -> String -> s -> Either (ParseErrorBundle s e) a
runParser' :: Parsec e s a -> State s e -> (State s e, Either (ParseErrorBundle s e) a)
runParserT :: Monad m => ParsecT e s m a -> String -> s -> m (Either (ParseErrorBundle s e) a)
satisfy :: MonadParsec e s m => (Token s -> Bool) -> m (Token s)
setInput :: MonadParsec e s m => s -> m ()
setOffset :: MonadParsec e s m => Int -> m ()
setParserState :: MonadParsec e s m => State s e -> m ()
single :: MonadParsec e s m => Token s -> m (Token s)
takeRest :: MonadParsec e s m => m (Tokens s)
unexpected :: MonadParsec e s m => ErrorItem (Token s) -> m a
between :: Applicative m => m open -> m close -> m a -> m a
eitherP :: Alternative m => m a -> m b -> m (Either a b)
option :: Alternative m => a -> m a -> m a
count' :: MonadPlus m => Int -> Int -> m a -> m [a]
endBy :: MonadPlus m => m a -> m sep -> m [a]
endBy1 :: MonadPlus m => m a -> m sep -> m [a]
manyTill :: MonadPlus m => m a -> m end -> m [a]
manyTill_ :: MonadPlus m => m a -> m end -> m ([a], end)
sepBy :: MonadPlus m => m a -> m sep -> m [a]
sepBy1 :: MonadPlus m => m a -> m sep -> m [a]
sepEndBy :: MonadPlus m => m a -> m sep -> m [a]
sepEndBy1 :: MonadPlus m => m a -> m sep -> m [a]
skipCount :: Monad m => Int -> m a -> m ()
skipMany :: MonadPlus m => m a -> m ()
skipManyTill :: MonadPlus m => m a -> m end -> m end
skipSome :: MonadPlus m => m a -> m ()
skipSomeTill :: MonadPlus m => m a -> m end -> m end
someTill :: MonadPlus m => m a -> m end -> m [a]
someTill_ :: MonadPlus m => m a -> m end -> m ([a], end)
space1 :: (MonadParsec e s m, Token s ~ Char) => m ()
string :: MonadParsec e s m => Tokens s -> m (Tokens s)
string' :: (MonadParsec e s m, FoldCase (Tokens s)) => Tokens s -> m (Tokens s)
alphaNumChar :: (MonadParsec e s m, Token s ~ Char) => m (Token s)
asciiChar :: (MonadParsec e s m, Token s ~ Char) => m (Token s)
binDigitChar :: (MonadParsec e s m, Token s ~ Char) => m (Token s)
categoryName :: GeneralCategory -> String
char :: (MonadParsec e s m, Token s ~ Char) => Token s -> m (Token s)
char' :: (MonadParsec e s m, Token s ~ Char) => Token s -> m (Token s)
charCategory :: (MonadParsec e s m, Token s ~ Char) => GeneralCategory -> m (Token s)
controlChar :: (MonadParsec e s m, Token s ~ Char) => m (Token s)
crlf :: (MonadParsec e s m, Token s ~ Char) => m (Tokens s)
digitChar :: (MonadParsec e s m, Token s ~ Char) => m (Token s)
eol :: (MonadParsec e s m, Token s ~ Char) => m (Tokens s)
hexDigitChar :: (MonadParsec e s m, Token s ~ Char) => m (Token s)
hspace :: (MonadParsec e s m, Token s ~ Char) => m ()
hspace1 :: (MonadParsec e s m, Token s ~ Char) => m ()
latin1Char :: (MonadParsec e s m, Token s ~ Char) => m (Token s)
letterChar :: (MonadParsec e s m, Token s ~ Char) => m (Token s)
lowerChar :: (MonadParsec e s m, Token s ~ Char) => m (Token s)
markChar :: (MonadParsec e s m, Token s ~ Char) => m (Token s)
newline :: (MonadParsec e s m, Token s ~ Char) => m (Token s)
numberChar :: (MonadParsec e s m, Token s ~ Char) => m (Token s)
octDigitChar :: (MonadParsec e s m, Token s ~ Char) => m (Token s)
printChar :: (MonadParsec e s m, Token s ~ Char) => m (Token s)
punctuationChar :: (MonadParsec e s m, Token s ~ Char) => m (Token s)
separatorChar :: (MonadParsec e s m, Token s ~ Char) => m (Token s)
space :: (MonadParsec e s m, Token s ~ Char) => m ()
spaceChar :: (MonadParsec e s m, Token s ~ Char) => m (Token s)
symbolChar :: (MonadParsec e s m, Token s ~ Char) => m (Token s)
tab :: (MonadParsec e s m, Token s ~ Char) => m (Token s)
upperChar :: (MonadParsec e s m, Token s ~ Char) => m (Token s)

Documentation

type Parser a = Parsec Void Text a Source #

Parsec type specified down to Void Text

type ParserT (m :: Type -> Type) a = ParsecT Void Text m a Source #

newtype ParseError Source #

Parsec parse errors under Void Text with an Exception instance

Constructors

ParseError
Fields _parseError :: ParseErrorBundle Text Void

Instances

Instances details

Exception ParseError Source #
Instance details Defined in KMonad.Parsing Methods toException :: ParseError -> SomeException # fromException :: SomeException -> Maybe ParseError # displayException :: ParseError -> String # backtraceDesired :: ParseError -> Bool #
Show ParseError Source #
Instance details Defined in KMonad.Parsing Methods showsPrec :: Int -> ParseError -> ShowS show :: ParseError -> String # showList :: [ParseError] -> ShowS
Eq ParseError Source #
Instance details Defined in KMonad.Parsing Methods (==) :: ParseError -> ParseError -> Bool # (/=) :: ParseError -> ParseError -> Bool #

sc :: Parser () Source #

Full space consumption

hsc :: Parser () Source #

Horizontal space consumption

lex :: Parser a -> Parser a Source #

Full space lexeme

hlex :: Parser a -> Parser a Source #

Horizontal space lexeme

class (Stream s, MonadPlus m) => MonadParsec e s (m :: Type -> Type) | m -> e s where #

Minimal complete definition

parseError, label, try, lookAhead, notFollowedBy, withRecovery, observing, eof, token, tokens, takeWhileP, takeWhile1P, takeP, getParserState, updateParserState, mkParsec

Methods

parseError :: ParseError s e -> m a #

label :: String -> m a -> m a #

hidden :: m a -> m a #

try :: m a -> m a #

lookAhead :: m a -> m a #

notFollowedBy :: m a -> m () #

withRecovery :: (ParseError s e -> m a) -> m a -> m a #

observing :: m a -> m (Either (ParseError s e) a) #

eof :: m () #

token :: (Token s -> Maybe a) -> Set (ErrorItem (Token s)) -> m a #

tokens :: (Tokens s -> Tokens s -> Bool) -> Tokens s -> m (Tokens s) #

takeWhileP :: Maybe String -> (Token s -> Bool) -> m (Tokens s) #

takeWhile1P :: Maybe String -> (Token s -> Bool) -> m (Tokens s) #

takeP :: Maybe String -> Int -> m (Tokens s) #

getParserState :: m (State s e) #

updateParserState :: (State s e -> State s e) -> m () #

mkParsec :: (State s e -> Reply e s a) -> m a #

Instances

Instances details

MonadParsec e s m => MonadParsec e s (IdentityT m)
Instance details Defined in Text.Megaparsec.Class Methods parseError :: ParseError s e -> IdentityT m a # label :: String -> IdentityT m a -> IdentityT m a # hidden :: IdentityT m a -> IdentityT m a # try :: IdentityT m a -> IdentityT m a # lookAhead :: IdentityT m a -> IdentityT m a # notFollowedBy :: IdentityT m a -> IdentityT m () # withRecovery :: (ParseError s e -> IdentityT m a) -> IdentityT m a -> IdentityT m a # observing :: IdentityT m a -> IdentityT m (Either (ParseError s e) a) # eof :: IdentityT m () # token :: (Token s -> Maybe a) -> Set (ErrorItem (Token s)) -> IdentityT m a # tokens :: (Tokens s -> Tokens s -> Bool) -> Tokens s -> IdentityT m (Tokens s) # takeWhileP :: Maybe String -> (Token s -> Bool) -> IdentityT m (Tokens s) # takeWhile1P :: Maybe String -> (Token s -> Bool) -> IdentityT m (Tokens s) # takeP :: Maybe String -> Int -> IdentityT m (Tokens s) # getParserState :: IdentityT m (State s e) # updateParserState :: (State s e -> State s e) -> IdentityT m () # mkParsec :: (State s e -> Reply e s a) -> IdentityT m a #
MonadParsec e s m => MonadParsec e s (ReaderT r m)
Instance details Defined in Text.Megaparsec.Class Methods parseError :: ParseError s e -> ReaderT r m a # label :: String -> ReaderT r m a -> ReaderT r m a # hidden :: ReaderT r m a -> ReaderT r m a # try :: ReaderT r m a -> ReaderT r m a # lookAhead :: ReaderT r m a -> ReaderT r m a # notFollowedBy :: ReaderT r m a -> ReaderT r m () # withRecovery :: (ParseError s e -> ReaderT r m a) -> ReaderT r m a -> ReaderT r m a # observing :: ReaderT r m a -> ReaderT r m (Either (ParseError s e) a) # eof :: ReaderT r m () # token :: (Token s -> Maybe a) -> Set (ErrorItem (Token s)) -> ReaderT r m a # tokens :: (Tokens s -> Tokens s -> Bool) -> Tokens s -> ReaderT r m (Tokens s) # takeWhileP :: Maybe String -> (Token s -> Bool) -> ReaderT r m (Tokens s) # takeWhile1P :: Maybe String -> (Token s -> Bool) -> ReaderT r m (Tokens s) # takeP :: Maybe String -> Int -> ReaderT r m (Tokens s) # getParserState :: ReaderT r m (State s e) # updateParserState :: (State s e -> State s e) -> ReaderT r m () # mkParsec :: (State s e -> Reply e s a) -> ReaderT r m a #
MonadParsec e s m => MonadParsec e s (StateT st m)
Instance details Defined in Text.Megaparsec.Class Methods parseError :: ParseError s e -> StateT st m a # label :: String -> StateT st m a -> StateT st m a # hidden :: StateT st m a -> StateT st m a # try :: StateT st m a -> StateT st m a # lookAhead :: StateT st m a -> StateT st m a # notFollowedBy :: StateT st m a -> StateT st m () # withRecovery :: (ParseError s e -> StateT st m a) -> StateT st m a -> StateT st m a # observing :: StateT st m a -> StateT st m (Either (ParseError s e) a) # eof :: StateT st m () # token :: (Token s -> Maybe a) -> Set (ErrorItem (Token s)) -> StateT st m a # tokens :: (Tokens s -> Tokens s -> Bool) -> Tokens s -> StateT st m (Tokens s) # takeWhileP :: Maybe String -> (Token s -> Bool) -> StateT st m (Tokens s) # takeWhile1P :: Maybe String -> (Token s -> Bool) -> StateT st m (Tokens s) # takeP :: Maybe String -> Int -> StateT st m (Tokens s) # getParserState :: StateT st m (State s e) # updateParserState :: (State s e -> State s e) -> StateT st m () # mkParsec :: (State s e -> Reply e s a) -> StateT st m a #
MonadParsec e s m => MonadParsec e s (StateT st m)
Instance details Defined in Text.Megaparsec.Class Methods parseError :: ParseError s e -> StateT st m a # label :: String -> StateT st m a -> StateT st m a # hidden :: StateT st m a -> StateT st m a # try :: StateT st m a -> StateT st m a # lookAhead :: StateT st m a -> StateT st m a # notFollowedBy :: StateT st m a -> StateT st m () # withRecovery :: (ParseError s e -> StateT st m a) -> StateT st m a -> StateT st m a # observing :: StateT st m a -> StateT st m (Either (ParseError s e) a) # eof :: StateT st m () # token :: (Token s -> Maybe a) -> Set (ErrorItem (Token s)) -> StateT st m a # tokens :: (Tokens s -> Tokens s -> Bool) -> Tokens s -> StateT st m (Tokens s) # takeWhileP :: Maybe String -> (Token s -> Bool) -> StateT st m (Tokens s) # takeWhile1P :: Maybe String -> (Token s -> Bool) -> StateT st m (Tokens s) # takeP :: Maybe String -> Int -> StateT st m (Tokens s) # getParserState :: StateT st m (State s e) # updateParserState :: (State s e -> State s e) -> StateT st m () # mkParsec :: (State s e -> Reply e s a) -> StateT st m a #
(Monoid w, MonadParsec e s m) => MonadParsec e s (WriterT w m)
Instance details Defined in Text.Megaparsec.Class Methods parseError :: ParseError s e -> WriterT w m a # label :: String -> WriterT w m a -> WriterT w m a # hidden :: WriterT w m a -> WriterT w m a # try :: WriterT w m a -> WriterT w m a # lookAhead :: WriterT w m a -> WriterT w m a # notFollowedBy :: WriterT w m a -> WriterT w m () # withRecovery :: (ParseError s e -> WriterT w m a) -> WriterT w m a -> WriterT w m a # observing :: WriterT w m a -> WriterT w m (Either (ParseError s e) a) # eof :: WriterT w m () # token :: (Token s -> Maybe a) -> Set (ErrorItem (Token s)) -> WriterT w m a # tokens :: (Tokens s -> Tokens s -> Bool) -> Tokens s -> WriterT w m (Tokens s) # takeWhileP :: Maybe String -> (Token s -> Bool) -> WriterT w m (Tokens s) # takeWhile1P :: Maybe String -> (Token s -> Bool) -> WriterT w m (Tokens s) # takeP :: Maybe String -> Int -> WriterT w m (Tokens s) # getParserState :: WriterT w m (State s e) # updateParserState :: (State s e -> State s e) -> WriterT w m () # mkParsec :: (State s e -> Reply e s a) -> WriterT w m a #
(Monoid w, MonadParsec e s m) => MonadParsec e s (WriterT w m)
Instance details Defined in Text.Megaparsec.Class Methods parseError :: ParseError s e -> WriterT w m a # label :: String -> WriterT w m a -> WriterT w m a # hidden :: WriterT w m a -> WriterT w m a # try :: WriterT w m a -> WriterT w m a # lookAhead :: WriterT w m a -> WriterT w m a # notFollowedBy :: WriterT w m a -> WriterT w m () # withRecovery :: (ParseError s e -> WriterT w m a) -> WriterT w m a -> WriterT w m a # observing :: WriterT w m a -> WriterT w m (Either (ParseError s e) a) # eof :: WriterT w m () # token :: (Token s -> Maybe a) -> Set (ErrorItem (Token s)) -> WriterT w m a # tokens :: (Tokens s -> Tokens s -> Bool) -> Tokens s -> WriterT w m (Tokens s) # takeWhileP :: Maybe String -> (Token s -> Bool) -> WriterT w m (Tokens s) # takeWhile1P :: Maybe String -> (Token s -> Bool) -> WriterT w m (Tokens s) # takeP :: Maybe String -> Int -> WriterT w m (Tokens s) # getParserState :: WriterT w m (State s e) # updateParserState :: (State s e -> State s e) -> WriterT w m () # mkParsec :: (State s e -> Reply e s a) -> WriterT w m a #
(Ord e, Stream s) => MonadParsec e s (ParsecT e s m)
Instance details Defined in Text.Megaparsec.Internal Methods parseError :: ParseError s e -> ParsecT e s m a # label :: String -> ParsecT e s m a -> ParsecT e s m a # hidden :: ParsecT e s m a -> ParsecT e s m a # try :: ParsecT e s m a -> ParsecT e s m a # lookAhead :: ParsecT e s m a -> ParsecT e s m a # notFollowedBy :: ParsecT e s m a -> ParsecT e s m () # withRecovery :: (ParseError s e -> ParsecT e s m a) -> ParsecT e s m a -> ParsecT e s m a # observing :: ParsecT e s m a -> ParsecT e s m (Either (ParseError s e) a) # eof :: ParsecT e s m () # token :: (Token s -> Maybe a) -> Set (ErrorItem (Token s)) -> ParsecT e s m a # tokens :: (Tokens s -> Tokens s -> Bool) -> Tokens s -> ParsecT e s m (Tokens s) # takeWhileP :: Maybe String -> (Token s -> Bool) -> ParsecT e s m (Tokens s) # takeWhile1P :: Maybe String -> (Token s -> Bool) -> ParsecT e s m (Tokens s) # takeP :: Maybe String -> Int -> ParsecT e s m (Tokens s) # getParserState :: ParsecT e s m (State s e) # updateParserState :: (State s e -> State s e) -> ParsecT e s m () # mkParsec :: (State s e -> Reply e s a) -> ParsecT e s m a #
(Monoid w, MonadParsec e s m) => MonadParsec e s (RWST r w st m)
Instance details Defined in Text.Megaparsec.Class Methods parseError :: ParseError s e -> RWST r w st m a # label :: String -> RWST r w st m a -> RWST r w st m a # hidden :: RWST r w st m a -> RWST r w st m a # try :: RWST r w st m a -> RWST r w st m a # lookAhead :: RWST r w st m a -> RWST r w st m a # notFollowedBy :: RWST r w st m a -> RWST r w st m () # withRecovery :: (ParseError s e -> RWST r w st m a) -> RWST r w st m a -> RWST r w st m a # observing :: RWST r w st m a -> RWST r w st m (Either (ParseError s e) a) # eof :: RWST r w st m () # token :: (Token s -> Maybe a) -> Set (ErrorItem (Token s)) -> RWST r w st m a # tokens :: (Tokens s -> Tokens s -> Bool) -> Tokens s -> RWST r w st m (Tokens s) # takeWhileP :: Maybe String -> (Token s -> Bool) -> RWST r w st m (Tokens s) # takeWhile1P :: Maybe String -> (Token s -> Bool) -> RWST r w st m (Tokens s) # takeP :: Maybe String -> Int -> RWST r w st m (Tokens s) # getParserState :: RWST r w st m (State s e) # updateParserState :: (State s e -> State s e) -> RWST r w st m () # mkParsec :: (State s e -> Reply e s a) -> RWST r w st m a #
(Monoid w, MonadParsec e s m) => MonadParsec e s (RWST r w st m)
Instance details Defined in Text.Megaparsec.Class Methods parseError :: ParseError s e -> RWST r w st m a # label :: String -> RWST r w st m a -> RWST r w st m a # hidden :: RWST r w st m a -> RWST r w st m a # try :: RWST r w st m a -> RWST r w st m a # lookAhead :: RWST r w st m a -> RWST r w st m a # notFollowedBy :: RWST r w st m a -> RWST r w st m () # withRecovery :: (ParseError s e -> RWST r w st m a) -> RWST r w st m a -> RWST r w st m a # observing :: RWST r w st m a -> RWST r w st m (Either (ParseError s e) a) # eof :: RWST r w st m () # token :: (Token s -> Maybe a) -> Set (ErrorItem (Token s)) -> RWST r w st m a # tokens :: (Tokens s -> Tokens s -> Bool) -> Tokens s -> RWST r w st m (Tokens s) # takeWhileP :: Maybe String -> (Token s -> Bool) -> RWST r w st m (Tokens s) # takeWhile1P :: Maybe String -> (Token s -> Bool) -> RWST r w st m (Tokens s) # takeP :: Maybe String -> Int -> RWST r w st m (Tokens s) # getParserState :: RWST r w st m (State s e) # updateParserState :: (State s e -> State s e) -> RWST r w st m () # mkParsec :: (State s e -> Reply e s a) -> RWST r w st m a #

data State s e #

Constructors

State
Fields stateInput :: s stateOffset :: !Int statePosState :: PosState s stateParseErrors :: [ParseError s e]

Instances

Instances details

(NFData s, NFData (ParseError s e)) => NFData (State s e)

Instance details

Defined in Text.Megaparsec.State

Methods

rnf :: State s e -> () #

(Data e, Data (ParseError s e), Data s) => Data (State s e)

Instance details

Defined in Text.Megaparsec.State

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> State s e -> c (State s e) #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (State s e) #

toConstr :: State s e -> Constr #

dataTypeOf :: State s e -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (State s e)) #

dataCast2 :: Typeable t => (forall d e0. (Data d, Data e0) => c (t d e0)) -> Maybe (c (State s e)) #

gmapT :: (forall b. Data b => b -> b) -> State s e -> State s e #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> State s e -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> State s e -> r #

gmapQ :: (forall d. Data d => d -> u) -> State s e -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> State s e -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> State s e -> m (State s e) #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> State s e -> m (State s e) #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> State s e -> m (State s e) #

Generic (State s e)

Instance details

Defined in Text.Megaparsec.State

Associated Types

type Rep (State s e)

Instance details

Defined in Text.Megaparsec.State

type Rep (State s e) = D1 ('MetaData "State" "Text.Megaparsec.State" "megaparsec-9.7.0-KzfOZYJ4Q6GKdhxtoSNEi" 'False) (C1 ('MetaCons "State" 'PrefixI 'True) ((S1 ('MetaSel ('Just "stateInput") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 s) :*: S1 ('MetaSel ('Just "stateOffset") 'SourceUnpack 'SourceStrict 'DecidedUnpack) (Rec0 Int)) :*: (S1 ('MetaSel ('Just "statePosState") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PosState s)) :*: S1 ('MetaSel ('Just "stateParseErrors") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [ParseError s e]))))

Methods

from :: State s e -> Rep (State s e) x

to :: Rep (State s e) x -> State s e

(Show (ParseError s e), Show s) => Show (State s e)

Instance details

Defined in Text.Megaparsec.State

Methods

showsPrec :: Int -> State s e -> ShowS

show :: State s e -> String #

showList :: [State s e] -> ShowS

(Eq (ParseError s e), Eq s) => Eq (State s e)

Instance details

Defined in Text.Megaparsec.State

Methods

(==) :: State s e -> State s e -> Bool #

(/=) :: State s e -> State s e -> Bool #

type Rep (State s e)

Instance details

Defined in Text.Megaparsec.State

type Rep (State s e) = D1 ('MetaData "State" "Text.Megaparsec.State" "megaparsec-9.7.0-KzfOZYJ4Q6GKdhxtoSNEi" 'False) (C1 ('MetaCons "State" 'PrefixI 'True) ((S1 ('MetaSel ('Just "stateInput") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 s) :*: S1 ('MetaSel ('Just "stateOffset") 'SourceUnpack 'SourceStrict 'DecidedUnpack) (Rec0 Int)) :*: (S1 ('MetaSel ('Just "statePosState") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PosState s)) :*: S1 ('MetaSel ('Just "stateParseErrors") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [ParseError s e]))))

some :: MonadPlus m => m a -> m [a] #

many :: MonadPlus m => m a -> m [a] #

noneOf :: (Foldable f, MonadParsec e s m) => f (Token s) -> m (Token s) #

empty :: Alternative f => f a #

(<|>) :: Alternative f => f a -> f a -> f a #

optional :: Alternative f => f a -> f (Maybe a) #

class (Ord (Token s), Ord (Tokens s)) => Stream s where #

Minimal complete definition

tokensToChunk, chunkToTokens, chunkLength, take1_, takeN_, takeWhile_

Associated Types

type Token s #

type Tokens s #

Methods

tokenToChunk :: Proxy s -> Token s -> Tokens s #

tokensToChunk :: Proxy s -> [Token s] -> Tokens s #

chunkToTokens :: Proxy s -> Tokens s -> [Token s] #

chunkLength :: Proxy s -> Tokens s -> Int #

chunkEmpty :: Proxy s -> Tokens s -> Bool #

take1_ :: s -> Maybe (Token s, s) #

takeN_ :: Int -> s -> Maybe (Tokens s, s) #

takeWhile_ :: (Token s -> Bool) -> s -> (Tokens s, s) #

Instances

Instances details

Stream ByteString

Instance details

Defined in Text.Megaparsec.Stream

Associated Types

type Token ByteString
Instance details Defined in Text.Megaparsec.Stream type Token ByteString = Token (ShareInput ByteString)
type Tokens ByteString
Instance details Defined in Text.Megaparsec.Stream type Tokens ByteString = Tokens (ShareInput ByteString)

Methods

tokenToChunk :: Proxy ByteString -> Token ByteString -> Tokens ByteString #

tokensToChunk :: Proxy ByteString -> [Token ByteString] -> Tokens ByteString #

chunkToTokens :: Proxy ByteString -> Tokens ByteString -> [Token ByteString] #

chunkLength :: Proxy ByteString -> Tokens ByteString -> Int #

chunkEmpty :: Proxy ByteString -> Tokens ByteString -> Bool #

take1_ :: ByteString -> Maybe (Token ByteString, ByteString) #

takeN_ :: Int -> ByteString -> Maybe (Tokens ByteString, ByteString) #

takeWhile_ :: (Token ByteString -> Bool) -> ByteString -> (Tokens ByteString, ByteString) #

Stream ByteString

Instance details

Defined in Text.Megaparsec.Stream

Associated Types

type Token ByteString
Instance details Defined in Text.Megaparsec.Stream type Token ByteString = Token (ShareInput ByteString)
type Tokens ByteString
Instance details Defined in Text.Megaparsec.Stream type Tokens ByteString = Tokens (ShareInput ByteString)

Methods

tokenToChunk :: Proxy ByteString -> Token ByteString -> Tokens ByteString #

tokensToChunk :: Proxy ByteString -> [Token ByteString] -> Tokens ByteString #

chunkToTokens :: Proxy ByteString -> Tokens ByteString -> [Token ByteString] #

chunkLength :: Proxy ByteString -> Tokens ByteString -> Int #

chunkEmpty :: Proxy ByteString -> Tokens ByteString -> Bool #

take1_ :: ByteString -> Maybe (Token ByteString, ByteString) #

takeN_ :: Int -> ByteString -> Maybe (Tokens ByteString, ByteString) #

takeWhile_ :: (Token ByteString -> Bool) -> ByteString -> (Tokens ByteString, ByteString) #

Stream Text

Instance details

Defined in Text.Megaparsec.Stream

Associated Types

type Token Text
Instance details Defined in Text.Megaparsec.Stream type Token Text = Token (ShareInput Text)
type Tokens Text
Instance details Defined in Text.Megaparsec.Stream type Tokens Text = Tokens (ShareInput Text)

Methods

tokenToChunk :: Proxy Text -> Token Text -> Tokens Text #

tokensToChunk :: Proxy Text -> [Token Text] -> Tokens Text #

chunkToTokens :: Proxy Text -> Tokens Text -> [Token Text] #

chunkLength :: Proxy Text -> Tokens Text -> Int #

chunkEmpty :: Proxy Text -> Tokens Text -> Bool #

take1_ :: Text -> Maybe (Token Text, Text) #

takeN_ :: Int -> Text -> Maybe (Tokens Text, Text) #

takeWhile_ :: (Token Text -> Bool) -> Text -> (Tokens Text, Text) #

Stream Text

Instance details

Defined in Text.Megaparsec.Stream

Associated Types

type Token Text
Instance details Defined in Text.Megaparsec.Stream type Token Text = Token (ShareInput Text)
type Tokens Text
Instance details Defined in Text.Megaparsec.Stream type Tokens Text = Tokens (ShareInput Text)

Methods

tokenToChunk :: Proxy Text -> Token Text -> Tokens Text #

tokensToChunk :: Proxy Text -> [Token Text] -> Tokens Text #

chunkToTokens :: Proxy Text -> Tokens Text -> [Token Text] #

chunkLength :: Proxy Text -> Tokens Text -> Int #

chunkEmpty :: Proxy Text -> Tokens Text -> Bool #

take1_ :: Text -> Maybe (Token Text, Text) #

takeN_ :: Int -> Text -> Maybe (Tokens Text, Text) #

takeWhile_ :: (Token Text -> Bool) -> Text -> (Tokens Text, Text) #

Ord a => Stream (Seq a)

Instance details

Defined in Text.Megaparsec.Stream

Associated Types

type Token (Seq a)
Instance details Defined in Text.Megaparsec.Stream type Token (Seq a) = a
type Tokens (Seq a)
Instance details Defined in Text.Megaparsec.Stream type Tokens (Seq a) = Seq a

Methods

tokenToChunk :: Proxy (Seq a) -> Token (Seq a) -> Tokens (Seq a) #

tokensToChunk :: Proxy (Seq a) -> [Token (Seq a)] -> Tokens (Seq a) #

chunkToTokens :: Proxy (Seq a) -> Tokens (Seq a) -> [Token (Seq a)] #

chunkLength :: Proxy (Seq a) -> Tokens (Seq a) -> Int #

chunkEmpty :: Proxy (Seq a) -> Tokens (Seq a) -> Bool #

take1_ :: Seq a -> Maybe (Token (Seq a), Seq a) #

takeN_ :: Int -> Seq a -> Maybe (Tokens (Seq a), Seq a) #

takeWhile_ :: (Token (Seq a) -> Bool) -> Seq a -> (Tokens (Seq a), Seq a) #

Stream (NoShareInput ByteString)

Instance details

Defined in Text.Megaparsec.Stream

Associated Types

type Token (NoShareInput ByteString)
Instance details Defined in Text.Megaparsec.Stream type Token (NoShareInput ByteString) = Word8
type Tokens (NoShareInput ByteString)
Instance details Defined in Text.Megaparsec.Stream type Tokens (NoShareInput ByteString) = ByteString

Methods

tokenToChunk :: Proxy (NoShareInput ByteString) -> Token (NoShareInput ByteString) -> Tokens (NoShareInput ByteString) #

tokensToChunk :: Proxy (NoShareInput ByteString) -> [Token (NoShareInput ByteString)] -> Tokens (NoShareInput ByteString) #

chunkToTokens :: Proxy (NoShareInput ByteString) -> Tokens (NoShareInput ByteString) -> [Token (NoShareInput ByteString)] #

chunkLength :: Proxy (NoShareInput ByteString) -> Tokens (NoShareInput ByteString) -> Int #

chunkEmpty :: Proxy (NoShareInput ByteString) -> Tokens (NoShareInput ByteString) -> Bool #

take1_ :: NoShareInput ByteString -> Maybe (Token (NoShareInput ByteString), NoShareInput ByteString) #

takeN_ :: Int -> NoShareInput ByteString -> Maybe (Tokens (NoShareInput ByteString), NoShareInput ByteString) #

takeWhile_ :: (Token (NoShareInput ByteString) -> Bool) -> NoShareInput ByteString -> (Tokens (NoShareInput ByteString), NoShareInput ByteString) #

Stream (NoShareInput ByteString)

Instance details

Defined in Text.Megaparsec.Stream

Associated Types

type Token (NoShareInput ByteString)
Instance details Defined in Text.Megaparsec.Stream type Token (NoShareInput ByteString) = Word8
type Tokens (NoShareInput ByteString)
Instance details Defined in Text.Megaparsec.Stream type Tokens (NoShareInput ByteString) = ByteString

Methods

tokenToChunk :: Proxy (NoShareInput ByteString) -> Token (NoShareInput ByteString) -> Tokens (NoShareInput ByteString) #

tokensToChunk :: Proxy (NoShareInput ByteString) -> [Token (NoShareInput ByteString)] -> Tokens (NoShareInput ByteString) #

chunkToTokens :: Proxy (NoShareInput ByteString) -> Tokens (NoShareInput ByteString) -> [Token (NoShareInput ByteString)] #

chunkLength :: Proxy (NoShareInput ByteString) -> Tokens (NoShareInput ByteString) -> Int #

chunkEmpty :: Proxy (NoShareInput ByteString) -> Tokens (NoShareInput ByteString) -> Bool #

take1_ :: NoShareInput ByteString -> Maybe (Token (NoShareInput ByteString), NoShareInput ByteString) #

takeN_ :: Int -> NoShareInput ByteString -> Maybe (Tokens (NoShareInput ByteString), NoShareInput ByteString) #

takeWhile_ :: (Token (NoShareInput ByteString) -> Bool) -> NoShareInput ByteString -> (Tokens (NoShareInput ByteString), NoShareInput ByteString) #

Stream (NoShareInput Text)

Instance details

Defined in Text.Megaparsec.Stream

Associated Types

type Token (NoShareInput Text)
Instance details Defined in Text.Megaparsec.Stream type Token (NoShareInput Text) = Char
type Tokens (NoShareInput Text)
Instance details Defined in Text.Megaparsec.Stream type Tokens (NoShareInput Text) = Text

Methods

tokenToChunk :: Proxy (NoShareInput Text) -> Token (NoShareInput Text) -> Tokens (NoShareInput Text) #

tokensToChunk :: Proxy (NoShareInput Text) -> [Token (NoShareInput Text)] -> Tokens (NoShareInput Text) #

chunkToTokens :: Proxy (NoShareInput Text) -> Tokens (NoShareInput Text) -> [Token (NoShareInput Text)] #

chunkLength :: Proxy (NoShareInput Text) -> Tokens (NoShareInput Text) -> Int #

chunkEmpty :: Proxy (NoShareInput Text) -> Tokens (NoShareInput Text) -> Bool #

take1_ :: NoShareInput Text -> Maybe (Token (NoShareInput Text), NoShareInput Text) #

takeN_ :: Int -> NoShareInput Text -> Maybe (Tokens (NoShareInput Text), NoShareInput Text) #

takeWhile_ :: (Token (NoShareInput Text) -> Bool) -> NoShareInput Text -> (Tokens (NoShareInput Text), NoShareInput Text) #

Stream (NoShareInput Text)

Instance details

Defined in Text.Megaparsec.Stream

Associated Types

type Token (NoShareInput Text)
Instance details Defined in Text.Megaparsec.Stream type Token (NoShareInput Text) = Char
type Tokens (NoShareInput Text)
Instance details Defined in Text.Megaparsec.Stream type Tokens (NoShareInput Text) = Text

Methods

tokenToChunk :: Proxy (NoShareInput Text) -> Token (NoShareInput Text) -> Tokens (NoShareInput Text) #

tokensToChunk :: Proxy (NoShareInput Text) -> [Token (NoShareInput Text)] -> Tokens (NoShareInput Text) #

chunkToTokens :: Proxy (NoShareInput Text) -> Tokens (NoShareInput Text) -> [Token (NoShareInput Text)] #

chunkLength :: Proxy (NoShareInput Text) -> Tokens (NoShareInput Text) -> Int #

chunkEmpty :: Proxy (NoShareInput Text) -> Tokens (NoShareInput Text) -> Bool #

take1_ :: NoShareInput Text -> Maybe (Token (NoShareInput Text), NoShareInput Text) #

takeN_ :: Int -> NoShareInput Text -> Maybe (Tokens (NoShareInput Text), NoShareInput Text) #

takeWhile_ :: (Token (NoShareInput Text) -> Bool) -> NoShareInput Text -> (Tokens (NoShareInput Text), NoShareInput Text) #

Stream (ShareInput ByteString)

Instance details

Defined in Text.Megaparsec.Stream

Associated Types

type Token (ShareInput ByteString)
Instance details Defined in Text.Megaparsec.Stream type Token (ShareInput ByteString) = Word8
type Tokens (ShareInput ByteString)
Instance details Defined in Text.Megaparsec.Stream type Tokens (ShareInput ByteString) = ByteString

Methods

tokenToChunk :: Proxy (ShareInput ByteString) -> Token (ShareInput ByteString) -> Tokens (ShareInput ByteString) #

tokensToChunk :: Proxy (ShareInput ByteString) -> [Token (ShareInput ByteString)] -> Tokens (ShareInput ByteString) #

chunkToTokens :: Proxy (ShareInput ByteString) -> Tokens (ShareInput ByteString) -> [Token (ShareInput ByteString)] #

chunkLength :: Proxy (ShareInput ByteString) -> Tokens (ShareInput ByteString) -> Int #

chunkEmpty :: Proxy (ShareInput ByteString) -> Tokens (ShareInput ByteString) -> Bool #

take1_ :: ShareInput ByteString -> Maybe (Token (ShareInput ByteString), ShareInput ByteString) #

takeN_ :: Int -> ShareInput ByteString -> Maybe (Tokens (ShareInput ByteString), ShareInput ByteString) #

takeWhile_ :: (Token (ShareInput ByteString) -> Bool) -> ShareInput ByteString -> (Tokens (ShareInput ByteString), ShareInput ByteString) #

Stream (ShareInput ByteString)

Instance details

Defined in Text.Megaparsec.Stream

Associated Types

type Token (ShareInput ByteString)
Instance details Defined in Text.Megaparsec.Stream type Token (ShareInput ByteString) = Word8
type Tokens (ShareInput ByteString)
Instance details Defined in Text.Megaparsec.Stream type Tokens (ShareInput ByteString) = ByteString

Methods

tokenToChunk :: Proxy (ShareInput ByteString) -> Token (ShareInput ByteString) -> Tokens (ShareInput ByteString) #

tokensToChunk :: Proxy (ShareInput ByteString) -> [Token (ShareInput ByteString)] -> Tokens (ShareInput ByteString) #

chunkToTokens :: Proxy (ShareInput ByteString) -> Tokens (ShareInput ByteString) -> [Token (ShareInput ByteString)] #

chunkLength :: Proxy (ShareInput ByteString) -> Tokens (ShareInput ByteString) -> Int #

chunkEmpty :: Proxy (ShareInput ByteString) -> Tokens (ShareInput ByteString) -> Bool #

take1_ :: ShareInput ByteString -> Maybe (Token (ShareInput ByteString), ShareInput ByteString) #

takeN_ :: Int -> ShareInput ByteString -> Maybe (Tokens (ShareInput ByteString), ShareInput ByteString) #

takeWhile_ :: (Token (ShareInput ByteString) -> Bool) -> ShareInput ByteString -> (Tokens (ShareInput ByteString), ShareInput ByteString) #

Stream (ShareInput Text)

Instance details

Defined in Text.Megaparsec.Stream

Associated Types

type Token (ShareInput Text)
Instance details Defined in Text.Megaparsec.Stream type Token (ShareInput Text) = Char
type Tokens (ShareInput Text)
Instance details Defined in Text.Megaparsec.Stream type Tokens (ShareInput Text) = Text

Methods

tokenToChunk :: Proxy (ShareInput Text) -> Token (ShareInput Text) -> Tokens (ShareInput Text) #

tokensToChunk :: Proxy (ShareInput Text) -> [Token (ShareInput Text)] -> Tokens (ShareInput Text) #

chunkToTokens :: Proxy (ShareInput Text) -> Tokens (ShareInput Text) -> [Token (ShareInput Text)] #

chunkLength :: Proxy (ShareInput Text) -> Tokens (ShareInput Text) -> Int #

chunkEmpty :: Proxy (ShareInput Text) -> Tokens (ShareInput Text) -> Bool #

take1_ :: ShareInput Text -> Maybe (Token (ShareInput Text), ShareInput Text) #

takeN_ :: Int -> ShareInput Text -> Maybe (Tokens (ShareInput Text), ShareInput Text) #

takeWhile_ :: (Token (ShareInput Text) -> Bool) -> ShareInput Text -> (Tokens (ShareInput Text), ShareInput Text) #

Stream (ShareInput Text)

Instance details

Defined in Text.Megaparsec.Stream

Associated Types

type Token (ShareInput Text)
Instance details Defined in Text.Megaparsec.Stream type Token (ShareInput Text) = Char
type Tokens (ShareInput Text)
Instance details Defined in Text.Megaparsec.Stream type Tokens (ShareInput Text) = Text

Methods

tokenToChunk :: Proxy (ShareInput Text) -> Token (ShareInput Text) -> Tokens (ShareInput Text) #

tokensToChunk :: Proxy (ShareInput Text) -> [Token (ShareInput Text)] -> Tokens (ShareInput Text) #

chunkToTokens :: Proxy (ShareInput Text) -> Tokens (ShareInput Text) -> [Token (ShareInput Text)] #

chunkLength :: Proxy (ShareInput Text) -> Tokens (ShareInput Text) -> Int #

chunkEmpty :: Proxy (ShareInput Text) -> Tokens (ShareInput Text) -> Bool #

take1_ :: ShareInput Text -> Maybe (Token (ShareInput Text), ShareInput Text) #

takeN_ :: Int -> ShareInput Text -> Maybe (Tokens (ShareInput Text), ShareInput Text) #

takeWhile_ :: (Token (ShareInput Text) -> Bool) -> ShareInput Text -> (Tokens (ShareInput Text), ShareInput Text) #

Ord a => Stream [a]

Instance details

Defined in Text.Megaparsec.Stream

Associated Types

type Token [a]
Instance details Defined in Text.Megaparsec.Stream type Token [a] = a
type Tokens [a]
Instance details Defined in Text.Megaparsec.Stream type Tokens [a] = [a]

Methods

tokenToChunk :: Proxy [a] -> Token [a] -> Tokens [a] #

tokensToChunk :: Proxy [a] -> [Token [a]] -> Tokens [a] #

chunkToTokens :: Proxy [a] -> Tokens [a] -> [Token [a]] #

chunkLength :: Proxy [a] -> Tokens [a] -> Int #

chunkEmpty :: Proxy [a] -> Tokens [a] -> Bool #

take1_ :: [a] -> Maybe (Token [a], [a]) #

takeN_ :: Int -> [a] -> Maybe (Tokens [a], [a]) #

takeWhile_ :: (Token [a] -> Bool) -> [a] -> (Tokens [a], [a]) #

count :: Monad m => Int -> m a -> m [a] #

chunk :: MonadParsec e s m => Tokens s -> m (Tokens s) #

match :: MonadParsec e s m => m a -> m (Tokens s, a) #

failure :: MonadParsec e s m => Maybe (ErrorItem (Token s)) -> Set (ErrorItem (Token s)) -> m a #

choice :: (Foldable f, Alternative m) => f (m a) -> m a #

type Parsec e s = ParsecT e s Identity #

data ParsecT e s (m :: Type -> Type) a #

Instances

Instances details

(Ord e, Stream s) => MonadParsec e s (ParsecT e s m)
Instance details Defined in Text.Megaparsec.Internal Methods parseError :: ParseError s e -> ParsecT e s m a # label :: String -> ParsecT e s m a -> ParsecT e s m a # hidden :: ParsecT e s m a -> ParsecT e s m a # try :: ParsecT e s m a -> ParsecT e s m a # lookAhead :: ParsecT e s m a -> ParsecT e s m a # notFollowedBy :: ParsecT e s m a -> ParsecT e s m () # withRecovery :: (ParseError s e -> ParsecT e s m a) -> ParsecT e s m a -> ParsecT e s m a # observing :: ParsecT e s m a -> ParsecT e s m (Either (ParseError s e) a) # eof :: ParsecT e s m () # token :: (Token s -> Maybe a) -> Set (ErrorItem (Token s)) -> ParsecT e s m a # tokens :: (Tokens s -> Tokens s -> Bool) -> Tokens s -> ParsecT e s m (Tokens s) # takeWhileP :: Maybe String -> (Token s -> Bool) -> ParsecT e s m (Tokens s) # takeWhile1P :: Maybe String -> (Token s -> Bool) -> ParsecT e s m (Tokens s) # takeP :: Maybe String -> Int -> ParsecT e s m (Tokens s) # getParserState :: ParsecT e s m (State s e) # updateParserState :: (State s e -> State s e) -> ParsecT e s m () # mkParsec :: (State s e -> Reply e s a) -> ParsecT e s m a #
(VisualStream s, ShowErrorComponent e) => MonadParsecDbg e s (ParsecT e s m)
Instance details Defined in Text.Megaparsec.Debug Methods dbg :: Show a => String -> ParsecT e s m a -> ParsecT e s m a
(Stream s, MonadError e' m) => MonadError e' (ParsecT e s m)
Instance details Defined in Text.Megaparsec.Internal Methods throwError :: e' -> ParsecT e s m a catchError :: ParsecT e s m a -> (e' -> ParsecT e s m a) -> ParsecT e s m a
(Stream s, MonadReader r m) => MonadReader r (ParsecT e s m)
Instance details Defined in Text.Megaparsec.Internal Methods ask :: ParsecT e s m r # local :: (r -> r) -> ParsecT e s m a -> ParsecT e s m a # reader :: (r -> a) -> ParsecT e s m a
(Stream s, MonadState st m) => MonadState st (ParsecT e s m)
Instance details Defined in Text.Megaparsec.Internal Methods get :: ParsecT e s m st put :: st -> ParsecT e s m () state :: (st -> (a, st)) -> ParsecT e s m a
(Stream s, MonadWriter w m) => MonadWriter w (ParsecT e s m)
Instance details Defined in Text.Megaparsec.Internal Methods writer :: (a, w) -> ParsecT e s m a tell :: w -> ParsecT e s m () listen :: ParsecT e s m a -> ParsecT e s m (a, w) pass :: ParsecT e s m (a, w -> w) -> ParsecT e s m a
Stream s => MonadTrans (ParsecT e s)
Instance details Defined in Text.Megaparsec.Internal Methods lift :: Monad m => m a -> ParsecT e s m a #
(Stream s, MonadIO m) => MonadIO (ParsecT e s m)
Instance details Defined in Text.Megaparsec.Internal Methods liftIO :: IO a -> ParsecT e s m a #
(Ord e, Stream s) => Alternative (ParsecT e s m)
Instance details Defined in Text.Megaparsec.Internal Methods empty :: ParsecT e s m a # (<\|>) :: ParsecT e s m a -> ParsecT e s m a -> ParsecT e s m a # some :: ParsecT e s m a -> ParsecT e s m [a] many :: ParsecT e s m a -> ParsecT e s m [a]
Stream s => Applicative (ParsecT e s m)
Instance details Defined in Text.Megaparsec.Internal Methods pure :: a -> ParsecT e s m a # (<>) :: ParsecT e s m (a -> b) -> ParsecT e s m a -> ParsecT e s m b # liftA2 :: (a -> b -> c) -> ParsecT e s m a -> ParsecT e s m b -> ParsecT e s m c # (>) :: ParsecT e s m a -> ParsecT e s m b -> ParsecT e s m b # (<*) :: ParsecT e s m a -> ParsecT e s m b -> ParsecT e s m a #
Functor (ParsecT e s m)
Instance details Defined in Text.Megaparsec.Internal Methods fmap :: (a -> b) -> ParsecT e s m a -> ParsecT e s m b # (<$) :: a -> ParsecT e s m b -> ParsecT e s m a #
Stream s => Monad (ParsecT e s m)
Instance details Defined in Text.Megaparsec.Internal Methods (>>=) :: ParsecT e s m a -> (a -> ParsecT e s m b) -> ParsecT e s m b # (>>) :: ParsecT e s m a -> ParsecT e s m b -> ParsecT e s m b # return :: a -> ParsecT e s m a #
(Ord e, Stream s) => MonadPlus (ParsecT e s m)
Instance details Defined in Text.Megaparsec.Internal Methods mzero :: ParsecT e s m a # mplus :: ParsecT e s m a -> ParsecT e s m a -> ParsecT e s m a #
Stream s => MonadFail (ParsecT e s m)
Instance details Defined in Text.Megaparsec.Internal Methods fail :: String -> ParsecT e s m a #
(Stream s, MonadFix m) => MonadFix (ParsecT e s m)
Instance details Defined in Text.Megaparsec.Internal Methods mfix :: (a -> ParsecT e s m a) -> ParsecT e s m a
(Stream s, MonadCont m) => MonadCont (ParsecT e s m)
Instance details Defined in Text.Megaparsec.Internal Methods callCC :: ((a -> ParsecT e s m b) -> ParsecT e s m a) -> ParsecT e s m a #
(Stream s, Monoid a) => Monoid (ParsecT e s m a)
Instance details Defined in Text.Megaparsec.Internal Methods mempty :: ParsecT e s m a # mappend :: ParsecT e s m a -> ParsecT e s m a -> ParsecT e s m a # mconcat :: [ParsecT e s m a] -> ParsecT e s m a #
(Stream s, Semigroup a) => Semigroup (ParsecT e s m a)
Instance details Defined in Text.Megaparsec.Internal Methods (<>) :: ParsecT e s m a -> ParsecT e s m a -> ParsecT e s m a # sconcat :: NonEmpty (ParsecT e s m a) -> ParsecT e s m a stimes :: Integral b => b -> ParsecT e s m a -> ParsecT e s m a
(a ~ Tokens s, IsString a, Eq a, Stream s, Ord e) => IsString (ParsecT e s m a)
Instance details Defined in Text.Megaparsec.Internal Methods fromString :: String -> ParsecT e s m a #

data ParseErrorBundle s e #

Constructors

ParseErrorBundle
Fields bundleErrors :: NonEmpty (ParseError s e) bundlePosState :: PosState s

Instances

Instances details

(NFData s, NFData (Token s), NFData e) => NFData (ParseErrorBundle s e)

Instance details

Defined in Text.Megaparsec.Error

Methods

rnf :: ParseErrorBundle s e -> () #

(Data s, Data (Token s), Ord (Token s), Data e, Ord e) => Data (ParseErrorBundle s e)

Instance details

Defined in Text.Megaparsec.Error

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ParseErrorBundle s e -> c (ParseErrorBundle s e) #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (ParseErrorBundle s e) #

toConstr :: ParseErrorBundle s e -> Constr #

dataTypeOf :: ParseErrorBundle s e -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (ParseErrorBundle s e)) #

dataCast2 :: Typeable t => (forall d e0. (Data d, Data e0) => c (t d e0)) -> Maybe (c (ParseErrorBundle s e)) #

gmapT :: (forall b. Data b => b -> b) -> ParseErrorBundle s e -> ParseErrorBundle s e #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ParseErrorBundle s e -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ParseErrorBundle s e -> r #

gmapQ :: (forall d. Data d => d -> u) -> ParseErrorBundle s e -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> ParseErrorBundle s e -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ParseErrorBundle s e -> m (ParseErrorBundle s e) #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ParseErrorBundle s e -> m (ParseErrorBundle s e) #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ParseErrorBundle s e -> m (ParseErrorBundle s e) #

(Show s, Show (Token s), Show e, ShowErrorComponent e, VisualStream s, TraversableStream s, Typeable s, Typeable e) => Exception (ParseErrorBundle s e)

Instance details

Defined in Text.Megaparsec.Error

Methods

toException :: ParseErrorBundle s e -> SomeException #

fromException :: SomeException -> Maybe (ParseErrorBundle s e) #

displayException :: ParseErrorBundle s e -> String #

backtraceDesired :: ParseErrorBundle s e -> Bool #

Generic (ParseErrorBundle s e)

Instance details

Defined in Text.Megaparsec.Error

Associated Types

type Rep (ParseErrorBundle s e)

Instance details

Defined in Text.Megaparsec.Error

type Rep (ParseErrorBundle s e) = D1 ('MetaData "ParseErrorBundle" "Text.Megaparsec.Error" "megaparsec-9.7.0-KzfOZYJ4Q6GKdhxtoSNEi" 'False) (C1 ('MetaCons "ParseErrorBundle" 'PrefixI 'True) (S1 ('MetaSel ('Just "bundleErrors") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (ParseError s e))) :*: S1 ('MetaSel ('Just "bundlePosState") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PosState s))))

Methods

from :: ParseErrorBundle s e -> Rep (ParseErrorBundle s e) x

to :: Rep (ParseErrorBundle s e) x -> ParseErrorBundle s e

(Show s, Show (Token s), Show e) => Show (ParseErrorBundle s e)

Instance details

Defined in Text.Megaparsec.Error

Methods

showsPrec :: Int -> ParseErrorBundle s e -> ShowS

show :: ParseErrorBundle s e -> String #

showList :: [ParseErrorBundle s e] -> ShowS

(Eq s, Eq (Token s), Eq e) => Eq (ParseErrorBundle s e)

Instance details

Defined in Text.Megaparsec.Error

Methods

(==) :: ParseErrorBundle s e -> ParseErrorBundle s e -> Bool #

(/=) :: ParseErrorBundle s e -> ParseErrorBundle s e -> Bool #

type Rep (ParseErrorBundle s e)

Instance details

Defined in Text.Megaparsec.Error

type Rep (ParseErrorBundle s e) = D1 ('MetaData "ParseErrorBundle" "Text.Megaparsec.Error" "megaparsec-9.7.0-KzfOZYJ4Q6GKdhxtoSNEi" 'False) (C1 ('MetaCons "ParseErrorBundle" 'PrefixI 'True) (S1 ('MetaSel ('Just "bundleErrors") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (ParseError s e))) :*: S1 ('MetaSel ('Just "bundlePosState") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PosState s))))

errorBundlePretty :: (VisualStream s, TraversableStream s, ShowErrorComponent e) => ParseErrorBundle s e -> String #

data ErrorItem t #

Constructors

Tokens (NonEmpty t)
Label (NonEmpty Char)
EndOfInput

Instances

Instances details

Functor ErrorItem

Instance details

Defined in Text.Megaparsec.Error

Methods

fmap :: (a -> b) -> ErrorItem a -> ErrorItem b #

(<$) :: a -> ErrorItem b -> ErrorItem a #

NFData t => NFData (ErrorItem t)

Instance details

Defined in Text.Megaparsec.Error

Methods

rnf :: ErrorItem t -> () #

Data t => Data (ErrorItem t)

Instance details

Defined in Text.Megaparsec.Error

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ErrorItem t -> c (ErrorItem t) #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (ErrorItem t) #

toConstr :: ErrorItem t -> Constr #

dataTypeOf :: ErrorItem t -> DataType #

dataCast1 :: Typeable t0 => (forall d. Data d => c (t0 d)) -> Maybe (c (ErrorItem t)) #

dataCast2 :: Typeable t0 => (forall d e. (Data d, Data e) => c (t0 d e)) -> Maybe (c (ErrorItem t)) #

gmapT :: (forall b. Data b => b -> b) -> ErrorItem t -> ErrorItem t #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ErrorItem t -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ErrorItem t -> r #

gmapQ :: (forall d. Data d => d -> u) -> ErrorItem t -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> ErrorItem t -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ErrorItem t -> m (ErrorItem t) #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ErrorItem t -> m (ErrorItem t) #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ErrorItem t -> m (ErrorItem t) #

Generic (ErrorItem t)

Instance details

Defined in Text.Megaparsec.Error

Associated Types

type Rep (ErrorItem t)

Instance details

Defined in Text.Megaparsec.Error

type Rep (ErrorItem t) = D1 ('MetaData "ErrorItem" "Text.Megaparsec.Error" "megaparsec-9.7.0-KzfOZYJ4Q6GKdhxtoSNEi" 'False) (C1 ('MetaCons "Tokens" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty t))) :+: (C1 ('MetaCons "Label" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty Char))) :+: C1 ('MetaCons "EndOfInput" 'PrefixI 'False) (U1 :: Type -> Type)))

Methods

from :: ErrorItem t -> Rep (ErrorItem t) x

to :: Rep (ErrorItem t) x -> ErrorItem t

Read t => Read (ErrorItem t)

Instance details

Defined in Text.Megaparsec.Error

Methods

readsPrec :: Int -> ReadS (ErrorItem t)

readList :: ReadS [ErrorItem t]

readPrec :: ReadPrec (ErrorItem t)

readListPrec :: ReadPrec [ErrorItem t]

Show t => Show (ErrorItem t)

Instance details

Defined in Text.Megaparsec.Error

Methods

showsPrec :: Int -> ErrorItem t -> ShowS

show :: ErrorItem t -> String #

showList :: [ErrorItem t] -> ShowS

Eq t => Eq (ErrorItem t)

Instance details

Defined in Text.Megaparsec.Error

Methods

(==) :: ErrorItem t -> ErrorItem t -> Bool #

(/=) :: ErrorItem t -> ErrorItem t -> Bool #

Ord t => Ord (ErrorItem t)

Instance details

Defined in Text.Megaparsec.Error

Methods

compare :: ErrorItem t -> ErrorItem t -> Ordering #

(<) :: ErrorItem t -> ErrorItem t -> Bool #

(<=) :: ErrorItem t -> ErrorItem t -> Bool #

(>) :: ErrorItem t -> ErrorItem t -> Bool #

(>=) :: ErrorItem t -> ErrorItem t -> Bool #

max :: ErrorItem t -> ErrorItem t -> ErrorItem t #

min :: ErrorItem t -> ErrorItem t -> ErrorItem t #

type Rep (ErrorItem t)

Instance details

Defined in Text.Megaparsec.Error

type Rep (ErrorItem t) = D1 ('MetaData "ErrorItem" "Text.Megaparsec.Error" "megaparsec-9.7.0-KzfOZYJ4Q6GKdhxtoSNEi" 'False) (C1 ('MetaCons "Tokens" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty t))) :+: (C1 ('MetaCons "Label" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty Char))) :+: C1 ('MetaCons "EndOfInput" 'PrefixI 'False) (U1 :: Type -> Type)))

data ErrorFancy e #

Constructors

ErrorFail String
ErrorIndentation Ordering Pos Pos
ErrorCustom e

Instances

Instances details

Functor ErrorFancy

Instance details

Defined in Text.Megaparsec.Error

Methods

fmap :: (a -> b) -> ErrorFancy a -> ErrorFancy b #

(<$) :: a -> ErrorFancy b -> ErrorFancy a #

NFData a => NFData (ErrorFancy a)

Instance details

Defined in Text.Megaparsec.Error

Methods

rnf :: ErrorFancy a -> () #

Data e => Data (ErrorFancy e)

Instance details

Defined in Text.Megaparsec.Error

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ErrorFancy e -> c (ErrorFancy e) #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (ErrorFancy e) #

toConstr :: ErrorFancy e -> Constr #

dataTypeOf :: ErrorFancy e -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (ErrorFancy e)) #

dataCast2 :: Typeable t => (forall d e0. (Data d, Data e0) => c (t d e0)) -> Maybe (c (ErrorFancy e)) #

gmapT :: (forall b. Data b => b -> b) -> ErrorFancy e -> ErrorFancy e #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ErrorFancy e -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ErrorFancy e -> r #

gmapQ :: (forall d. Data d => d -> u) -> ErrorFancy e -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> ErrorFancy e -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ErrorFancy e -> m (ErrorFancy e) #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ErrorFancy e -> m (ErrorFancy e) #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ErrorFancy e -> m (ErrorFancy e) #

Generic (ErrorFancy e)

Instance details

Defined in Text.Megaparsec.Error

Associated Types

type Rep (ErrorFancy e)

Instance details

Defined in Text.Megaparsec.Error

type Rep (ErrorFancy e) = D1 ('MetaData "ErrorFancy" "Text.Megaparsec.Error" "megaparsec-9.7.0-KzfOZYJ4Q6GKdhxtoSNEi" 'False) (C1 ('MetaCons "ErrorFail" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)) :+: (C1 ('MetaCons "ErrorIndentation" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Ordering) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Pos) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Pos))) :+: C1 ('MetaCons "ErrorCustom" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 e))))

Methods

from :: ErrorFancy e -> Rep (ErrorFancy e) x

to :: Rep (ErrorFancy e) x -> ErrorFancy e

Read e => Read (ErrorFancy e)

Instance details

Defined in Text.Megaparsec.Error

Methods

readsPrec :: Int -> ReadS (ErrorFancy e)

readList :: ReadS [ErrorFancy e]

readPrec :: ReadPrec (ErrorFancy e)

readListPrec :: ReadPrec [ErrorFancy e]

Show e => Show (ErrorFancy e)

Instance details

Defined in Text.Megaparsec.Error

Methods

showsPrec :: Int -> ErrorFancy e -> ShowS

show :: ErrorFancy e -> String #

showList :: [ErrorFancy e] -> ShowS

Eq e => Eq (ErrorFancy e)

Instance details

Defined in Text.Megaparsec.Error

Methods

(==) :: ErrorFancy e -> ErrorFancy e -> Bool #

(/=) :: ErrorFancy e -> ErrorFancy e -> Bool #

Ord e => Ord (ErrorFancy e)

Instance details

Defined in Text.Megaparsec.Error

Methods

compare :: ErrorFancy e -> ErrorFancy e -> Ordering #

(<) :: ErrorFancy e -> ErrorFancy e -> Bool #

(<=) :: ErrorFancy e -> ErrorFancy e -> Bool #

(>) :: ErrorFancy e -> ErrorFancy e -> Bool #

(>=) :: ErrorFancy e -> ErrorFancy e -> Bool #

max :: ErrorFancy e -> ErrorFancy e -> ErrorFancy e #

min :: ErrorFancy e -> ErrorFancy e -> ErrorFancy e #

type Rep (ErrorFancy e)

Instance details

Defined in Text.Megaparsec.Error

type Rep (ErrorFancy e) = D1 ('MetaData "ErrorFancy" "Text.Megaparsec.Error" "megaparsec-9.7.0-KzfOZYJ4Q6GKdhxtoSNEi" 'False) (C1 ('MetaCons "ErrorFail" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)) :+: (C1 ('MetaCons "ErrorIndentation" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Ordering) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Pos) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Pos))) :+: C1 ('MetaCons "ErrorCustom" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 e))))

pattern FancyError :: Int -> Set (ErrorFancy e) -> ParseError s e #

pattern TrivialError :: Int -> Maybe (ErrorItem (Token s)) -> Set (ErrorItem (Token s)) -> ParseError s e #

class Ord a => ShowErrorComponent a where #

Minimal complete definition

showErrorComponent

Methods

showErrorComponent :: a -> String #

errorComponentLen :: a -> Int #

Instances

Instances details

ShowErrorComponent Void
Instance details Defined in Text.Megaparsec.Error Methods showErrorComponent :: Void -> String # errorComponentLen :: Void -> Int #

type family Tokens s #

Instances

Instances details

type Tokens ByteString
Instance details Defined in Text.Megaparsec.Stream type Tokens ByteString = Tokens (ShareInput ByteString)
type Tokens ByteString
Instance details Defined in Text.Megaparsec.Stream type Tokens ByteString = Tokens (ShareInput ByteString)
type Tokens Text
Instance details Defined in Text.Megaparsec.Stream type Tokens Text = Tokens (ShareInput Text)
type Tokens Text
Instance details Defined in Text.Megaparsec.Stream type Tokens Text = Tokens (ShareInput Text)
type Tokens (Seq a)
Instance details Defined in Text.Megaparsec.Stream type Tokens (Seq a) = Seq a
type Tokens (NoShareInput ByteString)
Instance details Defined in Text.Megaparsec.Stream type Tokens (NoShareInput ByteString) = ByteString
type Tokens (NoShareInput ByteString)
Instance details Defined in Text.Megaparsec.Stream type Tokens (NoShareInput ByteString) = ByteString
type Tokens (NoShareInput Text)
Instance details Defined in Text.Megaparsec.Stream type Tokens (NoShareInput Text) = Text
type Tokens (NoShareInput Text)
Instance details Defined in Text.Megaparsec.Stream type Tokens (NoShareInput Text) = Text
type Tokens (ShareInput ByteString)
Instance details Defined in Text.Megaparsec.Stream type Tokens (ShareInput ByteString) = ByteString
type Tokens (ShareInput ByteString)
Instance details Defined in Text.Megaparsec.Stream type Tokens (ShareInput ByteString) = ByteString
type Tokens (ShareInput Text)
Instance details Defined in Text.Megaparsec.Stream type Tokens (ShareInput Text) = Text
type Tokens (ShareInput Text)
Instance details Defined in Text.Megaparsec.Stream type Tokens (ShareInput Text) = Text
type Tokens [a]
Instance details Defined in Text.Megaparsec.Stream type Tokens [a] = [a]

attachSourcePos :: (Traversable t, TraversableStream s) => (a -> Int) -> t a -> PosState s -> (t (a, SourcePos), PosState s) #

errorBundlePrettyForGhcPreProcessors :: (VisualStream s, TraversableStream s, ShowErrorComponent e) => ParseErrorBundle s e -> String #

errorBundlePrettyWith :: (VisualStream s, TraversableStream s) => (Maybe String -> SourcePos -> ParseError s e -> String) -> ParseErrorBundle s e -> String #

errorOffset :: ParseError s e -> Int #

mapParseError :: Ord e' => (e -> e') -> ParseError s e -> ParseError s e' #

parseErrorPretty :: (VisualStream s, ShowErrorComponent e) => ParseError s e -> String #

parseErrorTextPretty :: (VisualStream s, ShowErrorComponent e) => ParseError s e -> String #

setErrorOffset :: Int -> ParseError s e -> ParseError s e #

showErrorItem :: VisualStream s => Proxy s -> ErrorItem (Token s) -> String #

newtype InvalidPosException #

Constructors

InvalidPosException Int

Instances

Instances details

NFData InvalidPosException

Instance details

Defined in Text.Megaparsec.Pos

Methods

rnf :: InvalidPosException -> () #

Data InvalidPosException

Instance details

Defined in Text.Megaparsec.Pos

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> InvalidPosException -> c InvalidPosException #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c InvalidPosException #

toConstr :: InvalidPosException -> Constr #

dataTypeOf :: InvalidPosException -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c InvalidPosException) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c InvalidPosException) #

gmapT :: (forall b. Data b => b -> b) -> InvalidPosException -> InvalidPosException #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> InvalidPosException -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> InvalidPosException -> r #

gmapQ :: (forall d. Data d => d -> u) -> InvalidPosException -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> InvalidPosException -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> InvalidPosException -> m InvalidPosException #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> InvalidPosException -> m InvalidPosException #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> InvalidPosException -> m InvalidPosException #

Exception InvalidPosException

Instance details

Defined in Text.Megaparsec.Pos

Methods

toException :: InvalidPosException -> SomeException #

fromException :: SomeException -> Maybe InvalidPosException #

displayException :: InvalidPosException -> String #

backtraceDesired :: InvalidPosException -> Bool #

Generic InvalidPosException

Instance details

Defined in Text.Megaparsec.Pos

Associated Types

type Rep InvalidPosException
Instance details Defined in Text.Megaparsec.Pos type Rep InvalidPosException = D1 ('MetaData "InvalidPosException" "Text.Megaparsec.Pos" "megaparsec-9.7.0-KzfOZYJ4Q6GKdhxtoSNEi" 'True) (C1 ('MetaCons "InvalidPosException" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

Methods

from :: InvalidPosException -> Rep InvalidPosException x

to :: Rep InvalidPosException x -> InvalidPosException

Show InvalidPosException

Instance details

Defined in Text.Megaparsec.Pos

Methods

showsPrec :: Int -> InvalidPosException -> ShowS

show :: InvalidPosException -> String #

showList :: [InvalidPosException] -> ShowS

Eq InvalidPosException

Instance details

Defined in Text.Megaparsec.Pos

Methods

(==) :: InvalidPosException -> InvalidPosException -> Bool #

(/=) :: InvalidPosException -> InvalidPosException -> Bool #

type Rep InvalidPosException

Instance details

Defined in Text.Megaparsec.Pos

type Rep InvalidPosException = D1 ('MetaData "InvalidPosException" "Text.Megaparsec.Pos" "megaparsec-9.7.0-KzfOZYJ4Q6GKdhxtoSNEi" 'True) (C1 ('MetaCons "InvalidPosException" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

data Pos #

Instances

Instances details

NFData Pos

Instance details

Defined in Text.Megaparsec.Pos

Methods

rnf :: Pos -> () #

Semigroup Pos

Instance details

Defined in Text.Megaparsec.Pos

Methods

(<>) :: Pos -> Pos -> Pos #

sconcat :: NonEmpty Pos -> Pos

stimes :: Integral b => b -> Pos -> Pos

Data Pos

Instance details

Defined in Text.Megaparsec.Pos

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Pos -> c Pos #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Pos #

toConstr :: Pos -> Constr #

dataTypeOf :: Pos -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Pos) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Pos) #

gmapT :: (forall b. Data b => b -> b) -> Pos -> Pos #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Pos -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Pos -> r #

gmapQ :: (forall d. Data d => d -> u) -> Pos -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Pos -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Pos -> m Pos #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Pos -> m Pos #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Pos -> m Pos #

Generic Pos

Instance details

Defined in Text.Megaparsec.Pos

Associated Types

type Rep Pos
Instance details Defined in Text.Megaparsec.Pos type Rep Pos = D1 ('MetaData "Pos" "Text.Megaparsec.Pos" "megaparsec-9.7.0-KzfOZYJ4Q6GKdhxtoSNEi" 'True) (C1 ('MetaCons "Pos" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

Methods

from :: Pos -> Rep Pos x

to :: Rep Pos x -> Pos

Read Pos

Instance details

Defined in Text.Megaparsec.Pos

Methods

readsPrec :: Int -> ReadS Pos

readList :: ReadS [Pos]

readPrec :: ReadPrec Pos

readListPrec :: ReadPrec [Pos]

Show Pos

Instance details

Defined in Text.Megaparsec.Pos

Methods

showsPrec :: Int -> Pos -> ShowS

show :: Pos -> String #

showList :: [Pos] -> ShowS

Eq Pos

Instance details

Defined in Text.Megaparsec.Pos

Methods

(==) :: Pos -> Pos -> Bool #

(/=) :: Pos -> Pos -> Bool #

Ord Pos

Instance details

Defined in Text.Megaparsec.Pos

Methods

compare :: Pos -> Pos -> Ordering #

(<) :: Pos -> Pos -> Bool #

(<=) :: Pos -> Pos -> Bool #

(>) :: Pos -> Pos -> Bool #

(>=) :: Pos -> Pos -> Bool #

max :: Pos -> Pos -> Pos #

min :: Pos -> Pos -> Pos #

type Rep Pos

Instance details

Defined in Text.Megaparsec.Pos

type Rep Pos = D1 ('MetaData "Pos" "Text.Megaparsec.Pos" "megaparsec-9.7.0-KzfOZYJ4Q6GKdhxtoSNEi" 'True) (C1 ('MetaCons "Pos" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

data SourcePos #

Constructors

SourcePos
Fields sourceName :: FilePath sourceLine :: !Pos sourceColumn :: !Pos

Instances

Instances details

NFData SourcePos

Instance details

Defined in Text.Megaparsec.Pos

Methods

rnf :: SourcePos -> () #

Data SourcePos

Instance details

Defined in Text.Megaparsec.Pos

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SourcePos -> c SourcePos #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SourcePos #

toConstr :: SourcePos -> Constr #

dataTypeOf :: SourcePos -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c SourcePos) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SourcePos) #

gmapT :: (forall b. Data b => b -> b) -> SourcePos -> SourcePos #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SourcePos -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SourcePos -> r #

gmapQ :: (forall d. Data d => d -> u) -> SourcePos -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> SourcePos -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> SourcePos -> m SourcePos #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SourcePos -> m SourcePos #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SourcePos -> m SourcePos #

Generic SourcePos

Instance details

Defined in Text.Megaparsec.Pos

Associated Types

type Rep SourcePos

Instance details

Defined in Text.Megaparsec.Pos

type Rep SourcePos = D1 ('MetaData "SourcePos" "Text.Megaparsec.Pos" "megaparsec-9.7.0-KzfOZYJ4Q6GKdhxtoSNEi" 'False) (C1 ('MetaCons "SourcePos" 'PrefixI 'True) (S1 ('MetaSel ('Just "sourceName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FilePath) :*: (S1 ('MetaSel ('Just "sourceLine") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Pos) :*: S1 ('MetaSel ('Just "sourceColumn") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Pos))))

Methods

from :: SourcePos -> Rep SourcePos x

to :: Rep SourcePos x -> SourcePos

Read SourcePos

Instance details

Defined in Text.Megaparsec.Pos

Methods

readsPrec :: Int -> ReadS SourcePos

readList :: ReadS [SourcePos]

readPrec :: ReadPrec SourcePos

readListPrec :: ReadPrec [SourcePos]

Show SourcePos

Instance details

Defined in Text.Megaparsec.Pos

Methods

showsPrec :: Int -> SourcePos -> ShowS

show :: SourcePos -> String #

showList :: [SourcePos] -> ShowS

Eq SourcePos

Instance details

Defined in Text.Megaparsec.Pos

Methods

(==) :: SourcePos -> SourcePos -> Bool #

(/=) :: SourcePos -> SourcePos -> Bool #

Ord SourcePos

Instance details

Defined in Text.Megaparsec.Pos

Methods

compare :: SourcePos -> SourcePos -> Ordering #

(<) :: SourcePos -> SourcePos -> Bool #

(<=) :: SourcePos -> SourcePos -> Bool #

(>) :: SourcePos -> SourcePos -> Bool #

(>=) :: SourcePos -> SourcePos -> Bool #

max :: SourcePos -> SourcePos -> SourcePos #

min :: SourcePos -> SourcePos -> SourcePos #

type Rep SourcePos

Instance details

Defined in Text.Megaparsec.Pos

type Rep SourcePos = D1 ('MetaData "SourcePos" "Text.Megaparsec.Pos" "megaparsec-9.7.0-KzfOZYJ4Q6GKdhxtoSNEi" 'False) (C1 ('MetaCons "SourcePos" 'PrefixI 'True) (S1 ('MetaSel ('Just "sourceName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FilePath) :*: (S1 ('MetaSel ('Just "sourceLine") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Pos) :*: S1 ('MetaSel ('Just "sourceColumn") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Pos))))

defaultTabWidth :: Pos #

initialPos :: FilePath -> SourcePos #

mkPos :: Int -> Pos #

pos1 :: Pos #

sourcePosPretty :: SourcePos -> String #

unPos :: Pos -> Int #

data PosState s #

Constructors

PosState
Fields pstateInput :: s pstateOffset :: !Int pstateSourcePos :: !SourcePos pstateTabWidth :: Pos pstateLinePrefix :: String

Instances

Instances details

NFData s => NFData (PosState s)

Instance details

Defined in Text.Megaparsec.State

Methods

rnf :: PosState s -> () #

Data s => Data (PosState s)

Instance details

Defined in Text.Megaparsec.State

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> PosState s -> c (PosState s) #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (PosState s) #

toConstr :: PosState s -> Constr #

dataTypeOf :: PosState s -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (PosState s)) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (PosState s)) #

gmapT :: (forall b. Data b => b -> b) -> PosState s -> PosState s #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> PosState s -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> PosState s -> r #

gmapQ :: (forall d. Data d => d -> u) -> PosState s -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> PosState s -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> PosState s -> m (PosState s) #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> PosState s -> m (PosState s) #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> PosState s -> m (PosState s) #

Generic (PosState s)

Instance details

Defined in Text.Megaparsec.State

Associated Types

type Rep (PosState s)

Instance details

Defined in Text.Megaparsec.State

type Rep (PosState s) = D1 ('MetaData "PosState" "Text.Megaparsec.State" "megaparsec-9.7.0-KzfOZYJ4Q6GKdhxtoSNEi" 'False) (C1 ('MetaCons "PosState" 'PrefixI 'True) ((S1 ('MetaSel ('Just "pstateInput") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 s) :*: S1 ('MetaSel ('Just "pstateOffset") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Int)) :*: (S1 ('MetaSel ('Just "pstateSourcePos") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SourcePos) :*: (S1 ('MetaSel ('Just "pstateTabWidth") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Pos) :*: S1 ('MetaSel ('Just "pstateLinePrefix") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))))

Methods

from :: PosState s -> Rep (PosState s) x

to :: Rep (PosState s) x -> PosState s

Show s => Show (PosState s)

Instance details

Defined in Text.Megaparsec.State

Methods

showsPrec :: Int -> PosState s -> ShowS

show :: PosState s -> String #

showList :: [PosState s] -> ShowS

Eq s => Eq (PosState s)

Instance details

Defined in Text.Megaparsec.State

Methods

(==) :: PosState s -> PosState s -> Bool #

(/=) :: PosState s -> PosState s -> Bool #

type Rep (PosState s)

Instance details

Defined in Text.Megaparsec.State

type Rep (PosState s) = D1 ('MetaData "PosState" "Text.Megaparsec.State" "megaparsec-9.7.0-KzfOZYJ4Q6GKdhxtoSNEi" 'False) (C1 ('MetaCons "PosState" 'PrefixI 'True) ((S1 ('MetaSel ('Just "pstateInput") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 s) :*: S1 ('MetaSel ('Just "pstateOffset") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Int)) :*: (S1 ('MetaSel ('Just "pstateSourcePos") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SourcePos) :*: (S1 ('MetaSel ('Just "pstateTabWidth") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Pos) :*: S1 ('MetaSel ('Just "pstateLinePrefix") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))))

newtype NoShareInput a #

Constructors

NoShareInput
Fields unNoShareInput :: a

Instances

Instances details

Stream (NoShareInput ByteString)

Instance details

Defined in Text.Megaparsec.Stream

Associated Types

type Token (NoShareInput ByteString)
Instance details Defined in Text.Megaparsec.Stream type Token (NoShareInput ByteString) = Word8
type Tokens (NoShareInput ByteString)
Instance details Defined in Text.Megaparsec.Stream type Tokens (NoShareInput ByteString) = ByteString

Methods

tokenToChunk :: Proxy (NoShareInput ByteString) -> Token (NoShareInput ByteString) -> Tokens (NoShareInput ByteString) #

tokensToChunk :: Proxy (NoShareInput ByteString) -> [Token (NoShareInput ByteString)] -> Tokens (NoShareInput ByteString) #

chunkToTokens :: Proxy (NoShareInput ByteString) -> Tokens (NoShareInput ByteString) -> [Token (NoShareInput ByteString)] #

chunkLength :: Proxy (NoShareInput ByteString) -> Tokens (NoShareInput ByteString) -> Int #

chunkEmpty :: Proxy (NoShareInput ByteString) -> Tokens (NoShareInput ByteString) -> Bool #

take1_ :: NoShareInput ByteString -> Maybe (Token (NoShareInput ByteString), NoShareInput ByteString) #

takeN_ :: Int -> NoShareInput ByteString -> Maybe (Tokens (NoShareInput ByteString), NoShareInput ByteString) #

takeWhile_ :: (Token (NoShareInput ByteString) -> Bool) -> NoShareInput ByteString -> (Tokens (NoShareInput ByteString), NoShareInput ByteString) #

Stream (NoShareInput ByteString)

Instance details

Defined in Text.Megaparsec.Stream

Associated Types

type Token (NoShareInput ByteString)
Instance details Defined in Text.Megaparsec.Stream type Token (NoShareInput ByteString) = Word8
type Tokens (NoShareInput ByteString)
Instance details Defined in Text.Megaparsec.Stream type Tokens (NoShareInput ByteString) = ByteString

Methods

tokenToChunk :: Proxy (NoShareInput ByteString) -> Token (NoShareInput ByteString) -> Tokens (NoShareInput ByteString) #

tokensToChunk :: Proxy (NoShareInput ByteString) -> [Token (NoShareInput ByteString)] -> Tokens (NoShareInput ByteString) #

chunkToTokens :: Proxy (NoShareInput ByteString) -> Tokens (NoShareInput ByteString) -> [Token (NoShareInput ByteString)] #

chunkLength :: Proxy (NoShareInput ByteString) -> Tokens (NoShareInput ByteString) -> Int #

chunkEmpty :: Proxy (NoShareInput ByteString) -> Tokens (NoShareInput ByteString) -> Bool #

take1_ :: NoShareInput ByteString -> Maybe (Token (NoShareInput ByteString), NoShareInput ByteString) #

takeN_ :: Int -> NoShareInput ByteString -> Maybe (Tokens (NoShareInput ByteString), NoShareInput ByteString) #

takeWhile_ :: (Token (NoShareInput ByteString) -> Bool) -> NoShareInput ByteString -> (Tokens (NoShareInput ByteString), NoShareInput ByteString) #

Stream (NoShareInput Text)

Instance details

Defined in Text.Megaparsec.Stream

Associated Types

type Token (NoShareInput Text)
Instance details Defined in Text.Megaparsec.Stream type Token (NoShareInput Text) = Char
type Tokens (NoShareInput Text)
Instance details Defined in Text.Megaparsec.Stream type Tokens (NoShareInput Text) = Text

Methods

tokenToChunk :: Proxy (NoShareInput Text) -> Token (NoShareInput Text) -> Tokens (NoShareInput Text) #

tokensToChunk :: Proxy (NoShareInput Text) -> [Token (NoShareInput Text)] -> Tokens (NoShareInput Text) #

chunkToTokens :: Proxy (NoShareInput Text) -> Tokens (NoShareInput Text) -> [Token (NoShareInput Text)] #

chunkLength :: Proxy (NoShareInput Text) -> Tokens (NoShareInput Text) -> Int #

chunkEmpty :: Proxy (NoShareInput Text) -> Tokens (NoShareInput Text) -> Bool #

take1_ :: NoShareInput Text -> Maybe (Token (NoShareInput Text), NoShareInput Text) #

takeN_ :: Int -> NoShareInput Text -> Maybe (Tokens (NoShareInput Text), NoShareInput Text) #

takeWhile_ :: (Token (NoShareInput Text) -> Bool) -> NoShareInput Text -> (Tokens (NoShareInput Text), NoShareInput Text) #

Stream (NoShareInput Text)

Instance details

Defined in Text.Megaparsec.Stream

Associated Types

type Token (NoShareInput Text)
Instance details Defined in Text.Megaparsec.Stream type Token (NoShareInput Text) = Char
type Tokens (NoShareInput Text)
Instance details Defined in Text.Megaparsec.Stream type Tokens (NoShareInput Text) = Text

Methods

tokenToChunk :: Proxy (NoShareInput Text) -> Token (NoShareInput Text) -> Tokens (NoShareInput Text) #

tokensToChunk :: Proxy (NoShareInput Text) -> [Token (NoShareInput Text)] -> Tokens (NoShareInput Text) #

chunkToTokens :: Proxy (NoShareInput Text) -> Tokens (NoShareInput Text) -> [Token (NoShareInput Text)] #

chunkLength :: Proxy (NoShareInput Text) -> Tokens (NoShareInput Text) -> Int #

chunkEmpty :: Proxy (NoShareInput Text) -> Tokens (NoShareInput Text) -> Bool #

take1_ :: NoShareInput Text -> Maybe (Token (NoShareInput Text), NoShareInput Text) #

takeN_ :: Int -> NoShareInput Text -> Maybe (Tokens (NoShareInput Text), NoShareInput Text) #

takeWhile_ :: (Token (NoShareInput Text) -> Bool) -> NoShareInput Text -> (Tokens (NoShareInput Text), NoShareInput Text) #

type Token (NoShareInput ByteString)

Instance details

Defined in Text.Megaparsec.Stream

type Token (NoShareInput ByteString) = Word8

type Token (NoShareInput ByteString)

Instance details

Defined in Text.Megaparsec.Stream

type Token (NoShareInput ByteString) = Word8

type Token (NoShareInput Text)

Instance details

Defined in Text.Megaparsec.Stream

type Token (NoShareInput Text) = Char

type Token (NoShareInput Text)

Instance details

Defined in Text.Megaparsec.Stream

type Token (NoShareInput Text) = Char

type Tokens (NoShareInput ByteString)

Instance details

Defined in Text.Megaparsec.Stream

type Tokens (NoShareInput ByteString) = ByteString

type Tokens (NoShareInput ByteString)

Instance details

Defined in Text.Megaparsec.Stream

type Tokens (NoShareInput ByteString) = ByteString

type Tokens (NoShareInput Text)

Instance details

Defined in Text.Megaparsec.Stream

type Tokens (NoShareInput Text) = Text

type Tokens (NoShareInput Text)

Instance details

Defined in Text.Megaparsec.Stream

type Tokens (NoShareInput Text) = Text

newtype ShareInput a #

Constructors

ShareInput
Fields unShareInput :: a

Instances

Instances details

Stream (ShareInput ByteString)

Instance details

Defined in Text.Megaparsec.Stream

Associated Types

type Token (ShareInput ByteString)
Instance details Defined in Text.Megaparsec.Stream type Token (ShareInput ByteString) = Word8
type Tokens (ShareInput ByteString)
Instance details Defined in Text.Megaparsec.Stream type Tokens (ShareInput ByteString) = ByteString

Methods

tokenToChunk :: Proxy (ShareInput ByteString) -> Token (ShareInput ByteString) -> Tokens (ShareInput ByteString) #

tokensToChunk :: Proxy (ShareInput ByteString) -> [Token (ShareInput ByteString)] -> Tokens (ShareInput ByteString) #

chunkToTokens :: Proxy (ShareInput ByteString) -> Tokens (ShareInput ByteString) -> [Token (ShareInput ByteString)] #

chunkLength :: Proxy (ShareInput ByteString) -> Tokens (ShareInput ByteString) -> Int #

chunkEmpty :: Proxy (ShareInput ByteString) -> Tokens (ShareInput ByteString) -> Bool #

take1_ :: ShareInput ByteString -> Maybe (Token (ShareInput ByteString), ShareInput ByteString) #

takeN_ :: Int -> ShareInput ByteString -> Maybe (Tokens (ShareInput ByteString), ShareInput ByteString) #

takeWhile_ :: (Token (ShareInput ByteString) -> Bool) -> ShareInput ByteString -> (Tokens (ShareInput ByteString), ShareInput ByteString) #

Stream (ShareInput ByteString)

Instance details

Defined in Text.Megaparsec.Stream

Associated Types

type Token (ShareInput ByteString)
Instance details Defined in Text.Megaparsec.Stream type Token (ShareInput ByteString) = Word8
type Tokens (ShareInput ByteString)
Instance details Defined in Text.Megaparsec.Stream type Tokens (ShareInput ByteString) = ByteString

Methods

tokenToChunk :: Proxy (ShareInput ByteString) -> Token (ShareInput ByteString) -> Tokens (ShareInput ByteString) #

tokensToChunk :: Proxy (ShareInput ByteString) -> [Token (ShareInput ByteString)] -> Tokens (ShareInput ByteString) #

chunkToTokens :: Proxy (ShareInput ByteString) -> Tokens (ShareInput ByteString) -> [Token (ShareInput ByteString)] #

chunkLength :: Proxy (ShareInput ByteString) -> Tokens (ShareInput ByteString) -> Int #

chunkEmpty :: Proxy (ShareInput ByteString) -> Tokens (ShareInput ByteString) -> Bool #

take1_ :: ShareInput ByteString -> Maybe (Token (ShareInput ByteString), ShareInput ByteString) #

takeN_ :: Int -> ShareInput ByteString -> Maybe (Tokens (ShareInput ByteString), ShareInput ByteString) #

takeWhile_ :: (Token (ShareInput ByteString) -> Bool) -> ShareInput ByteString -> (Tokens (ShareInput ByteString), ShareInput ByteString) #

Stream (ShareInput Text)

Instance details

Defined in Text.Megaparsec.Stream

Associated Types

type Token (ShareInput Text)
Instance details Defined in Text.Megaparsec.Stream type Token (ShareInput Text) = Char
type Tokens (ShareInput Text)
Instance details Defined in Text.Megaparsec.Stream type Tokens (ShareInput Text) = Text

Methods

tokenToChunk :: Proxy (ShareInput Text) -> Token (ShareInput Text) -> Tokens (ShareInput Text) #

tokensToChunk :: Proxy (ShareInput Text) -> [Token (ShareInput Text)] -> Tokens (ShareInput Text) #

chunkToTokens :: Proxy (ShareInput Text) -> Tokens (ShareInput Text) -> [Token (ShareInput Text)] #

chunkLength :: Proxy (ShareInput Text) -> Tokens (ShareInput Text) -> Int #

chunkEmpty :: Proxy (ShareInput Text) -> Tokens (ShareInput Text) -> Bool #

take1_ :: ShareInput Text -> Maybe (Token (ShareInput Text), ShareInput Text) #

takeN_ :: Int -> ShareInput Text -> Maybe (Tokens (ShareInput Text), ShareInput Text) #

takeWhile_ :: (Token (ShareInput Text) -> Bool) -> ShareInput Text -> (Tokens (ShareInput Text), ShareInput Text) #

Stream (ShareInput Text)

Instance details

Defined in Text.Megaparsec.Stream

Associated Types

type Token (ShareInput Text)
Instance details Defined in Text.Megaparsec.Stream type Token (ShareInput Text) = Char
type Tokens (ShareInput Text)
Instance details Defined in Text.Megaparsec.Stream type Tokens (ShareInput Text) = Text

Methods

tokenToChunk :: Proxy (ShareInput Text) -> Token (ShareInput Text) -> Tokens (ShareInput Text) #

tokensToChunk :: Proxy (ShareInput Text) -> [Token (ShareInput Text)] -> Tokens (ShareInput Text) #

chunkToTokens :: Proxy (ShareInput Text) -> Tokens (ShareInput Text) -> [Token (ShareInput Text)] #

chunkLength :: Proxy (ShareInput Text) -> Tokens (ShareInput Text) -> Int #

chunkEmpty :: Proxy (ShareInput Text) -> Tokens (ShareInput Text) -> Bool #

take1_ :: ShareInput Text -> Maybe (Token (ShareInput Text), ShareInput Text) #

takeN_ :: Int -> ShareInput Text -> Maybe (Tokens (ShareInput Text), ShareInput Text) #

takeWhile_ :: (Token (ShareInput Text) -> Bool) -> ShareInput Text -> (Tokens (ShareInput Text), ShareInput Text) #

type Token (ShareInput ByteString)

Instance details

Defined in Text.Megaparsec.Stream

type Token (ShareInput ByteString) = Word8

type Token (ShareInput ByteString)

Instance details

Defined in Text.Megaparsec.Stream

type Token (ShareInput ByteString) = Word8

type Token (ShareInput Text)

Instance details

Defined in Text.Megaparsec.Stream

type Token (ShareInput Text) = Char

type Token (ShareInput Text)

Instance details

Defined in Text.Megaparsec.Stream

type Token (ShareInput Text) = Char

type Tokens (ShareInput ByteString)

Instance details

Defined in Text.Megaparsec.Stream

type Tokens (ShareInput ByteString) = ByteString

type Tokens (ShareInput ByteString)

Instance details

Defined in Text.Megaparsec.Stream

type Tokens (ShareInput ByteString) = ByteString

type Tokens (ShareInput Text)

Instance details

Defined in Text.Megaparsec.Stream

type Tokens (ShareInput Text) = Text

type Tokens (ShareInput Text)

Instance details

Defined in Text.Megaparsec.Stream

type Tokens (ShareInput Text) = Text

type family Token s #

Instances

Instances details

type Token ByteString
Instance details Defined in Text.Megaparsec.Stream type Token ByteString = Token (ShareInput ByteString)
type Token ByteString
Instance details Defined in Text.Megaparsec.Stream type Token ByteString = Token (ShareInput ByteString)
type Token Text
Instance details Defined in Text.Megaparsec.Stream type Token Text = Token (ShareInput Text)
type Token Text
Instance details Defined in Text.Megaparsec.Stream type Token Text = Token (ShareInput Text)
type Token (Seq a)
Instance details Defined in Text.Megaparsec.Stream type Token (Seq a) = a
type Token (NoShareInput ByteString)
Instance details Defined in Text.Megaparsec.Stream type Token (NoShareInput ByteString) = Word8
type Token (NoShareInput ByteString)
Instance details Defined in Text.Megaparsec.Stream type Token (NoShareInput ByteString) = Word8
type Token (NoShareInput Text)
Instance details Defined in Text.Megaparsec.Stream type Token (NoShareInput Text) = Char
type Token (NoShareInput Text)
Instance details Defined in Text.Megaparsec.Stream type Token (NoShareInput Text) = Char
type Token (ShareInput ByteString)
Instance details Defined in Text.Megaparsec.Stream type Token (ShareInput ByteString) = Word8
type Token (ShareInput ByteString)
Instance details Defined in Text.Megaparsec.Stream type Token (ShareInput ByteString) = Word8
type Token (ShareInput Text)
Instance details Defined in Text.Megaparsec.Stream type Token (ShareInput Text) = Char
type Token (ShareInput Text)
Instance details Defined in Text.Megaparsec.Stream type Token (ShareInput Text) = Char
type Token [a]
Instance details Defined in Text.Megaparsec.Stream type Token [a] = a

class Stream s => TraversableStream s where #

Minimal complete definition

reachOffset | reachOffsetNoLine

Methods

reachOffset :: Int -> PosState s -> (Maybe String, PosState s) #

reachOffsetNoLine :: Int -> PosState s -> PosState s #

Instances

Instances details

TraversableStream ByteString
Instance details Defined in Text.Megaparsec.Stream Methods reachOffset :: Int -> PosState ByteString -> (Maybe String, PosState ByteString) # reachOffsetNoLine :: Int -> PosState ByteString -> PosState ByteString #
TraversableStream ByteString
Instance details Defined in Text.Megaparsec.Stream Methods reachOffset :: Int -> PosState ByteString -> (Maybe String, PosState ByteString) # reachOffsetNoLine :: Int -> PosState ByteString -> PosState ByteString #
TraversableStream Text
Instance details Defined in Text.Megaparsec.Stream Methods reachOffset :: Int -> PosState Text -> (Maybe String, PosState Text) # reachOffsetNoLine :: Int -> PosState Text -> PosState Text #
TraversableStream Text
Instance details Defined in Text.Megaparsec.Stream Methods reachOffset :: Int -> PosState Text -> (Maybe String, PosState Text) # reachOffsetNoLine :: Int -> PosState Text -> PosState Text #
TraversableStream String
Instance details Defined in Text.Megaparsec.Stream Methods reachOffset :: Int -> PosState String -> (Maybe String, PosState String) # reachOffsetNoLine :: Int -> PosState String -> PosState String #

class Stream s => VisualStream s where #

Minimal complete definition

showTokens

Methods

showTokens :: Proxy s -> NonEmpty (Token s) -> String #

tokensLength :: Proxy s -> NonEmpty (Token s) -> Int #

Instances

Instances details

VisualStream ByteString
Instance details Defined in Text.Megaparsec.Stream Methods showTokens :: Proxy ByteString -> NonEmpty (Token ByteString) -> String # tokensLength :: Proxy ByteString -> NonEmpty (Token ByteString) -> Int #
VisualStream ByteString
Instance details Defined in Text.Megaparsec.Stream Methods showTokens :: Proxy ByteString -> NonEmpty (Token ByteString) -> String # tokensLength :: Proxy ByteString -> NonEmpty (Token ByteString) -> Int #
VisualStream Text
Instance details Defined in Text.Megaparsec.Stream Methods showTokens :: Proxy Text -> NonEmpty (Token Text) -> String # tokensLength :: Proxy Text -> NonEmpty (Token Text) -> Int #
VisualStream Text
Instance details Defined in Text.Megaparsec.Stream Methods showTokens :: Proxy Text -> NonEmpty (Token Text) -> String # tokensLength :: Proxy Text -> NonEmpty (Token Text) -> Int #
VisualStream String
Instance details Defined in Text.Megaparsec.Stream Methods showTokens :: Proxy String -> NonEmpty (Token String) -> String # tokensLength :: Proxy String -> NonEmpty (Token String) -> Int #