Invalid

Documentation

reportInvalid :: Invalid -> String

data Invalid

Constructors

PointsExceedMaxPoints String Judgement

BadSubJudgementPointsSum String Judgement

BadSubJudgementMaxPointsSum String Judgement

NoPointsInBottomJudgement String Judgement

PropertyNotFound String 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" "Invalid" "remarks-0.1.13-GLibmXUYJsk3HaiilrVDg" False) ((:+:) ((:+:) (C1 (MetaCons "PointsExceedMaxPoints" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Judgement)))) (C1 (MetaCons "BadSubJudgementPointsSum" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Judgement))))) ((:+:) (C1 (MetaCons "BadSubJudgementMaxPointsSum" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Judgement)))) ((:+:) (C1 (MetaCons "NoPointsInBottomJudgement" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Judgement)))) (C1 (MetaCons "PropertyNotFound" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Judgement)))))))