Invalid

Documentation

data Invalid

Constructors

PointsExceedMaxPoints Header

BadSubJudgementPointsSum Judgement

BadSubJudgementMaxPointsSum Judgement

NoPointsInBottomJudgement Judgement

PropertyNotFound String

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.9-C5ipZjbrGpl2vnXUDrv4Tv" 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))))))