Symparsec.Parser

Base definitions for Symparsec parsers.

Some types are useable both on term-level, and promoted on type-level e.g. Result. For ease of use, you can access the promoted version via type synonyms like PResult (for promoted X). (This pattern is copied from singletons.)

Some definitions I use:

• "defun symbol": Short for "defunctionalization symbol". A method of passing type-level functions (type families) around, without applying them. We use phadej's defun library for the basic functionality.
• "consuming [parser]": A parser which must consume its input. Symparsec parsers are always consuming, as it helps keep parser running simple. This is problematic, as you can define non-consuming parsers e.g. Take 0. We handle this by preprocessing initial parser state, to check for such cases.

Parser

data Parser str s r

Constructors

Parser

Fields

• parserCh :: ParserCh str s r
• parserEnd :: ParserEnd str s r
• parserS0 :: s

data PParser s r

A type-level parser, containing defunctionalization symbols.

Only intended for promoted use. For singled term-level parsers, use SParser. (Symparsec doesn't provide "regular" term-level parsers.)

I would make this demotable, but the defun symbols get in the way.

Constructors

PParser

Fields

• pparserCh :: ParserChSym s r
• pparserEnd :: ParserEndSym s r
• pparserS0 :: s

type ResultOf (p :: PParser s r) = r

The result type of a type-level parser. (Sometimes handy.)

data SParser ss sr p where

A singled parser.

TODO consider swapping for STuple3...? this is much easier though

Constructors

SParser :: SParserChSym ss sr pCh -> SParserEndSym ss sr pEnd -> ss s0 -> SParser ss sr ('PParser pCh pEnd s0)

type ParserCh str s r = Char -> s -> Result str s r

Parse a Char with the given state.

type PParserCh s r = ParserCh Symbol s r

type ParserChSym s r = Char ~> (s ~> PResult s r)

A defunctionalization symbol for a ParserCh.

type ParserChSym1 s r = Char -> s ~> PResult s r

A partially-applied defunctionalization symbol for a ParserCh.

type SParserChSym ss sr pCh = Lam2 SChar ss (SResult ss sr) pCh

type SParserChSym1 ch ss sr pCh = SChar ch -> Lam ss (SResult ss sr) (pCh ch)

type ParserEnd str s r = s -> ResultEnd str r

What a parser should do at the end of a Symbol.

type PParserEnd s r = ParserEnd Symbol s r

type ParserEndSym s r = s ~> PResultEnd r

A defunctionalization symbol for a ParserEnd.

type SParserEndSym ss sr pEnd = Lam ss (SResultEnd sr) pEnd

type ParserSInit s0 s = s0 -> PResultSInit s

type ParserSInitSym s0 s = s0 ~> PResultSInit s

type SParserSInitSym ss0 ss sInit = Lam ss0 (SResultSInit ss) sInit

data Result str s r

The result of a single step of a parser.

Promotable. Instantiate with String for term-level, Symbol for type-level.

Note that a Done indicates the parser has not consumed the character. In the original design, it did consume it, and parsers did their own "lookahead" to handle this. The non-consuming behaviour simplifies permitting non-consuming parsers such as Take 0.

Constructors

Cont s

OK, consumed, continue with state s

Done r

OK, not consumed, parse succeeded with result r

Err (E str)

parse error

Instances

type App TakeChSym (f :: Char)

Defined in Symparsec.Parser.Take

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

type App SkipChSym (f :: Char)

Defined in Symparsec.Parser.Skip

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

type App TakeRestChSym (f :: Char)

Defined in Symparsec.Parser.TakeRest

type App TakeRestChSym (f :: Char) = TakeRestChSym1 f

type App LiteralChSym (f :: Char)

Defined in Symparsec.Parser.Literal

type App LiteralChSym (f :: Char) = LiteralChSym1 f

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 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

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

Defined in Symparsec.Parser.Literal

type App (LiteralChSym1 ch :: FunKind Symbol (PResult Symbol ()) -> Type) (s :: Symbol) = LiteralCh ch s

type App (NatBaseChSym base parseDigit :: FunKind Char (Maybe Natural ~> PResult (Maybe Natural) Natural) -> Type) (f :: Char)

Defined in Symparsec.Parser.Natural

type App (NatBaseChSym base parseDigit :: FunKind Char (Maybe Natural ~> PResult (Maybe Natural) Natural) -> Type) (f :: Char) = NatBaseChSym1 base parseDigit f

type App (EndChSym :: FunKind Char (s ~> PResult s r) -> Type) (f :: Char)

Defined in Symparsec.Parser.End

type App (EndChSym :: FunKind Char (s ~> PResult s r) -> Type) (f :: Char) = EndChSym1 f :: FunKind s (PResult s r) -> Type

type App (EndChSym1 ch :: FunKind a (PResult a r) -> Type) (s :: a)

Defined in Symparsec.Parser.End

type App (EndChSym1 ch :: FunKind a (PResult a r) -> Type) (s :: a) = 'Err ('EBase "End" ('Text "expected end of string")) :: Result Symbol a r

type App (CountChSym pCh s0 :: FunKind Char (CountS s r ~> PResult (CountS s r) [r]) -> Type) (f :: Char)

Defined in Symparsec.Parser.Count

type App (CountChSym pCh s0 :: FunKind Char (CountS s r ~> PResult (CountS s r) [r]) -> Type) (f :: Char) = CountChSym1 pCh s0 f

type App (IsolateChSym pCh pEnd :: FunKind Char ((Natural, s) ~> PResult (Natural, s) r) -> Type) (f :: Char)

Defined in Symparsec.Parser.Isolate

type App (IsolateChSym pCh pEnd :: FunKind Char ((Natural, s) ~> PResult (Natural, s) r) -> Type) (f :: Char) = IsolateChSym1 pCh pEnd f

type App (FailChSym name e :: FunKind Char (s ~> PResult s r) -> Type) (f :: Char)

Defined in Symparsec.Parser.Common

type App (FailChSym name e :: FunKind Char (s ~> PResult s r) -> Type) (f :: Char)

type App (WhileChSym chPred pCh pEnd :: FunKind Char (s ~> PResult s r) -> Type) (f :: Char)

Defined in Symparsec.Parser.While

type App (WhileChSym chPred pCh pEnd :: FunKind Char (s ~> PResult s r) -> Type) (f :: Char) = WhileChSym1 chPred pCh pEnd f

type App (ApplyChSym f pCh :: FunKind Char (s ~> PResult s r') -> Type) (x :: Char)

Defined in Symparsec.Parser.Apply

type App (ApplyChSym f pCh :: FunKind Char (s ~> PResult s r') -> Type) (x :: Char) = ApplyChSym1 f pCh x

type App (WhileChSym1 chPred pCh pEnd ch :: FunKind s1 (PResult s1 r) -> Type) (s2 :: s1)

Defined in Symparsec.Parser.While

type App (WhileChSym1 chPred pCh pEnd ch :: FunKind s1 (PResult s1 r) -> Type) (s2 :: s1) = WhileCh chPred pCh pEnd ch s2

type App (ApplyChSym1 f pCh ch :: FunKind s1 (PResult s1 r') -> Type) (s2 :: s1)

Defined in Symparsec.Parser.Apply

type App (ApplyChSym1 f pCh ch :: FunKind s1 (PResult s1 r') -> Type) (s2 :: s1) = ApplyCh f pCh ch s2

type App (ThenChSym plCh prCh s0r :: FunKind Char (Either sl (rl, sr) ~> PResult (Either sl (rl, sr)) (rl, rr)) -> Type) (f :: Char)

Defined in Symparsec.Parser.Then

type App (ThenChSym plCh prCh s0r :: FunKind Char (Either sl (rl, sr) ~> PResult (Either sl (rl, sr)) (rl, rr)) -> Type) (f :: Char) = ThenChSym1 plCh prCh s0r f

type App (ThenVRChSym plCh prCh s0r :: FunKind Char (Either sl (rl, sr) ~> PResult (Either sl (rl, sr)) rl) -> Type) (f :: Char)

Defined in Symparsec.Parser.Then.VoidRight

type App (ThenVRChSym plCh prCh s0r :: FunKind Char (Either sl (rl, sr) ~> PResult (Either sl (rl, sr)) rl) -> Type) (f :: Char) = ThenVRChSym1 plCh prCh s0r f

type App (ThenVLChSym plCh prCh s0r :: FunKind Char (Either sl sr ~> PResult (Either sl sr) rr) -> Type) (f :: Char)

Defined in Symparsec.Parser.Then.VoidLeft

type App (ThenVLChSym plCh prCh s0r :: FunKind Char (Either sl sr ~> PResult (Either sl sr) rr) -> Type) (f :: Char) = ThenVLChSym1 plCh prCh s0r f

type App (OrChSym plCh prCh s0r :: FunKind Char (OrS sl sr ~> PResult (OrS sl sr) (Either rl rr)) -> Type) (f :: Char)

Defined in Symparsec.Parser.Or

type App (OrChSym plCh prCh s0r :: FunKind Char (OrS sl sr ~> PResult (OrS sl sr) (Either rl rr)) -> Type) (f :: Char) = OrChSym1 plCh prCh s0r f

type App (TakeRestChSym1 ch :: FunKind [Char] (PResult [Char] Symbol) -> Type) (chs :: [Char])

Defined in Symparsec.Parser.TakeRest

type App (TakeRestChSym1 ch :: FunKind [Char] (PResult [Char] Symbol) -> Type) (chs :: [Char]) = 'Cont (ch ': chs) :: Result Symbol [Char] Symbol

type App (NatBaseChSym1 base parseDigit ch :: FunKind (Maybe Natural) (PResult (Maybe Natural) Natural) -> Type) (mn :: Maybe Natural)

Defined in Symparsec.Parser.Natural

type App (NatBaseChSym1 base parseDigit ch :: FunKind (Maybe Natural) (PResult (Maybe Natural) Natural) -> Type) (mn :: Maybe Natural) = NatBaseCh base parseDigit ch mn

type App (CountChSym1 pCh s0 ch :: FunKind (CountS k1 k2) (PResult (CountS k1 k2) [k2]) -> Type) (s :: CountS k1 k2)

Defined in Symparsec.Parser.Count

type App (CountChSym1 pCh s0 ch :: FunKind (CountS k1 k2) (PResult (CountS k1 k2) [k2]) -> Type) (s :: CountS k1 k2) = CountCh pCh s0 ch s

type App (IsolateChSym1 pCh pEnd ch :: FunKind (Natural, s1) (PResult (Natural, s1) r) -> Type) (s2 :: (Natural, s1))

Defined in Symparsec.Parser.Isolate

type App (IsolateChSym1 pCh pEnd ch :: FunKind (Natural, s1) (PResult (Natural, s1) r) -> Type) (s2 :: (Natural, s1)) = IsolateCh pCh pEnd ch s2

type App (ThenChSym1 plCh prCh s0r ch :: FunKind (Either sl (rl, sr)) (PResult (Either sl (rl, sr)) (rl, rr)) -> Type) (s :: Either sl (rl, sr))

Defined in Symparsec.Parser.Then

type App (ThenChSym1 plCh prCh s0r ch :: FunKind (Either sl (rl, sr)) (PResult (Either sl (rl, sr)) (rl, rr)) -> Type) (s :: Either sl (rl, sr)) = ThenCh plCh prCh s0r ch s

type App (ThenVRChSym1 plCh prCh s0r ch :: FunKind (Either sl (rl, sr)) (PResult (Either sl (rl, sr)) rl) -> Type) (s :: Either sl (rl, sr))

Defined in Symparsec.Parser.Then.VoidRight

type App (ThenVRChSym1 plCh prCh s0r ch :: FunKind (Either sl (rl, sr)) (PResult (Either sl (rl, sr)) rl) -> Type) (s :: Either sl (rl, sr)) = ThenVRCh plCh prCh s0r ch s

type App (ThenVLChSym1 plCh prCh s0r ch :: FunKind (Either sl sr) (PResult (Either sl sr) rr) -> Type) (s :: Either sl sr)

Defined in Symparsec.Parser.Then.VoidLeft

type App (ThenVLChSym1 plCh prCh s0r ch :: FunKind (Either sl sr) (PResult (Either sl sr) rr) -> Type) (s :: Either sl sr) = ThenVLCh plCh prCh s0r ch s

type App (OrChSym1 plCh prCh sr2 ch :: FunKind (OrS sl sr1) (PResult (OrS sl sr1) (Either rl rr)) -> Type) (s :: OrS sl sr1)

Defined in Symparsec.Parser.Or

type App (OrChSym1 plCh prCh sr2 ch :: FunKind (OrS sl sr1) (PResult (OrS sl sr1) (Either rl rr)) -> Type) (s :: OrS sl sr1) = OrCh plCh prCh sr2 ch s

type PResult = Result Symbol

Promoted Result.

data SResult (ss :: s -> Type) (sr :: r -> Type) (res :: PResult s r) where

Constructors

SCont :: ss s -> SResult ss sr (Cont s)

SDone :: sr r -> SResult ss sr (Done r)

SErr :: SE e -> SResult ss sr (Err e)

type PResultEnd = Either PE

type SResultEnd = SEither SE

type PResultSInit s = Either (PE, s) s

type SResultSInit ss = SEither (STuple2 SE ss) ss

Error

data E str

Parser error.

Promotable. Instantiate with String for term-level, Symbol for type-level.

Constructors

EBase

Base parser error.

Fields

• str

  parser name

• (Doc str)

  error message

EIn

Inner parser error inside combinator.

Fields

• str

  combinator name

• (E str)

  inner error

Instances

Demotable SE

Defined in Symparsec.Parser

Associated Types

type Demote SE

Methods

demote :: forall (k1 :: k). SE k1 -> Demote SE

SingParser End

Defined in Symparsec.Parser.End

Associated Types

type PS End :: s -> Type

type PR End :: r -> Type

Methods

singParser' :: SParser (PS End) (PR End) End

Show str => Show (E str)

Defined in Symparsec.Parser

Methods

showsPrec :: Int -> E str -> ShowS

show :: E str -> String

showList :: [E str] -> ShowS

type Demote SE

Defined in Symparsec.Parser

type Demote SE = E String

type PR End

Defined in Symparsec.Parser.End

type PR End = SUnit

type PS End

Defined in Symparsec.Parser.End

type PS End = SUnit

type App TakeEndSym (s :: TakeS)

Defined in Symparsec.Parser.Take

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

type App SkipEndSym (n :: Natural)

Defined in Symparsec.Parser.Skip

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

type App LiteralEndSym (s :: Symbol)

Defined in Symparsec.Parser.Literal

type App LiteralEndSym (s :: Symbol) = LiteralEnd s

type App (FailEndSym name e :: FunKind a (PResultEnd r) -> Type) (s :: a)

Defined in Symparsec.Parser.Common

type App (FailEndSym name e :: FunKind a (PResultEnd r) -> Type) (s :: a) = 'Left ('EBase name e) :: Either (E Symbol) r

type App (ApplyEndSym f pEnd :: FunKind s1 (PResultEnd r') -> Type) (s2 :: s1)

Defined in Symparsec.Parser.Apply

type App (ApplyEndSym f pEnd :: FunKind s1 (PResultEnd r') -> Type) (s2 :: s1) = ApplyEnd f pEnd s2

type App NatBaseEndSym (mn :: Maybe Natural)

Defined in Symparsec.Parser.Natural

type App NatBaseEndSym (mn :: Maybe Natural) = NatBaseEnd mn

type App TakeRestEndSym (chs :: [Char])

Defined in Symparsec.Parser.TakeRest

type App TakeRestEndSym (chs :: [Char]) = 'Right (RevCharsToSymbol chs) :: Either PE Symbol

type App (IsolateEndSym pEnd :: FunKind (Natural, s1) (PResultEnd r) -> Type) (s2 :: (Natural, s1))

Defined in Symparsec.Parser.Isolate

type App (IsolateEndSym pEnd :: FunKind (Natural, s1) (PResultEnd r) -> Type) (s2 :: (Natural, s1)) = IsolateEnd pEnd s2

type App (CountEndSym pEnd s0 :: FunKind (CountS a k) (PResultEnd [k]) -> Type) (s :: CountS a k)

Defined in Symparsec.Parser.Count

type App (CountEndSym pEnd s0 :: FunKind (CountS a k) (PResultEnd [k]) -> Type) (s :: CountS a k) = CountEnd pEnd s0 s

type App (ThenVREndSym plEnd prEnd s0r :: FunKind (Either a1 (b1, a2)) (PResultEnd b1) -> Type) (s :: Either a1 (b1, a2))

Defined in Symparsec.Parser.Then.VoidRight

type App (ThenVREndSym plEnd prEnd s0r :: FunKind (Either a1 (b1, a2)) (PResultEnd b1) -> Type) (s :: Either a1 (b1, a2)) = ThenVREnd plEnd prEnd s0r s

type App (ThenEndSym plEnd prEnd s0r :: FunKind (Either a1 (k1, a2)) (PResultEnd (k1, k2)) -> Type) (s :: Either a1 (k1, a2))

Defined in Symparsec.Parser.Then

type App (ThenEndSym plEnd prEnd s0r :: FunKind (Either a1 (k1, a2)) (PResultEnd (k1, k2)) -> Type) (s :: Either a1 (k1, a2)) = ThenEnd plEnd prEnd s0r s

type App (ThenVLEndSym plEnd prEnd s0r :: FunKind (Either a1 a2) (PResultEnd b2) -> Type) (s :: Either a1 a2)

Defined in Symparsec.Parser.Then.VoidLeft

type App (ThenVLEndSym plEnd prEnd s0r :: FunKind (Either a1 a2) (PResultEnd b2) -> Type) (s :: Either a1 a2) = ThenVLEnd plEnd prEnd s0r s

type App (OrEndSym plEnd prCh prEnd s0r :: FunKind (Either (sl, [Char]) sr) (PResultEnd (Either rl rr)) -> Type) (s :: Either (sl, [Char]) sr)

Defined in Symparsec.Parser.Or

type App (OrEndSym plEnd prCh prEnd s0r :: FunKind (Either (sl, [Char]) sr) (PResultEnd (Either rl rr)) -> Type) (s :: Either (sl, [Char]) sr) = OrEnd plEnd prCh prEnd s0r s

type PE = E Symbol

Promoted E.

data SE (e :: PE) where

Constructors

SEBase :: SSymbol name -> SDoc doc -> SE (EBase name doc)

SEIn :: SSymbol name -> SE e -> SE (EIn name e)

Instances

Demotable SE

Defined in Symparsec.Parser

Associated Types

type Demote SE

Methods

demote :: forall (k1 :: k). SE k1 -> Demote SE

type Demote SE

Defined in Symparsec.Parser

type Demote SE = E String

demoteSE :: SE e -> E String

class SingE (e :: PE) where

Methods

singE :: SE e

Instances

(KnownSymbol name, SingDoc doc) => SingE ('EBase name doc)

Defined in Symparsec.Parser

Methods

singE :: SE ('EBase name doc)

(KnownSymbol name, SingE e) => SingE ('EIn name e)

Defined in Symparsec.Parser

Methods

singE :: SE ('EIn name e)

withSingE :: forall e r. SE e -> (SingE e => r) -> r

Singling

class SingParser (p :: PParser s r) where

Promoted parsers with singled implementations.

Associated Types

type PS p :: s -> Type

A singleton for the parser state.

type PR p :: r -> Type

A singleton for the parser return type.

Methods

singParser' :: SParser (PS p) (PR p) p

The singled parser.

Instances

SingParser End

Defined in Symparsec.Parser.End

Associated Types

type PS End :: s -> Type

type PR End :: r -> Type

Methods

singParser' :: SParser (PS End) (PR End) End

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)

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)

KnownSymbol str => SingParser (Literal str :: PParser Symbol ())

Defined in Symparsec.Parser.Literal

Associated Types

type PS (Literal str) :: s -> Type

type PR (Literal str) :: r -> Type

Methods

singParser' :: SParser (PS (Literal str)) (PR (Literal str)) (Literal str)

(p ~ 'PParser pCh pEnd s0, SingParser p, SingChPred chPred) => SingParser (While' chPred pCh pEnd s0 :: PParser s r)

Defined in Symparsec.Parser.While

Associated Types

type PS (While' chPred pCh pEnd s0) :: s -> Type

type PR (While' chPred pCh pEnd s0) :: r -> Type

Methods

singParser' :: SParser (PS (While' chPred pCh pEnd s0)) (PR (While' chPred pCh pEnd s0)) (While' chPred pCh pEnd s0)

SingParser TakeRest

Defined in Symparsec.Parser.TakeRest

Associated Types

type PS TakeRest :: s -> Type

type PR TakeRest :: r -> Type

Methods

singParser' :: SParser (PS TakeRest) (PR TakeRest) TakeRest

(KnownNat base, SingParseDigit parseDigit) => SingParser (NatBase base parseDigit :: PParser (Maybe Natural) Natural)

Defined in Symparsec.Parser.Natural

Associated Types

type PS (NatBase base parseDigit) :: s -> Type

type PR (NatBase base parseDigit) :: r -> Type

Methods

singParser' :: SParser (PS (NatBase base parseDigit)) (PR (NatBase base parseDigit)) (NatBase base parseDigit)

(p ~ 'PParser pCh pEnd s0, KnownNat n, SingParser p) => SingParser (Isolate' n pCh pEnd s0 :: PParser (Natural, s) r)

Defined in Symparsec.Parser.Isolate

Associated Types

type PS (Isolate' n pCh pEnd s0) :: s -> Type

type PR (Isolate' n pCh pEnd s0) :: r -> Type

Methods

singParser' :: SParser (PS (Isolate' n pCh pEnd s0)) (PR (Isolate' n pCh pEnd s0)) (Isolate' n pCh pEnd s0)

(pl ~ 'PParser plCh plEnd s0l, pr ~ 'PParser prCh prEnd s0r, SingParser pl, SingParser pr) => SingParser (ThenVR' plCh plEnd s0l prCh prEnd s0r :: PParser (Either sl (r, sr)) r)

Defined in Symparsec.Parser.Then.VoidRight

Associated Types

type PS (ThenVR' plCh plEnd s0l prCh prEnd s0r) :: s -> Type

type PR (ThenVR' plCh plEnd s0l prCh prEnd s0r) :: r -> Type

Methods

singParser' :: SParser (PS (ThenVR' plCh plEnd s0l prCh prEnd s0r)) (PR (ThenVR' plCh plEnd s0l prCh prEnd s0r)) (ThenVR' plCh plEnd s0l prCh prEnd s0r)

(pl ~ 'PParser plCh plEnd s0l, pr ~ 'PParser prCh prEnd s0r, SingParser pl, SingParser pr) => SingParser (ThenVL' plCh plEnd s0l prCh prEnd s0r :: PParser (Either sl sr) r)

Defined in Symparsec.Parser.Then.VoidLeft

Associated Types

type PS (ThenVL' plCh plEnd s0l prCh prEnd s0r) :: s -> Type

type PR (ThenVL' plCh plEnd s0l prCh prEnd s0r) :: r -> Type

Methods

singParser' :: SParser (PS (ThenVL' plCh plEnd s0l prCh prEnd s0r)) (PR (ThenVL' plCh plEnd s0l prCh prEnd s0r)) (ThenVL' plCh plEnd s0l prCh prEnd s0r)

(p ~ 'PParser pCh pEnd s0, SingParser p, KnownNat n) => SingParser (Count' n pCh pEnd s0 :: PParser (CountS k r) [r])

Defined in Symparsec.Parser.Count

Associated Types

type PS (Count' n pCh pEnd s0) :: s -> Type

type PR (Count' n pCh pEnd s0) :: r -> Type

Methods

singParser' :: SParser (PS (Count' n pCh pEnd s0)) (PR (Count' n pCh pEnd s0)) (Count' n pCh pEnd s0)

(pl ~ 'PParser plCh plEnd s0l, pr ~ 'PParser prCh prEnd s0r, SingParser pl, SingParser pr) => SingParser (Then' plCh plEnd s0l prCh prEnd s0r :: PParser (Either sl (rl, sr)) (rl, rr))

Defined in Symparsec.Parser.Then

Associated Types

type PS (Then' plCh plEnd s0l prCh prEnd s0r) :: s -> Type

type PR (Then' plCh plEnd s0l prCh prEnd s0r) :: r -> Type

Methods

singParser' :: SParser (PS (Then' plCh plEnd s0l prCh prEnd s0r)) (PR (Then' plCh plEnd s0l prCh prEnd s0r)) (Then' plCh plEnd s0l prCh prEnd s0r)

(pl ~ 'PParser plCh plEnd s0l, pr ~ 'PParser prCh prEnd s0r, SingParser pl, SingParser pr) => SingParser (Or' plCh plEnd s0l prCh prEnd s0r :: PParser (OrS sl sr) (Either rl rr))

Defined in Symparsec.Parser.Or

Associated Types

type PS (Or' plCh plEnd s0l prCh prEnd s0r) :: s -> Type

type PR (Or' plCh plEnd s0l prCh prEnd s0r) :: r -> Type

Methods

singParser' :: SParser (PS (Or' plCh plEnd s0l prCh prEnd s0r)) (PR (Or' plCh plEnd s0l prCh prEnd s0r)) (Or' plCh plEnd s0l prCh prEnd s0r)

singParser :: forall {s} {r} (p :: PParser s r). SingParser p => SParser (PS p) (PR p) p

Get the singled version of the requested parser.

singParser' with better type application ergonomics.