Safe Haskell	Safe
Language	Haskell2010

Invalid

Documentation

reportInvalid :: Invalid -> String Source #

data Invalid Source #

Constructors

PointsExceedMaxPoints Judgement
BadSubJudgementPointsSum Judgement
BadSubJudgementMaxPointsSum Judgement
NoPointsInBottomJudgement Judgement
PropertyNotFound String Judgement

Instances

Eq Invalid Source #
Methods (==) :: Invalid -> Invalid -> Bool # (/=) :: Invalid -> Invalid -> Bool #
Show Invalid Source #
Methods showsPrec :: Int -> Invalid -> ShowS # show :: Invalid -> String # showList :: [Invalid] -> ShowS #
Generic Invalid Source #
Associated Types type Rep Invalid :: * -> * # Methods from :: Invalid -> Rep Invalid x # to :: Rep Invalid x -> Invalid #
Out Invalid Source #
Methods docPrec :: Int -> Invalid -> Doc doc :: Invalid -> Doc docList :: [Invalid] -> Doc
type Rep Invalid Source #
type Rep Invalid = D1 (MetaData "Invalid" "Invalid" "remarks-0.1.11-znG7u05Z2tJsOmMcwkBzA" False) ((:+:) ((:+:) (C1 (MetaCons "PointsExceedMaxPoints" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Judgement))) (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))) (C1 (MetaCons "PropertyNotFound" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Judgement)))))))