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

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, '[]))