5411cf0...master · typeable/dom-parser

git.iko.soy/typeable/dom-parser

11 files changed+85−22

since splitsnapshots

unifiedsplit

.travis.yml+1 CHANGELOG.md+14 dom-parser.cabal+8−7 ghc-802.yaml−3 ghc-822.yaml−1 ghc-963.yaml+7 src/Text/XML/DOM/Parser/Combinators.hs−1 src/Text/XML/DOM/Parser/Content.hs+4−3 src/Text/XML/DOM/Parser/Types.hs+4−4 src/Text/XML/Soap.hs+46 stack.yaml+1−3

.travis.yml+1

@@ -8,6 +8,7 @@ env:

88 - STACK_YAML=stack.yaml

99 - STACK_YAML=ghc-802.yaml

1010 - STACK_YAML=ghc-822.yaml

11+ - STACK_YAML=ghc-841.yaml

1112

1213# Caching so the next build will be fast too.

1314cache:

CHANGELOG.md+14

@@ -2,9 +2,23 @@

33## HEAD

5+## 3.2.0

7+### Added

9+* Text.XML.Soap module with XmlEnvelope stuff in it.

10+* GHC 9 compatibility.

11+

12+### Removed

13+

14+* Old stackage files.

15+

16+## 3.1.0

17+

518### Added

619

720* Additional builds with GHC 8.0.2 and 8.2.1

21+* Compatibility with GHC 8.4.1

822

923## 3.0.0

1024

dom-parser.cabal+8−7

@@ -1,5 +1,5 @@

11name: dom-parser

2−version: 3.0.0

2+version: 3.2.0

33synopsis: Simple monadic DOM parser

44license: MIT

55license-file: LICENSE

@@ -9,9 +9,9 @@ category: XML

99build-type: Simple

1010cabal-version: >=1.10

1111homepage: https://github.com/typeable/dom-parser

12−tested-with: GHC == 7.10.3

13− , GHC == 8.0.2

14− , GHC == 8.2.2

12+tested-with: GHC == 9.2.7

13+ , GHC == 9.4.8

14+ , GHC == 9.6.3

1515extra-source-files: CHANGELOG.md

1616 , README.md

1717

@@ -44,16 +44,16 @@ library

4444 , TypeFamilies

4545 , TypeOperators

4646 , UndecidableInstances

47− build-depends: base >= 4.7 && < 5

47+ build-depends: base >= 4.11 && < 5

4848 , case-insensitive

4949 , containers

5050 , lens

51− , mtl

51+ , mtl < 2.3 || > 2.3

5252 , scientific

53− , semigroups

5453 , text

5554 , transformers

5655 , xml-conduit

56+ , xml-conduit-writer

5757 , xml-lens

5858 exposed-modules: Text.XML.DOM.Parser

5959 , Text.XML.DOM.Parser.Attributes

@@ -63,6 +63,7 @@ library

6363 , Text.XML.DOM.Parser.FromAttribute

6464 , Text.XML.DOM.Parser.FromDom

6565 , Text.XML.DOM.Parser.Types

66+ , Text.XML.Soap

6667

6768test-suite test

6869 type: exitcode-stdio-1.0

ghc-802.yamldeleted−3

@@ -1,3 +0,0 @@

1−resolver: lts-9.0

2−packages:

3− - .

ghc-822.yamldeleted−1

@@ -1 +0,0 @@

1−resolver: lts-10.0

ghc-963.yamlnew file+7

@@ -0,0 +1,7 @@

1+resolver: lts-22.6

3+extra-deps:

4+ - xml-conduit-writer-0.1.1.5

6+nix:

7+ packages: [zlib]

src/Text/XML/DOM/Parser/Combinators.hs−1

@@ -22,7 +22,6 @@ import Control.Monad.Reader

2222import Data.Foldable as F

2323import Data.List as L

2424import Data.List.NonEmpty (NonEmpty(..))

25−import Data.Monoid

2625import Data.Text as T

2726import Data.Traversable

2827import Text.XML

src/Text/XML/DOM/Parser/Content.hs+4−3

@@ -20,6 +20,7 @@ import Data.List as L

2020import Data.Monoid

2121import Data.Text as T

2222import Data.Typeable

23+import Prelude as P

2324import Text.Read

2425import Text.XML.DOM.Parser.Types

2526import Text.XML.Lens

@@ -93,7 +94,7 @@ maybeReadContent

9394maybeReadContent f t = maybe (Left msg) Right $ f t

9495 where

9596 msg = "Not readable " <> n <> ": " <> t

96− n = T.pack $ show $ typeRep (Proxy :: Proxy a)

97+ n = T.pack $ P.show $ typeRep (Proxy :: Proxy a)

9798

9899

99100-- | Tries to read given text to value using 'Read'. Useful to use

@@ -114,8 +115,8 @@ readBool t =

114115 tvals = ["y", "yes", "t", "true", "1"]

115116 fvals = ["n", "no", "f", "false", "0"]

116117 in if

117− | lowt `elem` tvals -> Right True

118− | lowt `elem` fvals -> Right False

118+ | lowt `L.elem` tvals -> Right True

119+ | lowt `L.elem` fvals -> Right False

119120 | otherwise ->

120121 Left $ "Could not read " <> t <> " as Bool"

121122

src/Text/XML/DOM/Parser/Types.hs+4−4

@@ -88,8 +88,6 @@ data NameMatcher = NameMatcher

8888 -- ^ Field for 'Show' instance and bulding usefull errors

8989 }

9090

91−makeLenses ''NameMatcher

92−

9391-- | Instance use 'matchCILocalName' as most general and liberal

9492-- matching strategy (while XML is often malformed).

9593--

@@ -121,6 +119,8 @@ matchCILocalName tname = NameMatcher

121119 , _nmShow = tname

122120 }

123121

122+makeLenses ''NameMatcher

123+

124124-- | Makes matcher which match name by 'Eq' with given

125125--

126126-- @since 2.0.0

@@ -134,7 +134,7 @@ matchName n = NameMatcher

134134-- element of the document. Errors are much more usefull with path.

135135newtype DomPath = DomPath

136136 { unDomPath :: [Text]

137− } deriving (Eq, Ord, Show, Monoid)

137+ } deriving (Eq, Ord, Show, Semigroup, Monoid)

138138

139139-- | DOM parser error description.

140140data ParserError

@@ -184,7 +184,7 @@ instance Exception ParserError

184184

185185newtype ParserErrors = ParserErrors

186186 { unParserErrors :: [ParserError]

187− } deriving (Show, Monoid, Generic)

187+ } deriving (Show, Semigroup, Monoid, Generic)

188188

189189makePrisms ''ParserErrors

190190

src/Text/XML/Soap.hsnew file+46

@@ -0,0 +1,46 @@

1+module Text.XML.Soap where

3+import Control.Lens

4+import Data.String

5+import Text.XML

6+import Text.XML.DOM.Parser

7+import Text.XML.Writer

9+data XmlEnvelope h b = XmlEnvelope

10+ { _xeHeader :: !(Maybe h)

11+ , _xeBody :: !(Maybe b)

12+ } deriving (Eq, Show)

13+

14+makeLenses ''XmlEnvelope

15+

16+xmlEnvelopeToDocument :: (ToXML h, ToXML b) => XmlEnvelope h b -> Document

17+xmlEnvelopeToDocument xe = doc

18+ where

19+ sname n = fromString $ "{http://schemas.xmlsoap.org/soap/envelope/}" <> n

20+ doc =

21+ Document

22+ { documentPrologue = Prologue [] Nothing []

23+ , documentRoot =

24+ Element

25+ { elementName = sname "Envelope"

26+ , elementAttributes = mempty

27+ , elementNodes = [NodeElement header, NodeElement body]

28+ }

29+ , documentEpilogue = []

30+ }

31+ header =

32+ Element

33+ { elementName = sname "Header"

34+ , elementAttributes = mempty

35+ , elementNodes = render . toXML $ xe ^. xeHeader

36+ }

37+ body =

38+ Element

39+ { elementName = sname "Body"

40+ , elementAttributes = mempty

41+ , elementNodes = render . toXML $ xe ^. xeBody

42+ }

43+

44+instance (FromDom h, FromDom b) => FromDom (XmlEnvelope h b) where

45+ fromDom = XmlEnvelope <$> inElemMay "Header" fromDom

46+ <*> inElemMay "Body" fromDom

stack.yamlmode 100644 → 120000+1−3

@@ -1,3 +0,0 @@

1−resolver: lts-6.35

2−packages:

3− - .

@@ -0,0 +1 @@

1+ghc-963.yaml