Safe Haskell	Safe-Inferred
Language	GHC2021

Data.Type.Symbol.Parser.Then.VoidLeft

Documentation

type family ThenVL pl pr where ... Source #

Equations

ThenVL '(plCh, plEnd, sl) '(prCh, prEnd, sr) = '(ThenVLChSym plCh prCh sr, ThenVLEndSym prEnd, 'Left sl)

type family ThenVLCh plCh prCh sr ch s where ... Source #

Equations

ThenVLCh plCh prCh sr ch ('Left sl) = ThenVLL sr ((plCh @@ ch) @@ sl)
ThenVLCh plCh prCh _ ch ('Right sr) = ThenVLR ((prCh @@ ch) @@ sr)

type family ThenVLL sr resl where ... Source #

Equations

ThenVLL sr ('Err el) = 'Err ('Text "thenvl: left error" :$$: el)
ThenVLL sr ('Cont sl) = 'Cont ('Left sl)
ThenVLL sr ('Done rl) = 'Cont ('Right sr)

type family ThenVLR resr where ... Source #

Equations

ThenVLR ('Err er) = 'Err ('Text "thenvl: right error" :$$: er)
ThenVLR ('Cont sr) = 'Cont ('Right sr)
ThenVLR ('Done rr) = 'Done rr

type family ThenVLEnd prEnd s where ... Source #

Equations

ThenVLEnd prEnd ('Left sl) = 'Left ('Text "thenvl: ended during left")
ThenVLEnd prEnd ('Right sr) = ThenVLEnd' (prEnd @@ sr)

type family ThenVLEnd' s where ... Source #

Equations

ThenVLEnd' ('Left er) = 'Left ('Text "thenvl: right end error" :$$: er)
ThenVLEnd' ('Right rr) = 'Right rr

data ThenVLChSym plCh prCh sr f Source #

Instances details

type App (ThenVLChSym plCh prCh sr2 :: FunKind Char (Either sl sr1 ~> Result (Either sl sr1) rr) -> Type) (f :: Char) Source #
Instance details Defined in Data.Type.Symbol.Parser.Then.VoidLeft type App (ThenVLChSym plCh prCh sr2 :: FunKind Char (Either sl sr1 ~> Result (Either sl sr1) rr) -> Type) (f :: Char) = ThenVLChSym1 plCh prCh sr2 f

data ThenVLChSym1 plCh prCh sr ch s Source #

Instances details

type App (ThenVLChSym1 plCh prCh sr2 ch :: FunKind (Either sl sr1) (Result (Either sl sr1) rr) -> Type) (s :: Either sl sr1) Source #
Instance details Defined in Data.Type.Symbol.Parser.Then.VoidLeft type App (ThenVLChSym1 plCh prCh sr2 ch :: FunKind (Either sl sr1) (Result (Either sl sr1) rr) -> Type) (s :: Either sl sr1) = ThenVLCh plCh prCh sr2 ch s

Instances details

type App (ThenVLEndSym prEnd :: FunKind (Either a2 a1) (Either ErrorMessage b) -> Type) (s :: Either a2 a1) Source #
Instance details Defined in Data.Type.Symbol.Parser.Then.VoidLeft type App (ThenVLEndSym prEnd :: FunKind (Either a2 a1) (Either ErrorMessage b) -> Type) (s :: Either a2 a1) = ThenVLEnd prEnd s