Safe Haskell	Safe
Language	Haskell2010

Invalid

Documentation

Constructors

PointsExceedMaxPoints Header
BadSubJudgementPointsSum Judgement
BadSubJudgementMaxPointsSum Judgement
NoPointsInBottomJudgement Judgement
PropertyNotFound String

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.8-Ats1Mt7cntMpWub9VhG10" 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))) (C1 (MetaCons "PropertyNotFound" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String))))))