symbol-parser-0.3.0: Type level string parser combinators
Source
Contents
Index
Safe Haskell
Safe-Inferred
Language
GHC2021
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))