diff options
| author | Alexander Krotov <ilabdsf@gmail.com> | 2018-11-01 19:02:24 +0300 |
|---|---|---|
| committer | Alexander Krotov <ilabdsf@gmail.com> | 2018-11-01 19:02:24 +0300 |
| commit | 0d6a606d32a9a31af7a10445249f43635165644d (patch) | |
| tree | 051da521c9c5ab957169bb9eee09e84c6ecca6e1 /src/Text | |
| parent | 72b5878dcb4dda11573d82aeff1a6b0fcb8c9c62 (diff) | |
| download | pandoc-0d6a606d32a9a31af7a10445249f43635165644d.tar.gz | |
Remove Monad constraint implied by Stream
Diffstat (limited to 'src/Text')
| -rw-r--r-- | src/Text/Pandoc/Parsing.hs | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/src/Text/Pandoc/Parsing.hs b/src/Text/Pandoc/Parsing.hs index 0451b4ff6..a9f323863 100644 --- a/src/Text/Pandoc/Parsing.hs +++ b/src/Text/Pandoc/Parsing.hs @@ -931,7 +931,7 @@ widthsFromIndices numColumns' indices = -- (which may be grid), then the rows, -- which may be grid, separated by blank lines, and -- ending with a footer (dashed line followed by blank line). -gridTableWith :: (Monad m, HasReaderOptions st, Stream s m Char, +gridTableWith :: (Stream s m Char, HasReaderOptions st, Functor mf, Applicative mf, Monad mf, IsString s) => ParserT s st m (mf Blocks) -- ^ Block list parser -> Bool -- ^ Headerless table @@ -940,7 +940,7 @@ gridTableWith blocks headless = tableWith (gridTableHeader headless blocks) (gridTableRow blocks) (gridTableSep '-') gridTableFooter -gridTableWith' :: (Monad m, HasReaderOptions st, Stream s m Char, +gridTableWith' :: (Stream s m Char, HasReaderOptions st, Functor mf, Applicative mf, Monad mf, IsString s) => ParserT s st m (mf Blocks) -- ^ Block list parser -> Bool -- ^ Headerless table @@ -980,8 +980,8 @@ gridTableSep :: Stream s m Char => Char -> ParserT s st m Char gridTableSep ch = try $ gridDashedLines ch >> return '\n' -- | Parse header for a grid table. -gridTableHeader :: (Monad m, Functor mf, Applicative mf, Monad mf, - Stream s m Char, IsString s) +gridTableHeader :: (Stream s m Char, Functor mf, Applicative mf, Monad mf, + IsString s) => Bool -- ^ Headerless table -> ParserT s st m (mf Blocks) -> ParserT s st m (mf [Blocks], [Alignment], [Int]) @@ -1014,8 +1014,8 @@ gridTableRawLine indices = do return (gridTableSplitLine indices line) -- | Parse row of grid table. -gridTableRow :: (Monad m, Functor mf, Applicative mf, Monad mf, - Stream s m Char, IsString s) +gridTableRow :: (Stream s m Char, Functor mf, Applicative mf, Monad mf, + IsString s) => ParserT s st m (mf Blocks) -> [Int] -> ParserT s st m (mf [Blocks]) |