| Safe Haskell | Safe-Inferred |
|---|---|
| Language | GHC2021 |
Symparsec.Parser.Isolate
Synopsis
- type family Isolate n p where ...
Documentation
type family Isolate n p where ... Source #
Run the given parser isolated to the next n characters.
All isolated characters must be consumed.
Equations
| Isolate 0 '(pCh, pEnd, s) = '(FailChSym "Isolate" (ErrParserLimitation "cannot isolate 0"), IsolateEndSym, '(0, s)) | |
| Isolate n '(pCh, pEnd, s) = '(IsolateChSym pCh pEnd, IsolateEndSym, '(n - 1, s)) |