eof

base Text.ParserCombinators.ReadP, ghc-internal GHC.Internal.Text.ParserCombinators.ReadP

Succeeds iff we are at the end of input

eof :: (Stream s m t, Show t) => ParsecT s u m ()

parsec Text.Parsec Text.Parsec.Combinator Text.ParserCombinators.Parsec.Combinator

This parser only succeeds at the end of the input. This is not a primitive parser but it is defined using notFollowedBy.

eof  = notFollowedBy anyToken <?> "end of input"

eof :: MonadParsec e s m => m ()

megaparsec Text.Megaparsec, tomland Toml.Parser.Core

This parser only succeeds at the end of input.

eof :: forall s (m :: Type -> Type) t u . (Stream s m t, Show t) => ParsecT s u m ()

pandoc Text.Pandoc.Parsing, parsec-class Text.Parsec.Class

This parser only succeeds at the end of the input. This is not a primitive parser but it is defined using notFollowedBy.

eof  = notFollowedBy anyToken <?> "end of input"

eof :: Parsing m => m ()

parsers Text.Parser.Combinators, Cabal-syntax Distribution.Compat.Parsing

This parser only succeeds at the end of the input. This is not a primitive parser but it is defined using notFollowedBy.

eof  = notFollowedBy anyChar <?> "end of input"

eof :: (Parsing m, MonadTrans t, Monad n, Parsing n, m ~ t n) => m ()

parsers Text.Parser.Combinators

This parser only succeeds at the end of the input. This is not a primitive parser but it is defined using notFollowedBy.

eof  = notFollowedBy anyChar <?> "end of input"

eof :: Parser s ()

graphviz Data.GraphViz.Parsing, polyparse Text.ParserCombinators.Poly.StateText

Succeed if the end of file/input has been reached, fail otherwise.

eof :: Pattern ()

turtle Turtle.Pattern

Matches the end of input

>>> match eof "1"
[]

>>> match eof ""
[()]

eof :: Show p => Parser s (p, t) String ()

polyparse Text.ParserCombinators.HuttonMeijerWallace

Fail if end of input is not reached

eof :: Parser ()

polyparse Text.ParserCombinators.Poly.ByteString Text.ParserCombinators.Poly.ByteStringChar Text.ParserCombinators.Poly.Text

Succeed if the end of file/input has been reached, fail otherwise.

eof :: Parser t ()

polyparse Text.ParserCombinators.Poly.Lazy Text.ParserCombinators.Poly.Lex Text.ParserCombinators.Poly.Parser Text.ParserCombinators.Poly.Plain

Succeed if the end of file/input has been reached, fail otherwise.

eof :: Parser s t ()

polyparse Text.ParserCombinators.Poly.State Text.ParserCombinators.Poly.StateLazy Text.ParserCombinators.Poly.StateParser

Succeed if the end of file/input has been reached, fail otherwise.

eof :: Monad m => Parser a m ()

streamly-core Streamly.Data.Parser Streamly.Internal.Data.Parser

Succeeds if we are at the end of input, fails otherwise.

>>> Stream.parse ((,) <$> Parser.satisfy (> 0) <*> Parser.eof) $ Stream.fromList [1]
Right (1,())

eof :: forall s . Parser s ()

yi-core Parser.Incremental Yi.IncrementalParse, yi Yi.IncrementalParse

eof :: LexPredicate

Agda Agda.Syntax.Parser.LexActions

True if we are at the end of the file.

eof :: ParserT st e ()

flatparse FlatParse.Basic FlatParse.Basic.Base

Succeed if the input is empty.

eof :: ParserT st r e ()

flatparse FlatParse.Stateful FlatParse.Stateful.Base

Succeed if the input is empty.

eof :: Parser ()

xmonad-contrib XMonad.Util.Parser

Succeeds if and only if we are at the end of input.

eof :: ReadP r ()

cabal-install Distribution.Deprecated.ReadP

Succeeds iff we are at the end of input

eof :: (MonoidNull s, Monoid r, Semigroup r) => Parser t s r

incremental-parser Text.ParserCombinators.Incremental Text.ParserCombinators.Incremental.LeftBiasedLocal Text.ParserCombinators.Incremental.Symmetric

A parser that fails on any non-empty input and succeeds at its end.

eof :: Stream s m Token => ParsecT s u m ()

ace ACE.Combinators

This parser only succeeds at the end of the input. This is not a primitive parser but it is defined using notFollowedBy.

eof  = notFollowedBy anyToken <?> "end of input"

eof :: Parser s ()

djot Djot.Parse

Succeeds if no more input.

eof :: Parser t ()

text-postgresql Database.PostgreSQL.Parser

eof :: P s ()

frisby Text.Parsers.Frisby

am at the end of string.

eof :: Get ()

protocol-radius Data.Radius.StreamGet.Base