never executed always true always false

    1 module HelVM.HelMA.Automaton.ReadPExtra where
    2 
    3 import           HelVM.HelMA.Automaton.API.IOTypes
    4 
    5 import           HelVM.HelIO.Control.Safe
    6 
    7 import           Control.Type.Operator
    8 
    9 import           Data.Char
   10 
   11 import           Text.ParserCombinators.ReadP      hiding (many)
   12 
   13 runParser :: MonadSafe m => ReadP a -> Source -> m a
   14 runParser parser source = fst . last <$> nonEmptyRunParser parser source
   15 
   16 nonEmptyRunParser :: MonadSafe m => ReadP a -> Source -> m $ NonEmpty (a , String)
   17 nonEmptyRunParser parser source = nonEmptyFromList ("Cannot parse source\n" <> source) $ listRunParser parser source
   18 
   19 listRunParser :: ReadP a -> Source -> [(a , String)]
   20 listRunParser parser = readP_to_S parser . toString
   21 
   22 -- | Parsers
   23 
   24 oneOf :: String -> ReadP Char
   25 oneOf cs = satisfy (`elem` cs)
   26 
   27 notChar :: Char -> ReadP Char
   28 notChar c = satisfy (/= c)
   29 
   30 anyChar :: ReadP Char
   31 anyChar = satisfy $ const True
   32 
   33 digit :: ReadP Char
   34 digit = satisfy isDigit
   35 
   36 letterAscii :: ReadP Char
   37 letterAscii = satisfy isAlphaAscii
   38 
   39 -- | Extra
   40 
   41 isAlphaAscii :: Char -> Bool
   42 isAlphaAscii c = isAsciiLower c || isAsciiUpper c
   43 
   44 manyNonEmpty :: Alternative f => f a -> f $ NonEmpty a
   45 manyNonEmpty p = liftA2 (:|) p (many p)