mirrors/git-annex
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages 1 Wiki Activity Actions

re-evil-splicved new version of DAV

Browse source
This commit is contained in:
Joey Hess 2014-08-10 20:01:54 -04:00
parent 3f661d54d8
commit 6bfc3cf3be
1 changed files with 243 additions and 244 deletions
Download patch file Download diff file Expand all files Collapse all files

487
standalone/no-th/haskell-patches/DAV_build-without-TH.patch
View file

@ -10,61 +10,60 @@ Subject: [PATCH] expand TH
3 files changed, 307 insertions(+), 45 deletions(-) 3 files changed, 307 insertions(+), 45 deletions(-)
diff --git a/DAV.cabal b/DAV.cabal diff --git a/DAV.cabal b/DAV.cabal
index bf54f44..04f375a 100644 index 5d50e39..f2abf89 100644
--- a/DAV.cabal --- a/DAV.cabal
+++ b/DAV.cabal +++ b/DAV.cabal
@@ -42,29 +42,7 @@ library @@ -43,30 +43,7 @@ library
, transformers-base , utf8-string
, xml-conduit >= 1.0 && < 1.3 , xml-conduit >= 1.0 && < 1.3
, xml-hamlet >= 0.4 && <= 0.5 , xml-hamlet >= 0.4 && < 0.5
-executable hdav -executable hdav
- main-is: hdav.hs - main-is: hdav.hs
- ghc-options: -Wall - ghc-options: -Wall
- build-depends: base >= 4.5 && <= 5 - build-depends: base >= 4.5 && < 5
- , bytestring - , bytestring
- , bytestring - , bytestring
- , case-insensitive >= 0.4 - , case-insensitive >= 0.4
- , containers - , containers
- , data-default
- , either >= 4.1 - , either >= 4.1
- , errors - , errors
- , exceptions
- , http-client >= 0.2 - , http-client >= 0.2
- , http-client-tls >= 0.2 - , http-client-tls >= 0.2
- , http-types >= 0.7 - , http-types >= 0.7
- , lens >= 3.0 - , lens >= 3.0
- , lifted-base >= 0.1
- , monad-control >= 0.3.2
- , mtl >= 2.1 - , mtl >= 2.1
- , network >= 2.3 - , network >= 2.3
- , optparse-applicative >= 0.5.0 - , optparse-applicative >= 0.5.0
- , transformers >= 0.3 - , transformers >= 0.3
- , transformers-base - , transformers-base
- , utf8-string
- , xml-conduit >= 1.0 && < 1.3 - , xml-conduit >= 1.0 && < 1.3
- , xml-hamlet >= 0.4 && <= 0.5 - , xml-hamlet >= 0.4 && < 0.5
+ , text + , text
source-repository head source-repository head
type: git type: git
diff --git a/Network/Protocol/HTTP/DAV.hs b/Network/Protocol/HTTP/DAV.hs diff --git a/Network/Protocol/HTTP/DAV.hs b/Network/Protocol/HTTP/DAV.hs
index 94d21bc..c48618f 100644 index 4c6d68f..55979b6 100644
--- a/Network/Protocol/HTTP/DAV.hs --- a/Network/Protocol/HTTP/DAV.hs
+++ b/Network/Protocol/HTTP/DAV.hs +++ b/Network/Protocol/HTTP/DAV.hs
@@ -78,7 +78,7 @@ import Network.HTTP.Types (hContentType, Method, Status, RequestHeaders, unautho @@ -82,6 +82,7 @@ import Network.HTTP.Types (hContentType, Method, Status, RequestHeaders, unautho
import qualified Text.XML as XML import qualified Text.XML as XML
import Text.XML.Cursor (($/), (&/), element, node, fromDocument, checkName) import Text.XML.Cursor (($/), (&/), element, node, fromDocument, checkName)
-import Text.Hamlet.XML (xml) import Text.Hamlet.XML (xml)
+import qualified Data.Text +import qualified Data.Text
import Data.CaseInsensitive (mk) import Data.CaseInsensitive (mk)
@@ -336,28 +336,84 @@ makeCollection url username password = choke $ evalDAVT url $ do @@ -330,31 +331,88 @@ withLockIfPossibleForDelete nocreate f = do
propname :: XML.Document propname :: XML.Document
propname = XML.Document (XML.Prologue [] Nothing []) root [] propname = XML.Document (XML.Prologue [] Nothing []) root []
where where
- root = XML.Element "D:propfind" (Map.fromList [("xmlns:D", "DAV:")]) [xml| - root = XML.Element "D:propfind" (Map.fromList [("xmlns:D", "DAV:")]) [xml|
-<D:allprop> -<D:allprop>
-|] -|]
-
+ root = XML.Element "D:propfind" (Map.fromList [("xmlns:D", "DAV:")]) $ concat + root = XML.Element "D:propfind" (Map.fromList [("xmlns:D", "DAV:")]) $ concat
+ [[XML.NodeElement + [[XML.NodeElement
+ (XML.Element + (XML.Element
@ -72,9 +71,11 @@ index 94d21bc..c48618f 100644
+ (Data.Text.pack "D:allprop") Nothing Nothing) + (Data.Text.pack "D:allprop") Nothing Nothing)
+ Map.empty + Map.empty
+ (concat []))]] + (concat []))]]
+
locky :: XML.Document locky :: XML.Document
locky = XML.Document (XML.Prologue [] Nothing []) root [] locky = XML.Document (XML.Prologue [] Nothing []) root []
- where where
- root = XML.Element "D:lockinfo" (Map.fromList [("xmlns:D", "DAV:")]) [xml| - root = XML.Element "D:lockinfo" (Map.fromList [("xmlns:D", "DAV:")]) [xml|
-<D:lockscope> -<D:lockscope>
- <D:exclusive> - <D:exclusive>
@ -82,38 +83,37 @@ index 94d21bc..c48618f 100644
- <D:write> - <D:write>
-<D:owner>Haskell DAV user -<D:owner>Haskell DAV user
-|] -|]
+ where + root = XML.Element "D:lockinfo" (Map.fromList [("xmlns:D", "DAV:")]) $ concat
+ root = XML.Element "D:lockinfo" (Map.fromList [("xmlns:D", "DAV:")]) $ concat + [[XML.NodeElement
+ [[XML.NodeElement + (XML.Element
+ (XML.Element + (XML.Name
+ (XML.Name + (Data.Text.pack "D:lockscope") Nothing Nothing)
+ (Data.Text.pack "D:lockscope") Nothing Nothing) + Map.empty
+ Map.empty + (concat
+ (concat + [[XML.NodeElement
+ [[XML.NodeElement + (XML.Element
+ (XML.Element + (XML.Name
+ (XML.Name + (Data.Text.pack "D:exclusive") Nothing Nothing)
+ (Data.Text.pack "D:exclusive") Nothing Nothing) + Map.empty
+ Map.empty + (concat []))]]))],
+ (concat []))]]))], + [XML.NodeElement
+ [XML.NodeElement + (XML.Element
+ (XML.Element + (XML.Name
+ (XML.Name + (Data.Text.pack "D:locktype") Nothing Nothing)
+ (Data.Text.pack "D:locktype") Nothing Nothing) + Map.empty
+ Map.empty + (concat
+ (concat + [[XML.NodeElement
+ [[XML.NodeElement + (XML.Element
+ (XML.Element + (XML.Name (Data.Text.pack "D:write") Nothing Nothing)
+ (XML.Name (Data.Text.pack "D:write") Nothing Nothing) + Map.empty
+ Map.empty + (concat []))]]))],
+ (concat []))]]))], + [XML.NodeElement
+ [XML.NodeElement + (XML.Element
+ (XML.Element + (XML.Name (Data.Text.pack "D:owner") Nothing Nothing)
+ (XML.Name (Data.Text.pack "D:owner") Nothing Nothing) + Map.empty
+ Map.empty + (concat
+ (concat + [[XML.NodeContent
+ [[XML.NodeContent + (Data.Text.pack "Haskell DAV user")]]))]]
+ (Data.Text.pack "Haskell DAV user")]]))]]
+ +
calendarquery :: XML.Document calendarquery :: XML.Document
@ -146,8 +146,7 @@ index 94d21bc..c48618f 100644
+ (concat []))]]))], + (concat []))]]))],
+ [XML.NodeElement + [XML.NodeElement
+ (XML.Element + (XML.Element
+ (XML.Name + (XML.Name (Data.Text.pack "C:filter") Nothing Nothing)
+ (Data.Text.pack "C:filter") Nothing Nothing)
+ Map.empty + Map.empty
+ (concat + (concat
+ [[XML.NodeElement + [[XML.NodeElement
@ -161,8 +160,11 @@ index 94d21bc..c48618f 100644
+ Map.empty) + Map.empty)
+ (concat []))]]))]] + (concat []))]]))]]
+ +
-- | Normally, DAVT actions act on the url that is provided to eg, evalDAVT.
-- Sometimes, it's useful to adjust the url that is acted on, while
diff --git a/Network/Protocol/HTTP/DAV/TH.hs b/Network/Protocol/HTTP/DAV/TH.hs diff --git a/Network/Protocol/HTTP/DAV/TH.hs b/Network/Protocol/HTTP/DAV/TH.hs
index b072116..5a01bf9 100644 index 0ecd476..1653bf6 100644
--- a/Network/Protocol/HTTP/DAV/TH.hs --- a/Network/Protocol/HTTP/DAV/TH.hs
+++ b/Network/Protocol/HTTP/DAV/TH.hs +++ b/Network/Protocol/HTTP/DAV/TH.hs
@@ -20,9 +20,11 @@ @@ -20,9 +20,11 @@
@ -173,8 +175,8 @@ index b072116..5a01bf9 100644
+import Control.Lens +import Control.Lens
import qualified Data.ByteString as B import qualified Data.ByteString as B
import Network.HTTP.Client (Manager, Request) import Network.HTTP.Client (Manager, Request)
+import qualified Control.Lens.Type
+import qualified Data.Functor +import qualified Data.Functor
+import qualified Control.Lens.Type
data Depth = Depth0 | Depth1 | DepthInfinity data Depth = Depth0 | Depth1 | DepthInfinity
instance Read Depth where instance Read Depth where
@ -185,231 +187,228 @@ index b072116..5a01bf9 100644
-makeLenses ''DAVContext -makeLenses ''DAVContext
+allowedMethods :: Control.Lens.Type.Lens' DAVContext [B.ByteString] +allowedMethods :: Control.Lens.Type.Lens' DAVContext [B.ByteString]
+allowedMethods +allowedMethods
+ _f_a2PF + _f_a3iH
+ (DAVContext __allowedMethods'_a2PG + (DAVContext __allowedMethods'_a3iI
+ __baseRequest_a2PI + __baseRequest_a3iK
+ __basicusername_a2PJ + __basicusername_a3iL
+ __basicpassword_a2PK + __basicpassword_a3iM
+ __complianceClasses_a2PL + __complianceClasses_a3iN
+ __depth_a2PM + __depth_a3iO
+ __httpManager_a2PN + __httpManager_a3iP
+ __lockToken_a2PO + __lockToken_a3iQ
+ __userAgent_a2PP) + __userAgent_a3iR)
+ = ((\ __allowedMethods_a2PH + = ((\ __allowedMethods_a3iJ
+ -> DAVContext + -> DAVContext
+ __allowedMethods_a2PH + __allowedMethods_a3iJ
+ __baseRequest_a2PI + __baseRequest_a3iK
+ __basicusername_a2PJ + __basicusername_a3iL
+ __basicpassword_a2PK + __basicpassword_a3iM
+ __complianceClasses_a2PL + __complianceClasses_a3iN
+ __depth_a2PM + __depth_a3iO
+ __httpManager_a2PN + __httpManager_a3iP
+ __lockToken_a2PO + __lockToken_a3iQ
+ __userAgent_a2PP) + __userAgent_a3iR)
+ Data.Functor.<$> (_f_a2PF __allowedMethods'_a2PG)) + Data.Functor.<$> (_f_a3iH __allowedMethods'_a3iI))
+{-# INLINE allowedMethods #-} +{-# INLINE allowedMethods #-}
+baseRequest :: Control.Lens.Type.Lens' DAVContext Request +baseRequest :: Control.Lens.Type.Lens' DAVContext Request
+baseRequest +baseRequest
+ _f_a2PQ + _f_a3iS
+ (DAVContext __allowedMethods_a2PR + (DAVContext __allowedMethods_a3iT
+ __baseRequest'_a2PS + __baseRequest'_a3iU
+ __basicusername_a2PU + __basicusername_a3iW
+ __basicpassword_a2PV + __basicpassword_a3iX
+ __complianceClasses_a2PW + __complianceClasses_a3iY
+ __depth_a2PX + __depth_a3iZ
+ __httpManager_a2PY + __httpManager_a3j0
+ __lockToken_a2PZ + __lockToken_a3j1
+ __userAgent_a2Q0) + __userAgent_a3j2)
+ = ((\ __baseRequest_a2PT + = ((\ __baseRequest_a3iV
+ -> DAVContext + -> DAVContext
+ __allowedMethods_a2PR + __allowedMethods_a3iT
+ __baseRequest_a2PT + __baseRequest_a3iV
+ __basicusername_a2PU + __basicusername_a3iW
+ __basicpassword_a2PV + __basicpassword_a3iX
+ __complianceClasses_a2PW + __complianceClasses_a3iY
+ __depth_a2PX + __depth_a3iZ
+ __httpManager_a2PY + __httpManager_a3j0
+ __lockToken_a2PZ + __lockToken_a3j1
+ __userAgent_a2Q0) + __userAgent_a3j2)
+ Data.Functor.<$> (_f_a2PQ __baseRequest'_a2PS)) + Data.Functor.<$> (_f_a3iS __baseRequest'_a3iU))
+{-# INLINE baseRequest #-} +{-# INLINE baseRequest #-}
+basicpassword :: Control.Lens.Type.Lens' DAVContext B.ByteString +basicpassword :: Control.Lens.Type.Lens' DAVContext B.ByteString
+basicpassword +basicpassword
+ _f_a2Q1 + _f_a3j3
+ (DAVContext __allowedMethods_a2Q2 + (DAVContext __allowedMethods_a3j4
+ __baseRequest_a2Q3 + __baseRequest_a3j5
+ __basicusername_a2Q4 + __basicusername_a3j6
+ __basicpassword'_a2Q5 + __basicpassword'_a3j7
+ __complianceClasses_a2Q7 + __complianceClasses_a3j9
+ __depth_a2Q8 + __depth_a3ja
+ __httpManager_a2Q9 + __httpManager_a3jb
+ __lockToken_a2Qa + __lockToken_a3jc
+ __userAgent_a2Qb) + __userAgent_a3jd)
+ = ((\ __basicpassword_a2Q6 + = ((\ __basicpassword_a3j8
+ -> DAVContext + -> DAVContext
+ __allowedMethods_a2Q2 + __allowedMethods_a3j4
+ __baseRequest_a2Q3 + __baseRequest_a3j5
+ __basicusername_a2Q4 + __basicusername_a3j6
+ __basicpassword_a2Q6 + __basicpassword_a3j8
+ __complianceClasses_a2Q7 + __complianceClasses_a3j9
+ __depth_a2Q8 + __depth_a3ja
+ __httpManager_a2Q9 + __httpManager_a3jb
+ __lockToken_a2Qa + __lockToken_a3jc
+ __userAgent_a2Qb) + __userAgent_a3jd)
+ Data.Functor.<$> (_f_a2Q1 __basicpassword'_a2Q5)) + Data.Functor.<$> (_f_a3j3 __basicpassword'_a3j7))
+{-# INLINE basicpassword #-} +{-# INLINE basicpassword #-}
+basicusername :: Control.Lens.Type.Lens' DAVContext B.ByteString +basicusername :: Control.Lens.Type.Lens' DAVContext B.ByteString
+basicusername +basicusername
+ _f_a2Qc + _f_a3je
+ (DAVContext __allowedMethods_a2Qd + (DAVContext __allowedMethods_a3jf
+ __baseRequest_a2Qe + __baseRequest_a3jg
+ __basicusername'_a2Qf + __basicusername'_a3jh
+ __basicpassword_a2Qh + __basicpassword_a3jj
+ __complianceClasses_a2Qi + __complianceClasses_a3jk
+ __depth_a2Qj + __depth_a3jl
+ __httpManager_a2Qk + __httpManager_a3jm
+ __lockToken_a2Ql + __lockToken_a3jn
+ __userAgent_a2Qm) + __userAgent_a3jo)
+ = ((\ __basicusername_a2Qg + = ((\ __basicusername_a3ji
+ -> DAVContext + -> DAVContext
+ __allowedMethods_a2Qd + __allowedMethods_a3jf
+ __baseRequest_a2Qe + __baseRequest_a3jg
+ __basicusername_a2Qg + __basicusername_a3ji
+ __basicpassword_a2Qh + __basicpassword_a3jj
+ __complianceClasses_a2Qi + __complianceClasses_a3jk
+ __depth_a2Qj + __depth_a3jl
+ __httpManager_a2Qk + __httpManager_a3jm
+ __lockToken_a2Ql + __lockToken_a3jn
+ __userAgent_a2Qm) + __userAgent_a3jo)
+ Data.Functor.<$> (_f_a2Qc __basicusername'_a2Qf)) + Data.Functor.<$> (_f_a3je __basicusername'_a3jh))
+{-# INLINE basicusername #-} +{-# INLINE basicusername #-}
+complianceClasses :: +complianceClasses ::
+ Control.Lens.Type.Lens' DAVContext [B.ByteString] + Control.Lens.Type.Lens' DAVContext [B.ByteString]
+complianceClasses +complianceClasses
+ _f_a2Qn + _f_a3jp
+ (DAVContext __allowedMethods_a2Qo + (DAVContext __allowedMethods_a3jq
+ __baseRequest_a2Qp + __baseRequest_a3jr
+ __basicusername_a2Qq + __basicusername_a3js
+ __basicpassword_a2Qr + __basicpassword_a3jt
+ __complianceClasses'_a2Qs + __complianceClasses'_a3ju
+ __depth_a2Qu + __depth_a3jw
+ __httpManager_a2Qv + __httpManager_a3jx
+ __lockToken_a2Qw + __lockToken_a3jy
+ __userAgent_a2Qx) + __userAgent_a3jz)
+ = ((\ __complianceClasses_a2Qt + = ((\ __complianceClasses_a3jv
+ -> DAVContext + -> DAVContext
+ __allowedMethods_a2Qo + __allowedMethods_a3jq
+ __baseRequest_a2Qp + __baseRequest_a3jr
+ __basicusername_a2Qq + __basicusername_a3js
+ __basicpassword_a2Qr + __basicpassword_a3jt
+ __complianceClasses_a2Qt + __complianceClasses_a3jv
+ __depth_a2Qu + __depth_a3jw
+ __httpManager_a2Qv + __httpManager_a3jx
+ __lockToken_a2Qw + __lockToken_a3jy
+ __userAgent_a2Qx) + __userAgent_a3jz)
+ Data.Functor.<$> (_f_a2Qn __complianceClasses'_a2Qs)) + Data.Functor.<$> (_f_a3jp __complianceClasses'_a3ju))
+{-# INLINE complianceClasses #-} +{-# INLINE complianceClasses #-}
+depth :: Control.Lens.Type.Lens' DAVContext (Maybe Depth) +depth :: Control.Lens.Type.Lens' DAVContext (Maybe Depth)
+depth +depth
+ _f_a2Qy + _f_a3jA
+ (DAVContext __allowedMethods_a2Qz + (DAVContext __allowedMethods_a3jB
+ __baseRequest_a2QA + __baseRequest_a3jC
+ __basicusername_a2QB + __basicusername_a3jD
+ __basicpassword_a2QC + __basicpassword_a3jE
+ __complianceClasses_a2QD + __complianceClasses_a3jF
+ __depth'_a2QE + __depth'_a3jG
+ __httpManager_a2QG + __httpManager_a3jI
+ __lockToken_a2QH + __lockToken_a3jJ
+ __userAgent_a2QI) + __userAgent_a3jK)
+ = ((\ __depth_a2QF + = ((\ __depth_a3jH
+ -> DAVContext + -> DAVContext
+ __allowedMethods_a2Qz + __allowedMethods_a3jB
+ __baseRequest_a2QA + __baseRequest_a3jC
+ __basicusername_a2QB + __basicusername_a3jD
+ __basicpassword_a2QC + __basicpassword_a3jE
+ __complianceClasses_a2QD + __complianceClasses_a3jF
+ __depth_a2QF + __depth_a3jH
+ __httpManager_a2QG + __httpManager_a3jI
+ __lockToken_a2QH + __lockToken_a3jJ
+ __userAgent_a2QI) + __userAgent_a3jK)
+ Data.Functor.<$> (_f_a2Qy __depth'_a2QE)) + Data.Functor.<$> (_f_a3jA __depth'_a3jG))
+{-# INLINE depth #-} +{-# INLINE depth #-}
+httpManager :: Control.Lens.Type.Lens' DAVContext Manager +httpManager :: Control.Lens.Type.Lens' DAVContext (Maybe Manager)
+httpManager +httpManager
+ _f_a2QJ + _f_a3jL
+ (DAVContext __allowedMethods_a2QK + (DAVContext __allowedMethods_a3jM
+ __baseRequest_a2QL + __baseRequest_a3jN
+ __basicusername_a2QM + __basicusername_a3jO
+ __basicpassword_a2QN + __basicpassword_a3jP
+ __complianceClasses_a2QO + __complianceClasses_a3jQ
+ __depth_a2QP + __depth_a3jR
+ __httpManager'_a2QQ + __httpManager'_a3jS
+ __lockToken_a2QS + __lockToken_a3jU
+ __userAgent_a2QT) + __userAgent_a3jV)
+ = ((\ __httpManager_a2QR + = ((\ __httpManager_a3jT
+ -> DAVContext + -> DAVContext
+ __allowedMethods_a2QK + __allowedMethods_a3jM
+ __baseRequest_a2QL + __baseRequest_a3jN
+ __basicusername_a2QM + __basicusername_a3jO
+ __basicpassword_a2QN + __basicpassword_a3jP
+ __complianceClasses_a2QO + __complianceClasses_a3jQ
+ __depth_a2QP + __depth_a3jR
+ __httpManager_a2QR + __httpManager_a3jT
+ __lockToken_a2QS + __lockToken_a3jU
+ __userAgent_a2QT) + __userAgent_a3jV)
+ Data.Functor.<$> (_f_a2QJ __httpManager'_a2QQ)) + Data.Functor.<$> (_f_a3jL __httpManager'_a3jS))
+{-# INLINE httpManager #-} +{-# INLINE httpManager #-}
+lockToken :: +lockToken ::
+ Control.Lens.Type.Lens' DAVContext (Maybe B.ByteString) + Control.Lens.Type.Lens' DAVContext (Maybe B.ByteString)
+lockToken +lockToken
+ _f_a2QU + _f_a3jW
+ (DAVContext __allowedMethods_a2QV + (DAVContext __allowedMethods_a3jX
+ __baseRequest_a2QW + __baseRequest_a3jY
+ __basicusername_a2QX + __basicusername_a3jZ
+ __basicpassword_a2QY + __basicpassword_a3k0
+ __complianceClasses_a2QZ + __complianceClasses_a3k1
+ __depth_a2R0 + __depth_a3k2
+ __httpManager_a2R1 + __httpManager_a3k3
+ __lockToken'_a2R2 + __lockToken'_a3k4
+ __userAgent_a2R4) + __userAgent_a3k6)
+ = ((\ __lockToken_a2R3 + = ((\ __lockToken_a3k5
+ -> DAVContext + -> DAVContext
+ __allowedMethods_a2QV + __allowedMethods_a3jX
+ __baseRequest_a2QW + __baseRequest_a3jY
+ __basicusername_a2QX + __basicusername_a3jZ
+ __basicpassword_a2QY + __basicpassword_a3k0
+ __complianceClasses_a2QZ + __complianceClasses_a3k1
+ __depth_a2R0 + __depth_a3k2
+ __httpManager_a2R1 + __httpManager_a3k3
+ __lockToken_a2R3 + __lockToken_a3k5
+ __userAgent_a2R4) + __userAgent_a3k6)
+ Data.Functor.<$> (_f_a2QU __lockToken'_a2R2)) + Data.Functor.<$> (_f_a3jW __lockToken'_a3k4))
+{-# INLINE lockToken #-} +{-# INLINE lockToken #-}
+userAgent :: Control.Lens.Type.Lens' DAVContext B.ByteString +userAgent :: Control.Lens.Type.Lens' DAVContext B.ByteString
+userAgent +userAgent
+ _f_a2R5 + _f_a3k7
+ (DAVContext __allowedMethods_a2R6 + (DAVContext __allowedMethods_a3k8
+ __baseRequest_a2R7 + __baseRequest_a3k9
+ __basicusername_a2R8 + __basicusername_a3ka
+ __basicpassword_a2R9 + __basicpassword_a3kb
+ __complianceClasses_a2Ra + __complianceClasses_a3kc
+ __depth_a2Rb + __depth_a3kd
+ __httpManager_a2Rc + __httpManager_a3ke
+ __lockToken_a2Rd + __lockToken_a3kf
+ __userAgent'_a2Re) + __userAgent'_a3kg)
+ = ((\ __userAgent_a2Rf + = ((\ __userAgent_a3kh
+ -> DAVContext + -> DAVContext
+ __allowedMethods_a2R6 + __allowedMethods_a3k8
+ __baseRequest_a2R7 + __baseRequest_a3k9
+ __basicusername_a2R8 + __basicusername_a3ka
+ __basicpassword_a2R9 + __basicpassword_a3kb
+ __complianceClasses_a2Ra + __complianceClasses_a3kc
+ __depth_a2Rb + __depth_a3kd
+ __httpManager_a2Rc + __httpManager_a3ke
+ __lockToken_a2Rd + __lockToken_a3kf
+ __userAgent_a2Rf) + __userAgent_a3kh)
+ Data.Functor.<$> (_f_a2R5 __userAgent'_a2Re)) + Data.Functor.<$> (_f_a3k7 __userAgent'_a3kg))
+{-# INLINE userAgent #-} +{-# INLINE userAgent #-}
--
1.7.10.4