mirror of
https://github.com/jgm/pandoc.git
synced 2026-09-20 14:35:44 +00:00
Define isRight since it's only in recent versions of Data.Either.
This commit is contained in:
@@ -39,7 +39,6 @@ import Text.Pandoc.Writers.Shared
|
||||
import Text.Pandoc.Options
|
||||
import Text.Pandoc.Parsing hiding (blankline, blanklines, char, space)
|
||||
import Data.Maybe (fromMaybe)
|
||||
import Data.Either (isRight)
|
||||
import Data.List ( group, stripPrefix, find, intersperse, transpose, sortBy )
|
||||
import Data.Char ( isSpace, isPunctuation )
|
||||
import Data.Ord ( comparing )
|
||||
@@ -713,6 +712,10 @@ inlineListToMarkdown opts lst = do
|
||||
')':_ -> True
|
||||
_ -> False
|
||||
|
||||
isRight :: Either a b -> Bool
|
||||
isRight (Right _) = True
|
||||
isRight (Left _) = False
|
||||
|
||||
escapeSpaces :: Inline -> Inline
|
||||
escapeSpaces (Str s) = Str $ substitute " " "\\ " s
|
||||
escapeSpaces Space = Str "\\ "
|
||||
|
||||
Reference in New Issue
Block a user