servant-server 0.4.4.3 → 0.4.4.4

raw patch · 2 files changed

+6/−1 lines, 2 filesPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

API changes (from Hackage documentation)

- Servant.Server: errBody :: ServantErr -> ByteString

- Servant.Server: errHTTPCode :: ServantErr -> Int

- Servant.Server: errHeaders :: ServantErr -> [Header]

- Servant.Server: errReasonPhrase :: ServantErr -> String

- Servant.Server: unNat :: (:~>) m n -> forall a. m a -> n a

- Servant.Server.Internal: instance [overlap ok] (AllCTUnrender list a, HasServer sublayout) => HasServer (ReqBody list a :> sublayout)

- Servant.Server.Internal: instance [overlap ok] (GetHeaders (Headers h v), AllCTRender ctypes v) => HasServer (Delete ctypes (Headers h v))

- Servant.Server.Internal: instance [overlap ok] (GetHeaders (Headers h v), AllCTRender ctypes v) => HasServer (Get ctypes (Headers h v))

- Servant.Server.Internal: instance [overlap ok] (GetHeaders (Headers h v), AllCTRender ctypes v) => HasServer (Patch ctypes (Headers h v))

- Servant.Server.Internal: instance [overlap ok] (GetHeaders (Headers h v), AllCTRender ctypes v) => HasServer (Post ctypes (Headers h v))

- Servant.Server.Internal: instance [overlap ok] (GetHeaders (Headers h v), AllCTRender ctypes v) => HasServer (Put ctypes (Headers h v))

- Servant.Server.Internal: instance [overlap ok] (HasServer a, HasServer b) => HasServer (a :<|> b)

- Servant.Server.Internal: instance [overlap ok] (KnownSymbol capture, FromText a, HasServer sublayout) => HasServer (Capture capture a :> sublayout)

- Servant.Server.Internal: instance [overlap ok] (KnownSymbol path, HasServer sublayout) => HasServer (path :> sublayout)

- Servant.Server.Internal: instance [overlap ok] (KnownSymbol sym, FromText a, HasServer sublayout) => HasServer (Header sym a :> sublayout)

- Servant.Server.Internal: instance [overlap ok] (KnownSymbol sym, FromText a, HasServer sublayout) => HasServer (MatrixParam sym a :> sublayout)

- Servant.Server.Internal: instance [overlap ok] (KnownSymbol sym, FromText a, HasServer sublayout) => HasServer (MatrixParams sym a :> sublayout)

- Servant.Server.Internal: instance [overlap ok] (KnownSymbol sym, FromText a, HasServer sublayout) => HasServer (QueryParam sym a :> sublayout)

- Servant.Server.Internal: instance [overlap ok] (KnownSymbol sym, FromText a, HasServer sublayout) => HasServer (QueryParams sym a :> sublayout)

- Servant.Server.Internal: instance [overlap ok] (KnownSymbol sym, HasServer sublayout) => HasServer (MatrixFlag sym :> sublayout)

- Servant.Server.Internal: instance [overlap ok] (KnownSymbol sym, HasServer sublayout) => HasServer (QueryFlag sym :> sublayout)

- Servant.Server.Internal: instance [overlap ok] AllCTRender ctypes a => HasServer (Delete ctypes a)

- Servant.Server.Internal: instance [overlap ok] AllCTRender ctypes a => HasServer (Get ctypes a)

- Servant.Server.Internal: instance [overlap ok] AllCTRender ctypes a => HasServer (Patch ctypes a)

- Servant.Server.Internal: instance [overlap ok] AllCTRender ctypes a => HasServer (Post ctypes a)

- Servant.Server.Internal: instance [overlap ok] AllCTRender ctypes a => HasServer (Put ctypes a)

- Servant.Server.Internal: instance [overlap ok] Eq RouteMismatch

- Servant.Server.Internal: instance [overlap ok] Eq a => Eq (RouteResult a)

- Servant.Server.Internal: instance [overlap ok] HasServer (Delete ctypes ())

- Servant.Server.Internal: instance [overlap ok] HasServer (Get ctypes ())

- Servant.Server.Internal: instance [overlap ok] HasServer (Patch ctypes ())

- Servant.Server.Internal: instance [overlap ok] HasServer (Post ctypes ())

- Servant.Server.Internal: instance [overlap ok] HasServer (Put ctypes ())

- Servant.Server.Internal: instance [overlap ok] HasServer Raw

- Servant.Server.Internal: instance [overlap ok] Monoid (RouteResult a)

- Servant.Server.Internal: instance [overlap ok] Monoid RouteMismatch

- Servant.Server.Internal: instance [overlap ok] Ord RouteMismatch

- Servant.Server.Internal: instance [overlap ok] Show RouteMismatch

- Servant.Server.Internal: instance [overlap ok] Show a => Show (RouteResult a)

- Servant.Server.Internal: routeResult :: RouteResult a -> Either RouteMismatch a

- Servant.Server.Internal.Enter: instance (Enter typ1 arg1 ret1, Enter typ2 arg2 ret2, arg1 ~ arg2) => Enter (typ1 :<|> typ2) arg1 (ret1 :<|> ret2)

- Servant.Server.Internal.Enter: instance Category (:~>)

- Servant.Server.Internal.Enter: instance Enter (m a) (m :~> n) (n a)

- Servant.Server.Internal.Enter: instance Enter b arg ret => Enter (a -> b) arg (a -> ret)

- Servant.Server.Internal.Enter: instance Typeable (:~>)

- Servant.Server.Internal.Enter: unNat :: (:~>) m n -> forall a. m a -> n a

- Servant.Server.Internal.ServantErr: errBody :: ServantErr -> ByteString

- Servant.Server.Internal.ServantErr: errHTTPCode :: ServantErr -> Int

- Servant.Server.Internal.ServantErr: errHeaders :: ServantErr -> [Header]

- Servant.Server.Internal.ServantErr: errReasonPhrase :: ServantErr -> String

- Servant.Server.Internal.ServantErr: instance Eq ServantErr

- Servant.Server.Internal.ServantErr: instance Show ServantErr

+ Servant.Server: [errBody] :: ServantErr -> ByteString

+ Servant.Server: [errHTTPCode] :: ServantErr -> Int

+ Servant.Server: [errHeaders] :: ServantErr -> [Header]

+ Servant.Server: [errReasonPhrase] :: ServantErr -> String

+ Servant.Server: [unNat] :: (:~>) m n -> forall a. m a -> n a

+ Servant.Server.Internal: [routeResult] :: RouteResult a -> Either RouteMismatch a

+ Servant.Server.Internal: instance (Servant.API.ResponseHeaders.GetHeaders (Servant.API.ResponseHeaders.Headers h v), Servant.API.ContentTypes.AllCTRender ctypes v) => Servant.Server.Internal.HasServer (Servant.API.Delete.Delete ctypes (Servant.API.ResponseHeaders.Headers h v))

+ Servant.Server.Internal: instance (Servant.API.ResponseHeaders.GetHeaders (Servant.API.ResponseHeaders.Headers h v), Servant.API.ContentTypes.AllCTRender ctypes v) => Servant.Server.Internal.HasServer (Servant.API.Get.Get ctypes (Servant.API.ResponseHeaders.Headers h v))

+ Servant.Server.Internal: instance (Servant.API.ResponseHeaders.GetHeaders (Servant.API.ResponseHeaders.Headers h v), Servant.API.ContentTypes.AllCTRender ctypes v) => Servant.Server.Internal.HasServer (Servant.API.Patch.Patch ctypes (Servant.API.ResponseHeaders.Headers h v))

+ Servant.Server.Internal: instance (Servant.API.ResponseHeaders.GetHeaders (Servant.API.ResponseHeaders.Headers h v), Servant.API.ContentTypes.AllCTRender ctypes v) => Servant.Server.Internal.HasServer (Servant.API.Post.Post ctypes (Servant.API.ResponseHeaders.Headers h v))

+ Servant.Server.Internal: instance (Servant.API.ResponseHeaders.GetHeaders (Servant.API.ResponseHeaders.Headers h v), Servant.API.ContentTypes.AllCTRender ctypes v) => Servant.Server.Internal.HasServer (Servant.API.Put.Put ctypes (Servant.API.ResponseHeaders.Headers h v))

+ Servant.Server.Internal: instance (Servant.Server.Internal.HasServer a, Servant.Server.Internal.HasServer b) => Servant.Server.Internal.HasServer (a Servant.API.Alternative.:<|> b)

+ Servant.Server.Internal: instance GHC.Base.Monoid (Servant.Server.Internal.RouteResult a)

+ Servant.Server.Internal: instance GHC.Base.Monoid Servant.Server.Internal.RouteMismatch

+ Servant.Server.Internal: instance GHC.Classes.Eq Servant.Server.Internal.RouteMismatch

+ Servant.Server.Internal: instance GHC.Classes.Eq a => GHC.Classes.Eq (Servant.Server.Internal.RouteResult a)

+ Servant.Server.Internal: instance GHC.Classes.Ord Servant.Server.Internal.RouteMismatch

+ Servant.Server.Internal: instance GHC.Show.Show Servant.Server.Internal.RouteMismatch

+ Servant.Server.Internal: instance GHC.Show.Show a => GHC.Show.Show (Servant.Server.Internal.RouteResult a)

+ Servant.Server.Internal: instance Servant.API.ContentTypes.AllCTRender ctypes a => Servant.Server.Internal.HasServer (Servant.API.Delete.Delete ctypes a)

+ Servant.Server.Internal: instance Servant.API.ContentTypes.AllCTRender ctypes a => Servant.Server.Internal.HasServer (Servant.API.Get.Get ctypes a)

+ Servant.Server.Internal: instance Servant.API.ContentTypes.AllCTRender ctypes a => Servant.Server.Internal.HasServer (Servant.API.Patch.Patch ctypes a)

+ Servant.Server.Internal: instance Servant.API.ContentTypes.AllCTRender ctypes a => Servant.Server.Internal.HasServer (Servant.API.Post.Post ctypes a)

+ Servant.Server.Internal: instance Servant.API.ContentTypes.AllCTRender ctypes a => Servant.Server.Internal.HasServer (Servant.API.Put.Put ctypes a)

+ Servant.Server.Internal: instance Servant.Server.Internal.HasServer (Servant.API.Delete.Delete ctypes ())

+ Servant.Server.Internal: instance Servant.Server.Internal.HasServer (Servant.API.Get.Get ctypes ())

+ Servant.Server.Internal: instance Servant.Server.Internal.HasServer (Servant.API.Patch.Patch ctypes ())

+ Servant.Server.Internal: instance Servant.Server.Internal.HasServer (Servant.API.Post.Post ctypes ())

+ Servant.Server.Internal: instance Servant.Server.Internal.HasServer (Servant.API.Put.Put ctypes ())

+ Servant.Server.Internal: instance Servant.Server.Internal.HasServer Servant.API.Raw.Raw

+ Servant.Server.Internal: instance forall (k :: BOX) (capture :: GHC.TypeLits.Symbol) a (sublayout :: k). (GHC.TypeLits.KnownSymbol capture, Servant.Common.Text.FromText a, Servant.Server.Internal.HasServer sublayout) => Servant.Server.Internal.HasServer (Servant.API.Capture.Capture capture a Servant.API.Sub.:> sublayout)

+ Servant.Server.Internal: instance forall (k :: BOX) (list :: [*]) a (sublayout :: k). (Servant.API.ContentTypes.AllCTUnrender list a, Servant.Server.Internal.HasServer sublayout) => Servant.Server.Internal.HasServer (Servant.API.ReqBody.ReqBody list a Servant.API.Sub.:> sublayout)

+ Servant.Server.Internal: instance forall (k :: BOX) (path :: GHC.TypeLits.Symbol) (sublayout :: k). (GHC.TypeLits.KnownSymbol path, Servant.Server.Internal.HasServer sublayout) => Servant.Server.Internal.HasServer (path Servant.API.Sub.:> sublayout)

+ Servant.Server.Internal: instance forall (k :: BOX) (sym :: GHC.TypeLits.Symbol) (sublayout :: k). (GHC.TypeLits.KnownSymbol sym, Servant.Server.Internal.HasServer sublayout) => Servant.Server.Internal.HasServer (Servant.API.MatrixParam.MatrixFlag sym Servant.API.Sub.:> sublayout)

+ Servant.Server.Internal: instance forall (k :: BOX) (sym :: GHC.TypeLits.Symbol) (sublayout :: k). (GHC.TypeLits.KnownSymbol sym, Servant.Server.Internal.HasServer sublayout) => Servant.Server.Internal.HasServer (Servant.API.QueryParam.QueryFlag sym Servant.API.Sub.:> sublayout)

+ Servant.Server.Internal: instance forall (k :: BOX) (sym :: GHC.TypeLits.Symbol) a (sublayout :: k). (GHC.TypeLits.KnownSymbol sym, Servant.Common.Text.FromText a, Servant.Server.Internal.HasServer sublayout) => Servant.Server.Internal.HasServer (Servant.API.Header.Header sym a Servant.API.Sub.:> sublayout)

+ Servant.Server.Internal.Enter: [unNat] :: (:~>) m n -> forall a. m a -> n a

+ Servant.Server.Internal.Enter: instance (Servant.Server.Internal.Enter.Enter typ1 arg1 ret1, Servant.Server.Internal.Enter.Enter typ2 arg2 ret2, arg1 ~ arg2) => Servant.Server.Internal.Enter.Enter (typ1 Servant.API.Alternative.:<|> typ2) arg1 (ret1 Servant.API.Alternative.:<|> ret2)

+ Servant.Server.Internal.Enter: instance Control.Category.Category (Servant.Server.Internal.Enter.:~>)

+ Servant.Server.Internal.Enter: instance Servant.Server.Internal.Enter.Enter (m a) (m Servant.Server.Internal.Enter.:~> n) (n a)

+ Servant.Server.Internal.Enter: instance Servant.Server.Internal.Enter.Enter b arg ret => Servant.Server.Internal.Enter.Enter (a -> b) arg (a -> ret)

+ Servant.Server.Internal.ServantErr: [errBody] :: ServantErr -> ByteString

+ Servant.Server.Internal.ServantErr: [errHTTPCode] :: ServantErr -> Int

+ Servant.Server.Internal.ServantErr: [errHeaders] :: ServantErr -> [Header]

+ Servant.Server.Internal.ServantErr: [errReasonPhrase] :: ServantErr -> String

+ Servant.Server.Internal.ServantErr: instance GHC.Classes.Eq Servant.Server.Internal.ServantErr.ServantErr

+ Servant.Server.Internal.ServantErr: instance GHC.Show.Show Servant.Server.Internal.ServantErr.ServantErr

- Servant.Server.Internal: type RoutingApplication = Request -> (RouteResult Response -> IO ResponseReceived) -> IO ResponseReceived

+ Servant.Server.Internal: type RoutingApplication = Request the request, the field 'pathInfo' may be modified by url routing -> (RouteResult Response -> IO ResponseReceived) -> IO ResponseReceived

Files

CHANGELOG.md +5/−0
servant-server.cabal +1/−1

CHANGELOG.md view

@@ -1,3 +1,8 @@+0.4.3+-----++* Bump aeson upper-bound to < 0.11+ 0.4.1 ----- * Bump attoparsec upper bound to < 0.14

servant-server.cabal view

@@ -1,5 +1,5 @@ name:                servant-server-version:             0.4.4.3+version:             0.4.4.4 synopsis:            A family of combinators for defining webservices APIs and serving them description:   A family of combinators for defining webservices APIs and serving them