symparsec-0.4.0: Type level string parser combinators
Safe HaskellSafe-Inferred
LanguageGHC2021

Symparsec.Parser.Skip

Synopsis
  • type family Skip n where ...
  • type Skip' n = '(SkipChSym, SkipEndSym, n)

Documentation

type family Skip n where ... Source #

Skip forward n characters. Fails if fewer than n characters are available.

Equations

Skip 0 = '(FailChSym "Skip" (ErrParserLimitation "can't drop 0"), SkipEndSym, 0) 
Skip n = Skip' n 

type Skip' n = '(SkipChSym, SkipEndSym, n) Source #

Unsafe Skip which doesn't check for n=0. May get stuck.