Safe Haskell | Safe-Inferred |
---|---|
Language | GHC2021 |
Documentation
type family Then pl pr where ... Source #
Then '(plCh, plEnd, sl) '(prCh, prEnd, sr) = '(ThenChSym plCh prCh sr, ThenEndSym prEnd, 'Left sl) |
data ThenChSym1 plCh prCh sr ch s Source #
data ThenEndSym prEnd s Source #
Instances
type App (ThenEndSym prEnd :: FunKind (Either a2 (k2, a1)) (Either ErrorMessage (k2, k1)) -> Type) (s :: Either a2 (k2, a1)) Source # | |
Defined in Data.Type.Symbol.Parser.Then type App (ThenEndSym prEnd :: FunKind (Either a2 (k2, a1)) (Either ErrorMessage (k2, k1)) -> Type) (s :: Either a2 (k2, a1)) = ThenEnd prEnd s |