-- 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.13

module Config
indentation :: String


-- | All <tt>.mrk</tt> files are parsed as a list of <a>Judgement</a>s, as
--   defined below.
module Ast
newtype Header
Header :: (String, Double, Double) -> Header
data Mood
Positive :: Mood
Negative :: Mood
Neutral :: Mood
Impartial :: Mood
Warning :: Mood
data CommentPart
CommentStr :: String -> CommentPart
CommentCmt :: Comment -> CommentPart
newtype Comment
Comment :: (Mood, [CommentPart]) -> Comment
newtype Property
Property :: (String, PropertyExp) -> Property
data PropertyExp
Lookup :: (Int, String) -> PropertyExp
Sum :: String -> PropertyExp
Value :: String -> PropertyExp
Num :: Double -> PropertyExp
data Judgement
Judgement :: (Header, [Property], [Comment], [Judgement]) -> Judgement
Bonus :: (Double, [Property], [Comment]) -> Judgement
isLeafJ :: Judgement -> Bool
isNodeJ :: Judgement -> Bool
isBonus :: Judgement -> Bool
instance GHC.Generics.Generic Ast.Judgement
instance GHC.Show.Show Ast.Judgement
instance GHC.Classes.Eq Ast.Judgement
instance GHC.Generics.Generic Ast.Property
instance GHC.Show.Show Ast.Property
instance GHC.Classes.Eq Ast.Property
instance GHC.Generics.Generic Ast.PropertyExp
instance GHC.Show.Show Ast.PropertyExp
instance GHC.Classes.Eq Ast.PropertyExp
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.Property
instance Text.PrettyPrint.GenericPretty.Out Ast.PropertyExp
instance Text.PrettyPrint.GenericPretty.Out Ast.Judgement

module Export.Generic
data Table
Rows :: [Row] -> Table
Cols :: [Col] -> Table
type Row = [Elem]
type Col = [Elem]
type Elem = String
reformat :: Table -> Table
transp :: Table -> Table
toCSV :: String -> Table -> String
toHTML :: Table -> String
isIntegral :: Double -> Bool
pointsDoc :: Double -> Doc
propertyExpDoc :: PropertyExp -> Doc
unify :: Judgement -> Judgement -> Maybe Judgement
summary :: Word -> Judgement -> Judgement
lookupProperty :: String -> Judgement -> Maybe Doc
lookupTotal :: Judgement -> Doc
lookupMaxPoints :: Judgement -> Doc
lookupTitle :: Judgement -> Doc
getTotal :: Judgement -> String
getTitle :: Judgement -> String
getMaxPoints :: Judgement -> String
instance GHC.Show.Show Export.Generic.Table
instance GHC.Classes.Eq Export.Generic.Table

module Export.Html
htmlRemarks :: [Judgement] -> Doc

module Export.MD
mdRemarks :: [Judgement] -> String

module Parser.Impl
data ParseErrorImpl a
NoParse :: FilePath -> ParseErrorImpl a
AmbiguousGrammar :: [a] -> FilePath -> 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
parseBonus :: 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 -> FilePath -> 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 Pending
findPending :: Maybe Int -> [Judgement] -> Maybe (String)
instance GHC.Show.Show Pending.FormatTree
instance GHC.Classes.Eq Pending.FormatTree
instance GHC.Show.Show Pending.PendingTree
instance GHC.Classes.Eq Pending.PendingTree

module PrettyPrinter
ppJ_d :: Int -> Judgement -> String
ppJs :: [Judgement] -> String
ppPoints :: Double -> String
ppComments :: [Comment] -> String

module Export.HtmlTable
htmlTableRemarks :: [Judgement] -> Table

module Invalid
reportInvalid :: Invalid -> String
data Invalid
PointsExceedMaxPoints :: String -> Judgement -> Invalid
BadSubJudgementPointsSum :: String -> Judgement -> Invalid
BadSubJudgementMaxPointsSum :: String -> Judgement -> Invalid
NoPointsInBottomJudgement :: String -> Judgement -> Invalid
PropertyNotFound :: String -> Judgement -> Invalid
instance GHC.Generics.Generic Invalid.Invalid
instance GHC.Show.Show Invalid.Invalid
instance GHC.Classes.Eq Invalid.Invalid
instance Text.PrettyPrint.GenericPretty.Out Invalid.Invalid

module Export.CSV
csvRemarks :: String -> [String] -> [Judgement] -> Either Invalid Doc

module Export
exportHTML :: [Judgement] -> String
exportCSV :: String -> [String] -> [Judgement] -> Either Invalid String
exportHTMLTable :: [Judgement] -> String
exportMD :: [Judgement] -> String
unify :: Judgement -> Judgement -> Maybe Judgement
summary :: Word -> Judgement -> Judgement

module PointsChecker
checkPoints :: Judgement -> Either Invalid Judgement

module PropertyInterp
interpProps :: Judgement -> Either Invalid Judgement
instance GHC.Generics.Generic PropertyInterp.PropertyValue
instance GHC.Show.Show PropertyInterp.PropertyValue
instance GHC.Classes.Eq PropertyInterp.PropertyValue
instance Text.PrettyPrint.GenericPretty.Out PropertyInterp.PropertyValue