Symparsec.Parser.Common

Common definitions for parsers.

Re-exports

module Symparsec.Parser

data Doc s

Simple pretty document ADT.

Designed to work on both type level (as a limited ErrorMessage) and term level (as a boring ADT).

Note that ShowType is magical (see compilerGHCCore/Type.hs#L1309), so we need to remove it for term level.

singletons-base defines a version of this, but retains the ShowType constructor and is in the singletons ecosystem.

Constructors

Text s

plain ol' text

(Doc s) :<>: (Doc s)

append docs next to each other

(Doc s) :$$: (Doc s)

stack docs on top of each other (newline)

Instances

Demotable SDoc

Defined in TypeLevelShow.Doc

Associated Types

type Demote SDoc

Methods

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

Show s => Show (Doc s)

Defined in TypeLevelShow.Doc

Methods

showsPrec :: Int -> Doc s -> ShowS

show :: Doc s -> String

showList :: [Doc s] -> ShowS

type Demote SDoc

Defined in TypeLevelShow.Doc

type Demote SDoc = Doc String

type (~>) a b = Fun a b infixr 0

An infix synonmy for Fun.

type (@@) (a1 :: a ~> k) (b :: a) = App a1 b infixl 9

An infix synonym for App.

Note: there is a term version which is a synonym to appLam.

type family App (f :: a ~> b) (x :: a) :: b

Type level function application.

Instances

type App ShowNatDigitHexLowerSym (d :: Natural)

Defined in TypeLevelShow.Natural.Digit

type App ShowNatDigitHexLowerSym (d :: Natural) = ShowNatDigitHexLower d

type App ShowNatDigitHexUpperSym (d :: Natural)

Defined in TypeLevelShow.Natural.Digit

type App ShowNatDigitHexUpperSym (d :: Natural) = ShowNatDigitHexUpper d

type App (Con1 f :: FunKind a b -> Type) (x :: a)

Defined in DeFun.Core

type App (Con1 f :: FunKind a b -> Type) (x :: a) = f x

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 ParseDigitBinSym (ch :: Char)

Defined in Symparsec.Parser.Natural.Digits

type App ParseDigitBinSym (ch :: Char) = ParseDigitBin ch

type App ParseDigitDecSym (ch :: Char)

Defined in Symparsec.Parser.Natural.Digits

type App ParseDigitDecSym (ch :: Char) = ParseDigitDec ch

type App ParseDigitHexSym (ch :: Char)

Defined in Symparsec.Parser.Natural.Digits

type App ParseDigitHexSym (ch :: Char) = ParseDigitHex ch

type App ParseDigitOctSym (ch :: Char)

Defined in Symparsec.Parser.Natural.Digits

type App ParseDigitOctSym (ch :: Char) = ParseDigitOct ch

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 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 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 (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 (Con2 f :: FunKind a1 (a2 ~> b) -> Type) (arg :: a1)

Defined in DeFun.Core

type App (Con2 f :: FunKind a1 (a2 ~> b) -> Type) (arg :: a1) = Con1 (f arg)

type App (Con3 f :: FunKind a1 (a2 ~> (b ~> c)) -> Type) (arg :: a1)

Defined in DeFun.Core

type App (Con3 f :: FunKind a1 (a2 ~> (b ~> c)) -> Type) (arg :: a1) = Con2 (f arg)

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 NatBaseEndSym (mn :: Maybe Natural)

Defined in Symparsec.Parser.Natural

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

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

Common definitions

data FailChSym name e f

Fail with the given message when given any character to parse.

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

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

failChSym :: SSymbol name -> SDoc e -> SParserChSym ss sr (FailChSym name e)

data FailEndSym name e s

Fail with the given message if we're at the end of the symbol.

Instances

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

failEndSym :: SSymbol name -> SDoc e -> SParserEndSym ss sr (FailEndSym name e)

type ErrParserLimitation msg = Text "parser limitation: " :<>: Text msg

Helper for writing error messages to do with parser limitations (e.g. if you tried to use a non-consuming parser like Skip 0).