remarks-0.1.3: A DSL for marking student work

Safe HaskellSafe
LanguageHaskell2010

Ast

Documentation

newtype Header Source #

Constructors

Header (String, Double, Double) 

Instances

Eq Header Source # 

Methods

(==) :: Header -> Header -> Bool #

(/=) :: Header -> Header -> Bool #

Show Header Source # 
Generic Header Source # 

Associated Types

type Rep Header :: * -> * #

Methods

from :: Header -> Rep Header x #

to :: Rep Header x -> Header #

Out Header Source # 

Methods

docPrec :: Int -> Header -> Doc #

doc :: Header -> Doc #

docList :: [Header] -> Doc #

type Rep Header Source # 
type Rep Header = D1 (MetaData "Header" "Ast" "remarks-0.1.3-J9IubMJsVMGC8zGPIbw7Wt" True) (C1 (MetaCons "Header" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (String, Double, Double))))

data Mood Source #

Instances

Eq Mood Source # 

Methods

(==) :: Mood -> Mood -> Bool #

(/=) :: Mood -> Mood -> Bool #

Show Mood Source # 

Methods

showsPrec :: Int -> Mood -> ShowS #

show :: Mood -> String #

showList :: [Mood] -> ShowS #

Generic Mood Source # 

Associated Types

type Rep Mood :: * -> * #

Methods

from :: Mood -> Rep Mood x #

to :: Rep Mood x -> Mood #

Out Mood Source # 

Methods

docPrec :: Int -> Mood -> Doc #

doc :: Mood -> Doc #

docList :: [Mood] -> Doc #

type Rep Mood Source # 
type Rep Mood = D1 (MetaData "Mood" "Ast" "remarks-0.1.3-J9IubMJsVMGC8zGPIbw7Wt" False) ((:+:) ((:+:) (C1 (MetaCons "Positive" PrefixI False) U1) (C1 (MetaCons "Negative" PrefixI False) U1)) ((:+:) (C1 (MetaCons "Neutral" PrefixI False) U1) (C1 (MetaCons "Impartial" PrefixI False) U1)))

newtype Comment Source #

Constructors

Comment (Mood, [CommentPart]) 

Instances

Eq Comment Source # 

Methods

(==) :: Comment -> Comment -> Bool #

(/=) :: Comment -> Comment -> Bool #

Show Comment Source # 
Generic Comment Source # 

Associated Types

type Rep Comment :: * -> * #

Methods

from :: Comment -> Rep Comment x #

to :: Rep Comment x -> Comment #

Out Comment Source # 

Methods

docPrec :: Int -> Comment -> Doc #

doc :: Comment -> Doc #

docList :: [Comment] -> Doc #

type Rep Comment Source # 
type Rep Comment = D1 (MetaData "Comment" "Ast" "remarks-0.1.3-J9IubMJsVMGC8zGPIbw7Wt" True) (C1 (MetaCons "Comment" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Mood, [CommentPart]))))

newtype Judgement Source #

Constructors

Judgement (Header, [Comment], [Judgement]) 

Instances

Eq Judgement Source # 
Show Judgement Source # 
Generic Judgement Source # 

Associated Types

type Rep Judgement :: * -> * #

Out Judgement Source # 

Methods

docPrec :: Int -> Judgement -> Doc #

doc :: Judgement -> Doc #

docList :: [Judgement] -> Doc #

type Rep Judgement Source # 
type Rep Judgement = D1 (MetaData "Judgement" "Ast" "remarks-0.1.3-J9IubMJsVMGC8zGPIbw7Wt" True) (C1 (MetaCons "Judgement" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Header, [Comment], [Judgement]))))