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

Symparsec.Parser.Take

Synopsis
  • type family Take n where ...

Documentation

type family Take n where ... Source #

Return the next n characters.

Equations

Take 0 = '(FailChSym "Take" (ErrParserLimitation "can't take 0"), TakeEndSym, '(0, '[])) 
Take n = '(TakeChSym, TakeEndSym, '(n, '[]))