-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | A DSL for marking student work
--   
--   A DSL for marking student work; see README.md for further details.
@package remarks
@version 0.1.3

module Ast
newtype Header
Header :: (String, Double, Double) -> Header
data Mood
Positive :: Mood
Negative :: Mood
Neutral :: Mood
Impartial :: Mood
data CommentPart
CommentStr :: String -> CommentPart
CommentCmt :: Comment -> CommentPart
newtype Comment
Comment :: (Mood, [CommentPart]) -> Comment
newtype Judgement
Judgement :: (Header, [Comment], [Judgement]) -> Judgement
instance GHC.Generics.Generic Ast.Judgement
instance GHC.Show.Show Ast.Judgement
instance GHC.Classes.Eq Ast.Judgement
instance GHC.Generics.Generic Ast.CommentPart
instance GHC.Show.Show Ast.CommentPart
instance GHC.Classes.Eq Ast.CommentPart
instance GHC.Generics.Generic Ast.Comment
instance GHC.Show.Show Ast.Comment
instance GHC.Classes.Eq Ast.Comment
instance GHC.Generics.Generic Ast.Mood
instance GHC.Show.Show Ast.Mood
instance GHC.Classes.Eq Ast.Mood
instance GHC.Generics.Generic Ast.Header
instance GHC.Show.Show Ast.Header
instance GHC.Classes.Eq Ast.Header
instance Text.PrettyPrint.GenericPretty.Out Ast.Header
instance Text.PrettyPrint.GenericPretty.Out Ast.Mood
instance Text.PrettyPrint.GenericPretty.Out Ast.CommentPart
instance Text.PrettyPrint.GenericPretty.Out Ast.Comment
instance Text.PrettyPrint.GenericPretty.Out Ast.Judgement

module PPmrk
toMrk :: [Judgement] -> String

module Parser.Impl
data ParseErrorImpl a
NoParse :: ParseErrorImpl a
AmbiguousGrammar :: [a] -> ParseErrorImpl a
NotImplemented :: ParseErrorImpl a
type ParseError = ParseErrorImpl [Judgement]
parseIntegral :: ReadP String
maybeRead :: Read a => String -> Maybe a
parsePoints :: ReadP Double
lineToken :: ReadP a -> ReadP a
lineBreak :: ReadP ()
munchTillExcl :: Char -> ReadP String
parseHeader :: Int -> ReadP Header
parseMood :: ReadP Mood
parseLine :: ReadP String
parseLines :: String -> ReadP [String]
parseCommentPart :: String -> ReadP CommentPart
parseComment :: String -> ReadP Comment
parseComment' :: ReadP Comment
parseJudgement :: Int -> ReadP Judgement
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])
instance GHC.Generics.Generic (Parser.Impl.ParseErrorImpl a)
instance GHC.Show.Show a => GHC.Show.Show (Parser.Impl.ParseErrorImpl a)
instance GHC.Classes.Eq a => GHC.Classes.Eq (Parser.Impl.ParseErrorImpl a)
instance Text.PrettyPrint.GenericPretty.Out a => Text.PrettyPrint.GenericPretty.Out (Parser.Impl.ParseErrorImpl a)

module Parser
type ParseError = ParseErrorImpl [Judgement]
parseString :: String -> Either ParseError [Judgement]
parseFile :: FilePath -> IO (Either ParseError [Judgement])

module Validator
validate :: Judgement -> Either Invalid ()
data Invalid
PointsExceedMaxPoints :: Header -> Invalid
BadSubJudgementPointsSum :: Judgement -> Invalid
BadSubJudgementMaxPointsSum :: Judgement -> Invalid
instance GHC.Generics.Generic Validator.Invalid
instance GHC.Show.Show Validator.Invalid
instance GHC.Classes.Eq Validator.Invalid
instance Text.PrettyPrint.GenericPretty.Out Validator.Invalid