Documentation

data ParseErrorImpl a Source #

type ParseError = ParseErrorImpl [Judgement] Source #

parseIntegral :: ReadP String Source #

maybeRead :: Read a => String -> Maybe a Source #

parsePoints :: ReadP Double Source #

lineToken :: ReadP a -> ReadP a Source #

lineBreak :: ReadP () Source #

munchTillExcl :: Char -> ReadP String Source #

parseBonus :: ReadP Judgement Source #

parsePropertyExp :: ReadP PropertyExp Source #

parseProperty :: ReadP Property Source #

parseRegularJudgement :: Int -> String -> ReadP Judgement Source #

parseJudgement :: Int -> ReadP Judgement Source #

parseMood :: ReadP Mood Source #

parseLine :: ReadP String Source #

parseLines :: String -> ReadP [String] Source #

parseCommentPart :: String -> ReadP CommentPart Source #

parseComment :: String -> ReadP Comment Source #

parseComment' :: ReadP Comment Source #

parseJudgements :: Int -> ReadP [Judgement] Source #

parse :: ReadP a -> String -> [(a, String)] Source #

fullParse :: ReadP a -> String -> [a] Source #

parseString' :: ReadP a -> FilePath -> String -> Either (ParseErrorImpl a) a Source #

parseEntry :: ReadP [Judgement] Source #

parseString :: String -> Either ParseError [Judgement] Source #

parseFile' :: ReadP a -> FilePath -> IO (Either (ParseErrorImpl a) a) Source #

parseFile :: FilePath -> IO (Either ParseError [Judgement]) Source #