Safe Haskell | Safe-Inferred |
---|---|
Language | GHC2021 |
Documentation
type family ThenVL pl pr where ... Source #
ThenVL '(plCh, plEnd, sl) '(prCh, prEnd, sr) = '(ThenVLChSym plCh prCh sr, ThenVLEndSym prEnd, 'Left sl) |
type family ThenVLEnd' s where ... Source #
ThenVLEnd' ('Left er) = 'Left ('Text "thenvl: right end error" :$$: er) | |
ThenVLEnd' ('Right rr) = 'Right rr |
data ThenVLChSym plCh prCh sr f Source #
data ThenVLChSym1 plCh prCh sr ch s Source #
data ThenVLEndSym prEnd s Source #
Instances
type App (ThenVLEndSym prEnd :: FunKind (Either a2 a1) (Either ErrorMessage b) -> Type) (s :: Either a2 a1) Source # | |
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 |