diff options
| author | Gregor Kleen <gkleen@yggdrasil.li> | 2016-01-18 05:55:17 +0000 |
|---|---|---|
| committer | Gregor Kleen <gkleen@yggdrasil.li> | 2016-01-18 05:55:17 +0000 |
| commit | 40e87034470548108b04d9a156760690404b6636 (patch) | |
| tree | f3a3d1ee6b3b068668ce6cbdf847f0f28563a000 /spec | |
| parent | 3c0383695b1c1e1a6f7b3f6811dacaa32577f9f7 (diff) | |
| download | thermoprint-40e87034470548108b04d9a156760690404b6636.tar thermoprint-40e87034470548108b04d9a156760690404b6636.tar.gz thermoprint-40e87034470548108b04d9a156760690404b6636.tar.bz2 thermoprint-40e87034470548108b04d9a156760690404b6636.tar.xz thermoprint-40e87034470548108b04d9a156760690404b6636.zip | |
Can't document GADT constructors
Diffstat (limited to 'spec')
| -rw-r--r-- | spec/src/Thermoprint/Printout/BBCode.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/spec/src/Thermoprint/Printout/BBCode.hs b/spec/src/Thermoprint/Printout/BBCode.hs index 8df70c0..1ca1e01 100644 --- a/spec/src/Thermoprint/Printout/BBCode.hs +++ b/spec/src/Thermoprint/Printout/BBCode.hs | |||
| @@ -71,8 +71,8 @@ data ParseResult = RBlock Block -- ^ Parses only as 'Block' | |||
| 71 | 71 | ||
| 72 | -- | Current parser context | 72 | -- | Current parser context |
| 73 | data Context a where | 73 | data Context a where |
| 74 | BlockCtx :: Context Block -- ^ Parsing 'Block's | 74 | BlockCtx :: Context Block |
| 75 | LineCtx :: Context Line -- ^ Parsing 'Line's | 75 | LineCtx :: Context Line |
| 76 | 76 | ||
| 77 | extract :: Context a -> ParseResult -> Either SemanticError a | 77 | extract :: Context a -> ParseResult -> Either SemanticError a |
| 78 | -- ^ Extract information from a 'ParseResult' given 'Context' | 78 | -- ^ Extract information from a 'ParseResult' given 'Context' |