haddock-library 1.2.1 → 1.4.1
raw patch · 6 files changed
+34/−8 lines, 6 filesdep ~basenew-uploaderPVP ok
version bump matches the API change (PVP)
Dependency ranges changed: base
API changes (from Hackage documentation)
- Documentation.Haddock.Parser.Monad: instance Alternative Parser
- Documentation.Haddock.Parser.Monad: instance Applicative Parser
- Documentation.Haddock.Parser.Monad: instance Eq ParserState
- Documentation.Haddock.Parser.Monad: instance Functor Parser
- Documentation.Haddock.Parser.Monad: instance Monad Parser
- Documentation.Haddock.Parser.Monad: instance MonadPlus Parser
- Documentation.Haddock.Parser.Monad: instance Show ParserState
- Documentation.Haddock.Parser.Monad: instance a ~ ByteString => IsString (Parser a)
- Documentation.Haddock.Parser.Monad: parserStateSince :: ParserState -> Maybe Version
- Documentation.Haddock.Types: _doc :: MetaDoc mod id -> DocH mod id
- Documentation.Haddock.Types: _meta :: MetaDoc mod id -> Meta
- Documentation.Haddock.Types: _version :: Meta -> Maybe Version
- Documentation.Haddock.Types: exampleExpression :: Example -> String
- Documentation.Haddock.Types: exampleResult :: Example -> [String]
- Documentation.Haddock.Types: headerLevel :: Header id -> Int
- Documentation.Haddock.Types: headerTitle :: Header id -> id
- Documentation.Haddock.Types: hyperlinkLabel :: Hyperlink -> Maybe String
- Documentation.Haddock.Types: hyperlinkUrl :: Hyperlink -> String
- Documentation.Haddock.Types: instance (Eq mod, Eq id) => Eq (DocH mod id)
- Documentation.Haddock.Types: instance (Eq mod, Eq id) => Eq (MetaDoc mod id)
- Documentation.Haddock.Types: instance (Show mod, Show id) => Show (DocH mod id)
- Documentation.Haddock.Types: instance (Show mod, Show id) => Show (MetaDoc mod id)
- Documentation.Haddock.Types: instance Eq Example
- Documentation.Haddock.Types: instance Eq Hyperlink
- Documentation.Haddock.Types: instance Eq Meta
- Documentation.Haddock.Types: instance Eq Picture
- Documentation.Haddock.Types: instance Eq id => Eq (Header id)
- Documentation.Haddock.Types: instance Foldable (DocH mod)
- Documentation.Haddock.Types: instance Foldable (MetaDoc mod)
- Documentation.Haddock.Types: instance Foldable Header
- Documentation.Haddock.Types: instance Functor (DocH mod)
- Documentation.Haddock.Types: instance Functor (MetaDoc mod)
- Documentation.Haddock.Types: instance Functor Header
- Documentation.Haddock.Types: instance Show Example
- Documentation.Haddock.Types: instance Show Hyperlink
- Documentation.Haddock.Types: instance Show Meta
- Documentation.Haddock.Types: instance Show Picture
- Documentation.Haddock.Types: instance Show id => Show (Header id)
- Documentation.Haddock.Types: instance Traversable (DocH mod)
- Documentation.Haddock.Types: instance Traversable (MetaDoc mod)
- Documentation.Haddock.Types: instance Traversable Header
- Documentation.Haddock.Types: pictureTitle :: Picture -> Maybe String
- Documentation.Haddock.Types: pictureUri :: Picture -> String
+ Documentation.Haddock.Parser.Monad: [parserStateSince] :: ParserState -> Maybe Version
+ Documentation.Haddock.Parser.Monad: instance (a ~ Data.ByteString.Internal.ByteString) => Data.String.IsString (Documentation.Haddock.Parser.Monad.Parser a)
+ Documentation.Haddock.Parser.Monad: instance GHC.Base.Alternative Documentation.Haddock.Parser.Monad.Parser
+ Documentation.Haddock.Parser.Monad: instance GHC.Base.Applicative Documentation.Haddock.Parser.Monad.Parser
+ Documentation.Haddock.Parser.Monad: instance GHC.Base.Functor Documentation.Haddock.Parser.Monad.Parser
+ Documentation.Haddock.Parser.Monad: instance GHC.Base.Monad Documentation.Haddock.Parser.Monad.Parser
+ Documentation.Haddock.Parser.Monad: instance GHC.Base.MonadPlus Documentation.Haddock.Parser.Monad.Parser
+ Documentation.Haddock.Parser.Monad: instance GHC.Classes.Eq Documentation.Haddock.Parser.Monad.ParserState
+ Documentation.Haddock.Parser.Monad: instance GHC.Show.Show Documentation.Haddock.Parser.Monad.ParserState
+ Documentation.Haddock.Types: DocMathDisplay :: String -> DocH mod id
+ Documentation.Haddock.Types: DocMathInline :: String -> DocH mod id
+ Documentation.Haddock.Types: [_doc] :: MetaDoc mod id -> DocH mod id
+ Documentation.Haddock.Types: [_meta] :: MetaDoc mod id -> Meta
+ Documentation.Haddock.Types: [_version] :: Meta -> Maybe Version
+ Documentation.Haddock.Types: [exampleExpression] :: Example -> String
+ Documentation.Haddock.Types: [exampleResult] :: Example -> [String]
+ Documentation.Haddock.Types: [headerLevel] :: Header id -> Int
+ Documentation.Haddock.Types: [headerTitle] :: Header id -> id
+ Documentation.Haddock.Types: [hyperlinkLabel] :: Hyperlink -> Maybe String
+ Documentation.Haddock.Types: [hyperlinkUrl] :: Hyperlink -> String
+ Documentation.Haddock.Types: [pictureTitle] :: Picture -> Maybe String
+ Documentation.Haddock.Types: [pictureUri] :: Picture -> String
+ Documentation.Haddock.Types: instance (GHC.Classes.Eq mod, GHC.Classes.Eq id) => GHC.Classes.Eq (Documentation.Haddock.Types.DocH mod id)
+ Documentation.Haddock.Types: instance (GHC.Classes.Eq mod, GHC.Classes.Eq id) => GHC.Classes.Eq (Documentation.Haddock.Types.MetaDoc mod id)
+ Documentation.Haddock.Types: instance (GHC.Show.Show mod, GHC.Show.Show id) => GHC.Show.Show (Documentation.Haddock.Types.DocH mod id)
+ Documentation.Haddock.Types: instance (GHC.Show.Show mod, GHC.Show.Show id) => GHC.Show.Show (Documentation.Haddock.Types.MetaDoc mod id)
+ Documentation.Haddock.Types: instance Data.Foldable.Foldable (Documentation.Haddock.Types.DocH mod)
+ Documentation.Haddock.Types: instance Data.Foldable.Foldable (Documentation.Haddock.Types.MetaDoc mod)
+ Documentation.Haddock.Types: instance Data.Foldable.Foldable Documentation.Haddock.Types.Header
+ Documentation.Haddock.Types: instance Data.Traversable.Traversable (Documentation.Haddock.Types.DocH mod)
+ Documentation.Haddock.Types: instance Data.Traversable.Traversable (Documentation.Haddock.Types.MetaDoc mod)
+ Documentation.Haddock.Types: instance Data.Traversable.Traversable Documentation.Haddock.Types.Header
+ Documentation.Haddock.Types: instance GHC.Base.Functor (Documentation.Haddock.Types.DocH mod)
+ Documentation.Haddock.Types: instance GHC.Base.Functor (Documentation.Haddock.Types.MetaDoc mod)
+ Documentation.Haddock.Types: instance GHC.Base.Functor Documentation.Haddock.Types.Header
+ Documentation.Haddock.Types: instance GHC.Classes.Eq Documentation.Haddock.Types.Example
+ Documentation.Haddock.Types: instance GHC.Classes.Eq Documentation.Haddock.Types.Hyperlink
+ Documentation.Haddock.Types: instance GHC.Classes.Eq Documentation.Haddock.Types.Meta
+ Documentation.Haddock.Types: instance GHC.Classes.Eq Documentation.Haddock.Types.Picture
+ Documentation.Haddock.Types: instance GHC.Classes.Eq id => GHC.Classes.Eq (Documentation.Haddock.Types.Header id)
+ Documentation.Haddock.Types: instance GHC.Show.Show Documentation.Haddock.Types.Example
+ Documentation.Haddock.Types: instance GHC.Show.Show Documentation.Haddock.Types.Hyperlink
+ Documentation.Haddock.Types: instance GHC.Show.Show Documentation.Haddock.Types.Meta
+ Documentation.Haddock.Types: instance GHC.Show.Show Documentation.Haddock.Types.Picture
+ Documentation.Haddock.Types: instance GHC.Show.Show id => GHC.Show.Show (Documentation.Haddock.Types.Header id)
- Documentation.Haddock.Parser.Monad: eitherP :: Alternative f => f a -> f b -> f (Either a b)
+ Documentation.Haddock.Parser.Monad: eitherP :: (Alternative f) => f a -> f b -> f (Either a b)
- Documentation.Haddock.Parser.Monad: many' :: MonadPlus m => m a -> m [a]
+ Documentation.Haddock.Parser.Monad: many' :: (MonadPlus m) => m a -> m [a]
- Documentation.Haddock.Parser.Monad: many1' :: MonadPlus m => m a -> m [a]
+ Documentation.Haddock.Parser.Monad: many1' :: (MonadPlus m) => m a -> m [a]
- Documentation.Haddock.Parser.Monad: manyTill' :: MonadPlus m => m a -> m b -> m [a]
+ Documentation.Haddock.Parser.Monad: manyTill' :: (MonadPlus m) => m a -> m b -> m [a]
- Documentation.Haddock.Parser.Monad: sepBy' :: MonadPlus m => m a -> m s -> m [a]
+ Documentation.Haddock.Parser.Monad: sepBy' :: (MonadPlus m) => m a -> m s -> m [a]
- Documentation.Haddock.Parser.Monad: sepBy1' :: MonadPlus m => m a -> m s -> m [a]
+ Documentation.Haddock.Parser.Monad: sepBy1' :: (MonadPlus m) => m a -> m s -> m [a]
Files
- LICENSE +2/−2
- haddock-library.cabal +2/−2
- src/Documentation/Haddock/Parser.hs +21/−1
- src/Documentation/Haddock/Types.hs +2/−0
- test/Documentation/Haddock/ParserSpec.hs +4/−0
- vendor/attoparsec-0.12.1.1/Data/Attoparsec/Internal/Types.hs +3/−3
LICENSE view
@@ -5,11 +5,11 @@ - Redistributions of source code must retain the above copyright notice, this list of conditions and the following disclaimer.- + - Redistributions in binary form must reproduce the above copyright notice, this list of conditions and the following disclaimer in the documentation and/or other materials provided with the distribution.- + THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
haddock-library.cabal view
@@ -1,5 +1,5 @@ name: haddock-library-version: 1.2.1+version: 1.4.1 synopsis: Library exposing some functionality of Haddock. description: Haddock is a documentation-generation tool for Haskell libraries. These modules expose some functionality of it@@ -21,7 +21,7 @@ default-language: Haskell2010 build-depends:- base >= 4.5 && < 4.9+ base >= 4.5 && < 4.10 , bytestring , transformers , deepseq
src/Documentation/Haddock/Parser.hs view
@@ -73,6 +73,8 @@ g (DocCodeBlock x) = DocCodeBlock $ g x g (DocHyperlink x) = DocHyperlink x g (DocPic x) = DocPic x+ g (DocMathInline x) = DocMathInline x+ g (DocMathDisplay x) = DocMathDisplay x g (DocAName x) = DocAName x g (DocProperty x) = DocProperty x g (DocExamples x) = DocExamples x@@ -113,7 +115,9 @@ where p :: Parser (DocH mod Identifier) p = docConcat <$> many (monospace <|> anchor <|> identifier <|> moduleName- <|> picture <|> markdownImage <|> hyperlink <|> bold+ <|> picture <|> mathDisplay <|> mathInline+ <|> markdownImage+ <|> hyperlink <|> bold <|> emphasis <|> encodedChar <|> string' <|> skipSpecialChar) @@ -223,6 +227,22 @@ picture :: Parser (DocH mod a) picture = DocPic . makeLabeled Picture . decodeUtf8 <$> disallowNewline ("<<" *> takeUntil ">>")++-- | Inline math parser, surrounded by \\( and \\).+--+-- >>> parseString "\\(\\int_{-\\infty}^{\\infty} e^{-x^2/2} = \\sqrt{2\\pi}\\)"+-- DocMathInline "\\int_{-\\infty}^{\\infty} e^{-x^2/2} = \\sqrt{2\\pi}"+mathInline :: Parser (DocH mod a)+mathInline = DocMathInline . decodeUtf8+ <$> disallowNewline ("\\(" *> takeUntil "\\)")++-- | Display math parser, surrounded by \\[ and \\].+--+-- >>> parseString "\\[\\int_{-\\infty}^{\\infty} e^{-x^2/2} = \\sqrt{2\\pi}\\]"+-- DocMathDisplay "\\int_{-\\infty}^{\\infty} e^{-x^2/2} = \\sqrt{2\\pi}"+mathDisplay :: Parser (DocH mod a)+mathDisplay = DocMathDisplay . decodeUtf8+ <$> ("\\[" *> takeUntil "\\]") markdownImage :: Parser (DocH mod a) markdownImage = fromHyperlink <$> ("!" *> linkParser)
src/Documentation/Haddock/Types.hs view
@@ -71,6 +71,8 @@ | DocCodeBlock (DocH mod id) | DocHyperlink Hyperlink | DocPic Picture+ | DocMathInline String+ | DocMathDisplay String | DocAName String | DocProperty String | DocExamples [Example]
test/Documentation/Haddock/ParserSpec.hs view
@@ -208,6 +208,10 @@ it "supports title for deprecated picture syntax" $ do "<<b a z>>" `shouldParseTo` image "b" "a z" + context "when parsing display math" $ do++ it "accepts markdown syntax for display math containing newlines" $ do+ "\\[\\pi\n\\pi\\]" `shouldParseTo` DocMathDisplay "\\pi\n\\pi" context "when parsing anchors" $ do it "parses a single word anchor" $ do
vendor/attoparsec-0.12.1.1/Data/Attoparsec/Internal/Types.hs view
@@ -126,7 +126,7 @@ where msg = "Failed reading: " ++ err {-# INLINE fail #-} - return v = Parser $ \t pos more _lose succ -> succ t pos more v+ return = pure {-# INLINE return #-} m >>= k = Parser $ \t !pos more lose succ ->@@ -158,7 +158,7 @@ {-# INLINE apP #-} instance Applicative (Parser i) where- pure = return+ pure v = Parser $ \t pos more _lose succ -> succ t pos more v {-# INLINE pure #-} (<*>) = apP {-# INLINE (<*>) #-}@@ -166,7 +166,7 @@ -- These definitions are equal to the defaults, but this -- way the optimizer doesn't have to work so hard to figure -- that out.- (*>) = (>>)+ m *> k = m >>= \_ -> k {-# INLINE (*>) #-} x <* y = x >>= \a -> y >> return a {-# INLINE (<*) #-}