PointsChecker

Documentation

checkPoints :: Judgement -> Either Invalid Judgement

data Invalid

Constructors

PointsExceedMaxPoints Header

BadSubJudgementPointsSum Judgement

BadSubJudgementMaxPointsSum Judgement

NoPointsInBottomJudgement Judgement

Instances

Eq Invalid

Methods

(==) :: Invalid -> Invalid -> Bool

(/=) :: Invalid -> Invalid -> Bool

Show Invalid

Methods

showsPrec :: Int -> Invalid -> ShowS

show :: Invalid -> String

showList :: [Invalid] -> ShowS

Generic Invalid

Associated Types

type Rep Invalid :: * -> *

Methods

from :: Invalid -> Rep Invalid x

to :: Rep Invalid x -> Invalid

Out Invalid

Methods

docPrec :: Int -> Invalid -> Doc

doc :: Invalid -> Doc

docList :: [Invalid] -> Doc

type Rep Invalid

type Rep Invalid = D1 (MetaData "Invalid" "PointsChecker" "remarks-0.1.7-FkHbuTaMLPYA7BywapdHRi" False) ((:+:) ((:+:) (C1 (MetaCons "PointsExceedMaxPoints" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Header))) (C1 (MetaCons "BadSubJudgementPointsSum" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Judgement)))) ((:+:) (C1 (MetaCons "BadSubJudgementMaxPointsSum" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Judgement))) (C1 (MetaCons "NoPointsInBottomJudgement" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Judgement)))))