symbol-parser-0.3.0: Type level string parser combinators
Source
Contents
Index
Safe Haskell
Safe-Inferred
Language
GHC2021
Data.Type.Symbol.Parser.Parser.Take
Documentation
type family
Take
n
where ...
Source
#
Equations
Take
0 = '(
FailChSym
"Take" (
ErrParserLimitation
"can't take 0"), TakeEndSym, '(0, '[]))
Take
n = '(TakeChSym, TakeEndSym, '(n, '[]))