Symparsec.Parser.Skip

Documentation

type Skip n = 'PParser SkipChSym SkipEndSym n

Skip forward n characters. Fails if fewer than n characters are available'.

sSkip :: SNat n -> SParser SNat SUnit (Skip n)

type family SkipCh ch n where ...

Equations

SkipCh _ 0 = Done '()

SkipCh _ n = Cont (n - 1)

data SkipChSym f

Instances

KnownNat n => SingParser (Skip n :: PParser Natural ())

Defined in Symparsec.Parser.Skip

Associated Types

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

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

Methods

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

type PR (Skip n :: PParser Natural ())

Defined in Symparsec.Parser.Skip

type PR (Skip n :: PParser Natural ()) = SUnit

type PS (Skip n :: PParser Natural ())

Defined in Symparsec.Parser.Skip

type PS (Skip n :: PParser Natural ()) = SNat

type App SkipChSym (f :: Char)

Defined in Symparsec.Parser.Skip

type App SkipChSym (f :: Char) = SkipChSym1 f

data SkipChSym1 ch n

Instances

type App (SkipChSym1 ch :: FunKind Natural (PResult Natural ()) -> Type) (n :: Natural)

Defined in Symparsec.Parser.Skip

type App (SkipChSym1 ch :: FunKind Natural (PResult Natural ()) -> Type) (n :: Natural) = SkipCh ch n

sSkipChSym :: SParserChSym SNat SUnit SkipChSym

type family SkipEnd n where ...

Equations

SkipEnd 0 = Right '()

SkipEnd n = Left (ESkipPastEnd n)

type ESkipPastEnd n = EBase "Skip" ((Text "tried to skip " :<>: Text (ShowNatDec n)) :<>: Text " chars from empty string")

eSkipPastEnd :: SNat n -> SE (ESkipPastEnd n)

data SkipEndSym n

Instances

KnownNat n => SingParser (Skip n :: PParser Natural ())

Defined in Symparsec.Parser.Skip

Associated Types

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

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

Methods

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

type PR (Skip n :: PParser Natural ())

Defined in Symparsec.Parser.Skip

type PR (Skip n :: PParser Natural ()) = SUnit

type PS (Skip n :: PParser Natural ())

Defined in Symparsec.Parser.Skip

type PS (Skip n :: PParser Natural ()) = SNat

type App SkipEndSym (n :: Natural)

Defined in Symparsec.Parser.Skip

type App SkipEndSym (n :: Natural) = SkipEnd n

sSkipEndSym :: SParserEndSym SNat SUnit SkipEndSym