symparsec
Safe HaskellNone
LanguageGHC2021

Symparsec.Parser.Skip

Synopsis

Documentation

type Skip (n :: Natural) = Ensure n *> SkipUnsafe n Source #

Skip forward n characters. Fails if fewer than n characters remain.

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

Skip forward n characters. n must be less than or equal to the number of remaining characters. (Fairly unhelpful; use Skip instead.)

Instances

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

Defined in Symparsec.Parser.Skip

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