remarks-0.1.10: A DSL for marking student work
Ast
newtype Header Source #
Constructors
Instances
Methods
(==) :: Header -> Header -> Bool #
(/=) :: Header -> Header -> Bool #
showsPrec :: Int -> Header -> ShowS #
show :: Header -> String #
showList :: [Header] -> ShowS #
Associated Types
type Rep Header :: * -> * #
from :: Header -> Rep Header x #
to :: Rep Header x -> Header #
docPrec :: Int -> Header -> Doc #
doc :: Header -> Doc #
docList :: [Header] -> Doc #
data Mood Source #
(==) :: Mood -> Mood -> Bool #
(/=) :: Mood -> Mood -> Bool #
showsPrec :: Int -> Mood -> ShowS #
show :: Mood -> String #
showList :: [Mood] -> ShowS #
type Rep Mood :: * -> * #
from :: Mood -> Rep Mood x #
to :: Rep Mood x -> Mood #
docPrec :: Int -> Mood -> Doc #
doc :: Mood -> Doc #
docList :: [Mood] -> Doc #
data CommentPart Source #
(==) :: CommentPart -> CommentPart -> Bool #
(/=) :: CommentPart -> CommentPart -> Bool #
showsPrec :: Int -> CommentPart -> ShowS #
show :: CommentPart -> String #
showList :: [CommentPart] -> ShowS #
type Rep CommentPart :: * -> * #
from :: CommentPart -> Rep CommentPart x #
to :: Rep CommentPart x -> CommentPart #
docPrec :: Int -> CommentPart -> Doc #
doc :: CommentPart -> Doc #
docList :: [CommentPart] -> Doc #
newtype Comment Source #
(==) :: Comment -> Comment -> Bool #
(/=) :: Comment -> Comment -> Bool #
showsPrec :: Int -> Comment -> ShowS #
show :: Comment -> String #
showList :: [Comment] -> ShowS #
type Rep Comment :: * -> * #
from :: Comment -> Rep Comment x #
to :: Rep Comment x -> Comment #
docPrec :: Int -> Comment -> Doc #
doc :: Comment -> Doc #
docList :: [Comment] -> Doc #
newtype Property Source #
(==) :: Property -> Property -> Bool #
(/=) :: Property -> Property -> Bool #
showsPrec :: Int -> Property -> ShowS #
show :: Property -> String #
showList :: [Property] -> ShowS #
type Rep Property :: * -> * #
from :: Property -> Rep Property x #
to :: Rep Property x -> Property #
docPrec :: Int -> Property -> Doc #
doc :: Property -> Doc #
docList :: [Property] -> Doc #
data PropertyExp Source #
(==) :: PropertyExp -> PropertyExp -> Bool #
(/=) :: PropertyExp -> PropertyExp -> Bool #
showsPrec :: Int -> PropertyExp -> ShowS #
show :: PropertyExp -> String #
showList :: [PropertyExp] -> ShowS #
type Rep PropertyExp :: * -> * #
from :: PropertyExp -> Rep PropertyExp x #
to :: Rep PropertyExp x -> PropertyExp #
docPrec :: Int -> PropertyExp -> Doc #
doc :: PropertyExp -> Doc #
docList :: [PropertyExp] -> Doc #
data Judgement Source #
(==) :: Judgement -> Judgement -> Bool #
(/=) :: Judgement -> Judgement -> Bool #
showsPrec :: Int -> Judgement -> ShowS #
show :: Judgement -> String #
showList :: [Judgement] -> ShowS #
type Rep Judgement :: * -> * #
from :: Judgement -> Rep Judgement x #
to :: Rep Judgement x -> Judgement #
docPrec :: Int -> Judgement -> Doc #
doc :: Judgement -> Doc #
docList :: [Judgement] -> Doc #