Symparsec.Parser.Take

Documentation

type Take n = 'PParser TakeChSym TakeEndSym '(n, '[])

Return the next n characters.

type STakeS = STuple2 SNat (SList SChar)

type TakeS = (Natural, [Char])

sTake :: SNat n -> SParser STakeS SSymbol (Take n)

type family TakeCh ch s where ...

Equations

TakeCh ch '(0, chs) = Done (RevCharsToSymbol chs)

TakeCh ch '(n, chs) = Cont '(n - 1, ch : chs)

data TakeChSym f

Instances

KnownNat n => SingParser (Take n :: PParser TakeS Symbol)

Defined in Symparsec.Parser.Take

Associated Types

type PS (Take n) :: s -> Type

type PR (Take n) :: r -> Type

Methods

singParser' :: SParser (PS (Take n)) (PR (Take n)) (Take n)

type PR (Take n :: PParser TakeS Symbol)

Defined in Symparsec.Parser.Take

type PR (Take n :: PParser TakeS Symbol) = SSymbol

type PS (Take n :: PParser TakeS Symbol)

Defined in Symparsec.Parser.Take

type PS (Take n :: PParser TakeS Symbol) = STakeS

type App TakeChSym (f :: Char)

Defined in Symparsec.Parser.Take

type App TakeChSym (f :: Char) = TakeChSym1 f

sTakeChSym :: SParserChSym STakeS SSymbol TakeChSym

data TakeChSym1 ch s

Instances

type App (TakeChSym1 ch :: FunKind TakeS (PResult TakeS Symbol) -> Type) (s :: TakeS)

Defined in Symparsec.Parser.Take

type App (TakeChSym1 ch :: FunKind TakeS (PResult TakeS Symbol) -> Type) (s :: TakeS) = TakeCh ch s

type family TakeEnd s where ...

Equations

TakeEnd '(0, chs) = Right (RevCharsToSymbol chs)

TakeEnd '(n, _) = Left (ETakeEnd n)

type ETakeEnd n = EBase "Take" ((Text "tried to take " :<>: Text (ShowNatDec n)) :<>: Text " chars from empty string")

eTakeEnd :: SNat n -> SE (ETakeEnd n)

data TakeEndSym s

Instances

KnownNat n => SingParser (Take n :: PParser TakeS Symbol)

Defined in Symparsec.Parser.Take

Associated Types

type PS (Take n) :: s -> Type

type PR (Take n) :: r -> Type

Methods

singParser' :: SParser (PS (Take n)) (PR (Take n)) (Take n)

type PR (Take n :: PParser TakeS Symbol)

Defined in Symparsec.Parser.Take

type PR (Take n :: PParser TakeS Symbol) = SSymbol

type PS (Take n :: PParser TakeS Symbol)

Defined in Symparsec.Parser.Take

type PS (Take n :: PParser TakeS Symbol) = STakeS

type App TakeEndSym (s :: TakeS)

Defined in Symparsec.Parser.Take

type App TakeEndSym (s :: TakeS) = TakeEnd s

sTakeEndSym :: SParserEndSym STakeS SSymbol TakeEndSym