symbol-parser-0.2.0: Type level string parser combinators
Safe HaskellSafe-Inferred
LanguageGHC2021

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 IsolateCh pCh pEnd ch s where ... Source #

Equations

IsolateCh pCh pEnd ch '(0, s) = Err (Text "cannot isolate 0 due to parser limitations") 
IsolateCh pCh pEnd ch '(1, s) = IsolateInnerEnd' pEnd ((pCh @@ ch) @@ s) 
IsolateCh pCh pEnd ch '(n, s) = IsolateInner n ((pCh @@ ch) @@ 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

Instances details
type App (IsolateChSym pCh pEnd :: FunKind Char ((Natural, s) ~> Result (Natural, s) r) -> Type) (f :: Char) Source # 
Instance details

Defined in Data.Type.Symbol.Parser.Isolate

type App (IsolateChSym pCh pEnd :: FunKind Char ((Natural, s) ~> Result (Natural, s) r) -> Type) (f :: Char) = IsolateChSym1 pCh pEnd f

data IsolateChSym1 pCh pEnd ch s Source #

Instances

Instances details
type App (IsolateChSym1 pCh pEnd ch :: FunKind (Natural, s1) (Result (Natural, s1) r) -> Type) (s2 :: (Natural, s1)) Source # 
Instance details

Defined in Data.Type.Symbol.Parser.Isolate

type App (IsolateChSym1 pCh pEnd ch :: FunKind (Natural, s1) (Result (Natural, s1) r) -> Type) (s2 :: (Natural, s1)) = IsolateCh pCh pEnd ch s2

data IsolateEndSym s Source #

Instances

Instances details
type App (IsolateEndSym :: FunKind (Natural, s1) (Either ErrorMessage r) -> Type) (s2 :: (Natural, s1)) Source # 
Instance details

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