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

Data.Type.Symbol.Parser.Parser.Drop

Synopsis
  • type family Drop n where ...
  • type Drop' n = '(DropChSym, DropEndSym, n)

Documentation

type family Drop n where ... Source #

Equations

Drop 0 = '(FailChSym "Drop" (ErrParserLimitation "can't drop 0"), DropEndSym, 0) 
Drop n = Drop' n 

type Drop' n = '(DropChSym, DropEndSym, n) Source #

Unsafe Drop which doesn't check for 0. May get stuck.