shithub: MicroHs

Info  •  Files  •  Log  •  Branches

Add choice.

--- a/src/Text/ParserComb.hs

+++ b/src/Text/ParserComb.hs

@@ -6,7 +6,7 @@

   Prsr, runPrsr,

   satisfy, satisfyM,

   satisfyMany,

-  --choice,

+  choice,

   many, emany, optional, eoptional,

   some, esome,

   esepBy, sepBy1, esepBy1,

@@ -185,11 +185,9 @@

 eoptional :: forall tm t a . Prsr tm t a -> Prsr tm t (Maybe a)

 eoptional p = (Just <$> p) <|< pure Nothing

-{-

 choice :: forall tm t a . TokenMachine tm t => [Prsr tm t a] -> Prsr tm t a

 choice [] = empty

 choice ps = foldr1 (<|>) ps

--}

 sepBy1 :: forall tm t a sep . TokenMachine tm t => Prsr tm t a -> Prsr tm t sep -> Prsr tm t [a]

 sepBy1 p sep = (:) <$> p <*> many (sep *> p)

-- 

⑨