symbol-parser-0.3.0: Type level string parser combinators
Safe HaskellSafe-Inferred
LanguageGHC2021

Data.Type.Symbol.Parser.Parser.Isolate

Documentation

type family Isolate n p where ... Source #

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))