Safe Haskell | Safe-Inferred |
---|---|
Language | GHC2021 |
Data.Type.Symbol.Parser.Isolate
Documentation
type family Isolate n p where ... Source #
Equations
Isolate n '(pCh, pEnd, s) = '(IsolateChSym pCh pEnd, IsolateEndSym, '(n, s)) |
type family IsolateInnerEnd' pEnd res where ... Source #
Equations
IsolateInnerEnd' pEnd ('Err e) = 'Err e | |
IsolateInnerEnd' pEnd ('Done r) = 'Done r | |
IsolateInnerEnd' pEnd ('Cont s) = IsolateInnerEnd (pEnd @@ s) |
type family IsolateInnerEnd a where ... Source #
Equations
IsolateInnerEnd ('Left e) = 'Err e | |
IsolateInnerEnd ('Right r) = 'Done r |
type family IsolateInner n a where ... Source #
Equations
IsolateInner _ ('Err e) = 'Err e | |
IsolateInner _ ('Done _) = 'Err ('Text "isolated parser ended without consuming all input") | |
IsolateInner n ('Cont s) = 'Cont '(n - 1, s) |
type family IsolateEnd s where ... Source #
Equations
IsolateEnd '(0, s) = 'Right '(0, s) | |
IsolateEnd '(n, s) = 'Left ('Text "isolate wanted more than was there") |
data IsolateChSym pCh pEnd f Source #
Instances
data IsolateChSym1 pCh pEnd ch s Source #
data IsolateEndSym s Source #
Instances
type App (IsolateEndSym :: FunKind (Natural, s1) (Either ErrorMessage r) -> Type) (s2 :: (Natural, s1)) Source # | |
Defined in Data.Type.Symbol.Parser.Isolate type App (IsolateEndSym :: FunKind (Natural, s1) (Either ErrorMessage r) -> Type) (s2 :: (Natural, s1)) = IsolateEnd s2 :: Either ErrorMessage r |