symparsec
Safe HaskellNone
LanguageGHC2021

Symparsec.Parser.Take

Synopsis

Documentation

data Take (n :: Natural) (s :: FunKind PState (PReply Symbol)) Source #

Return the next n characters.

Instances

Instances details
type App (Take n :: FunKind PState (PReply Symbol) -> Type) (s :: PState) Source # 
Instance details

Defined in Symparsec.Parser.Take

type App (Take n :: FunKind PState (PReply Symbol) -> Type) (s :: PState)

data TakeSym (n :: FunKind Natural (PParser Symbol)) Source #

Take defunctionalization symbol.

Instances

Instances details
type App TakeSym (n :: Natural) Source # 
Instance details

Defined in Symparsec.Parser.Take

type App TakeSym (n :: Natural) = Take n