-- 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.7 module Config indentation :: String 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 data Judgement Judgement :: (Header, [Comment], [Judgement]) -> Judgement Bonus :: (Double, [Comment]) -> 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 Collector.Html htmlRemarks :: [Judgement] -> Doc module Collector collectHTML :: [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 parseMaxPoints :: ReadP Double lineToken :: ReadP a -> ReadP a lineBreak :: ReadP () munchTillExcl :: Char -> ReadP String parseBonus :: String -> ReadP Judgement 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]) 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 PointsChecker checkPoints :: Judgement -> Either Invalid Judgement data Invalid PointsExceedMaxPoints :: Header -> Invalid BadSubJudgementPointsSum :: Judgement -> Invalid BadSubJudgementMaxPointsSum :: Judgement -> Invalid NoPointsInBottomJudgement :: Judgement -> Invalid instance GHC.Generics.Generic PointsChecker.Invalid instance GHC.Show.Show PointsChecker.Invalid instance GHC.Classes.Eq PointsChecker.Invalid instance Text.PrettyPrint.GenericPretty.Out PointsChecker.Invalid module PrettyPrinter ppJs :: [Judgement] -> String