| Line No. | Rev | Author | Line |
|---|---|---|---|
| 1 | 1 | paulosilva | |
| 2 | |||
| 3 | module Language.Law.SyntaxADT ( | ||
| 4 | LawS(..), | ||
| 5 | getName | ||
| 6 | )where | ||
| 7 | |||
| 8 | import Language.R.SyntaxADT | ||
| 9 | import Text.ParserCombinators.Parsec.Pos | ||
| 10 | |||
| 11 | data LawS = | ||
| 12 | EquivS SourcePos String S S | ||
| 13 | | ImplS SourcePos String S S | ||
| 14 | deriving (Eq, Show) | ||
| 15 | |||
| 16 | getName :: LawS -> String | ||
| 17 | getName (EquivS _ n _ _) = n | ||
| 18 | getName (ImplS _ n _ _) = n |