Copyright | (c) DIKU, 2016-present |
---|---|
License | EUPLv1.1 |
Stability | experimental |
Safe Haskell | Safe |
Language | Haskell2010 |
All .mrk
files are parsed as a list of Judgement
s, as defined below.
Documentation
data CommentPart Source #
Eq CommentPart Source # | |
Show CommentPart Source # | |
Generic CommentPart Source # | |
Out CommentPart Source # | |
type Rep CommentPart Source # | |
Comment (Mood, [CommentPart]) |
data PropertyExp Source #
Eq PropertyExp Source # | |
Show PropertyExp Source # | |
Generic PropertyExp Source # | |
Out PropertyExp Source # | |
type Rep PropertyExp Source # | |