symparsec
Safe HaskellNone
LanguageGHC2021

Symparsec.Parser.Ensure

Synopsis

Documentation

data Ensure (n :: Natural) (s :: FunKind PState (PReply ())) Source #

Assert that there are at least n characters remaining. Non-consuming.

Instances

Instances details
type App (Ensure n :: FunKind PState (PReply ()) -> Type) (s :: PState) Source # 
Instance details

Defined in Symparsec.Parser.Ensure

type App (Ensure n :: FunKind PState (PReply ()) -> Type) (s :: PState)