Ast

All .mrk files are parsed as a list of Judgements, as defined below.

Documentation

newtype Header

Constructors

Header (String, Double, Double)

Instances

Eq Header

Methods

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

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

Show Header

Methods

showsPrec :: Int -> Header -> ShowS

show :: Header -> String

showList :: [Header] -> ShowS

Generic Header

Associated Types

type Rep Header :: * -> *

Methods

from :: Header -> Rep Header x

to :: Rep Header x -> Header

Out Header

Methods

docPrec :: Int -> Header -> Doc

doc :: Header -> Doc

docList :: [Header] -> Doc

type Rep Header

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

data Mood

Constructors

Positive

Negative

Neutral

Impartial

Warning

Instances

Eq Mood

Methods

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

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

Show Mood

Methods

showsPrec :: Int -> Mood -> ShowS

show :: Mood -> String

showList :: [Mood] -> ShowS

Generic Mood

Associated Types

type Rep Mood :: * -> *

Methods

from :: Mood -> Rep Mood x

to :: Rep Mood x -> Mood

Out Mood

Methods

docPrec :: Int -> Mood -> Doc

doc :: Mood -> Doc

docList :: [Mood] -> Doc

type Rep Mood

type Rep Mood = D1 (MetaData "Mood" "Ast" "remarks-0.1.13-GLibmXUYJsk3HaiilrVDg" 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) (C1 (MetaCons "Warning" PrefixI False) U1))))

data CommentPart

Constructors

CommentStr String

CommentCmt Comment

Instances

Eq CommentPart

Methods

(==) :: CommentPart -> CommentPart -> Bool

(/=) :: CommentPart -> CommentPart -> Bool

Show CommentPart

Methods

showsPrec :: Int -> CommentPart -> ShowS

show :: CommentPart -> String

showList :: [CommentPart] -> ShowS

Generic CommentPart

Associated Types

type Rep CommentPart :: * -> *

Methods

from :: CommentPart -> Rep CommentPart x

to :: Rep CommentPart x -> CommentPart

Out CommentPart

Methods

docPrec :: Int -> CommentPart -> Doc

doc :: CommentPart -> Doc

docList :: [CommentPart] -> Doc

type Rep CommentPart

type Rep CommentPart = D1 (MetaData "CommentPart" "Ast" "remarks-0.1.13-GLibmXUYJsk3HaiilrVDg" False) ((:+:) (C1 (MetaCons "CommentStr" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String))) (C1 (MetaCons "CommentCmt" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Comment))))

newtype Comment

Constructors

Comment (Mood, [CommentPart])

Instances

Eq Comment

Methods

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

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

Show Comment

Methods

showsPrec :: Int -> Comment -> ShowS

show :: Comment -> String

showList :: [Comment] -> ShowS

Generic Comment

Associated Types

type Rep Comment :: * -> *

Methods

from :: Comment -> Rep Comment x

to :: Rep Comment x -> Comment

Out Comment

Methods

docPrec :: Int -> Comment -> Doc

doc :: Comment -> Doc

docList :: [Comment] -> Doc

type Rep Comment

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

newtype Property

Constructors

Property (String, PropertyExp)

Instances

Eq Property

Methods

(==) :: Property -> Property -> Bool

(/=) :: Property -> Property -> Bool

Show Property

Methods

showsPrec :: Int -> Property -> ShowS

show :: Property -> String

showList :: [Property] -> ShowS

Generic Property

Associated Types

type Rep Property :: * -> *

Methods

from :: Property -> Rep Property x

to :: Rep Property x -> Property

Out Property

Methods

docPrec :: Int -> Property -> Doc

doc :: Property -> Doc

docList :: [Property] -> Doc

type Rep Property

type Rep Property = D1 (MetaData "Property" "Ast" "remarks-0.1.13-GLibmXUYJsk3HaiilrVDg" True) (C1 (MetaCons "Property" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (String, PropertyExp))))

data PropertyExp

Constructors

Lookup (Int, String)

Sum String

Value String

Num Double

Instances

Eq PropertyExp

Methods

(==) :: PropertyExp -> PropertyExp -> Bool

(/=) :: PropertyExp -> PropertyExp -> Bool

Show PropertyExp

Methods

showsPrec :: Int -> PropertyExp -> ShowS

show :: PropertyExp -> String

showList :: [PropertyExp] -> ShowS

Generic PropertyExp

Associated Types

type Rep PropertyExp :: * -> *

Methods

from :: PropertyExp -> Rep PropertyExp x

to :: Rep PropertyExp x -> PropertyExp

Out PropertyExp

Methods

docPrec :: Int -> PropertyExp -> Doc

doc :: PropertyExp -> Doc

docList :: [PropertyExp] -> Doc

type Rep PropertyExp

type Rep PropertyExp = D1 (MetaData "PropertyExp" "Ast" "remarks-0.1.13-GLibmXUYJsk3HaiilrVDg" False) ((:+:) ((:+:) (C1 (MetaCons "Lookup" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Int, String)))) (C1 (MetaCons "Sum" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)))) ((:+:) (C1 (MetaCons "Value" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String))) (C1 (MetaCons "Num" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Double)))))

data Judgement

Constructors

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

Bonus (Double, [Property], [Comment])

Instances

Eq Judgement

Methods

(==) :: Judgement -> Judgement -> Bool

(/=) :: Judgement -> Judgement -> Bool

Show Judgement

Methods

showsPrec :: Int -> Judgement -> ShowS

show :: Judgement -> String

showList :: [Judgement] -> ShowS

Generic Judgement

Associated Types

type Rep Judgement :: * -> *

Methods

from :: Judgement -> Rep Judgement x

to :: Rep Judgement x -> Judgement

Out Judgement

Methods

docPrec :: Int -> Judgement -> Doc

doc :: Judgement -> Doc

docList :: [Judgement] -> Doc

type Rep Judgement

type Rep Judgement = D1 (MetaData "Judgement" "Ast" "remarks-0.1.13-GLibmXUYJsk3HaiilrVDg" False) ((:+:) (C1 (MetaCons "Judgement" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Header, [Property], [Comment], [Judgement])))) (C1 (MetaCons "Bonus" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Double, [Property], [Comment])))))

isLeafJ :: Judgement -> Bool

isNodeJ :: Judgement -> Bool

isBonus :: Judgement -> Bool