Safe Haskell | Safe-Inferred |
---|---|
Language | GHC2021 |
Data.Type.Symbol.Parser.Then.VoidRight
Documentation
type family ThenVR pl pr where ... Source #
Equations
ThenVR '(plCh, plEnd, sl) '(prCh, prEnd, sr) = '(ThenVRChSym plCh prCh sr, ThenVREndSym prEnd, 'Left sl) |
type family ThenVREnd' rl s where ... Source #
Equations
ThenVREnd' rl ('Left er) = 'Left ('Text "thenvr: right end error" :$$: er) | |
ThenVREnd' rl ('Right rr) = 'Right rl |
data ThenVRChSym plCh prCh sr f Source #
data ThenVRChSym1 plCh prCh sr ch s Source #
data ThenVREndSym prEnd s Source #
Instances
type App (ThenVREndSym prEnd :: FunKind (Either a2 (b2, a1)) (Either ErrorMessage b2) -> Type) (s :: Either a2 (b2, a1)) Source # | |
Defined in Data.Type.Symbol.Parser.Then.VoidRight type App (ThenVREndSym prEnd :: FunKind (Either a2 (b2, a1)) (Either ErrorMessage b2) -> Type) (s :: Either a2 (b2, a1)) = ThenVREnd prEnd s |