Parser.Impl

Documentation

data ParseErrorImpl a

Constructors

NoParse

AmbiguousGrammar [a]

NotImplemented

Instances

Eq a => Eq (ParseErrorImpl a)

Methods

(==) :: ParseErrorImpl a -> ParseErrorImpl a -> Bool

(/=) :: ParseErrorImpl a -> ParseErrorImpl a -> Bool

Show a => Show (ParseErrorImpl a)

Methods

showsPrec :: Int -> ParseErrorImpl a -> ShowS

show :: ParseErrorImpl a -> String

showList :: [ParseErrorImpl a] -> ShowS

Generic (ParseErrorImpl a)

Associated Types

type Rep (ParseErrorImpl a) :: * -> *

Methods

from :: ParseErrorImpl a -> Rep (ParseErrorImpl a) x

to :: Rep (ParseErrorImpl a) x -> ParseErrorImpl a

Out a => Out (ParseErrorImpl a)

Methods

docPrec :: Int -> ParseErrorImpl a -> Doc

doc :: ParseErrorImpl a -> Doc

docList :: [ParseErrorImpl a] -> Doc

type Rep (ParseErrorImpl a)

type Rep (ParseErrorImpl a) = D1 (MetaData "ParseErrorImpl" "Parser.Impl" "remarks-0.1.8-Ats1Mt7cntMpWub9VhG10" False) ((:+:) (C1 (MetaCons "NoParse" PrefixI False) U1) ((:+:) (C1 (MetaCons "AmbiguousGrammar" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [a]))) (C1 (MetaCons "NotImplemented" PrefixI False) U1)))

type ParseError = ParseErrorImpl [Judgement]

parseIntegral :: ReadP String

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

parsePoints :: ReadP Double

parseMaxPoints :: ReadP Double

lineToken :: ReadP a -> ReadP a

lineBreak :: ReadP ()

munchTillExcl :: Char -> ReadP String

parseBonus :: String -> ReadP Judgement

parsePropertyExp :: ReadP PropertyExp

parseProperty :: ReadP Property

parseRegularJudgement :: Int -> String -> ReadP Judgement

parseJudgement :: Int -> ReadP Judgement

parseMood :: ReadP Mood

parseLine :: ReadP String

parseLines :: String -> ReadP [String]

parseCommentPart :: String -> ReadP CommentPart

parseComment :: String -> ReadP Comment

parseComment' :: ReadP Comment

parseJudgements :: Int -> ReadP [Judgement]

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

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

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

parseEntry :: ReadP [Judgement]

parseString :: String -> Either ParseError [Judgement]

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

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