monadicsystems/okapi
1
1
Fork 0
mirror of https://github.com/monadicsystems/okapi.git synced 2024-11-22 00:51:34 +03:00
Code Issues Projects Releases Wiki Activity

Add tagged middleware

Browse Source
This commit is contained in:
Rashad Gover 2023-11-09 02:17:01 -08:00
parent 3928ad73f6
commit 5d522a8772
2 changed files with 7 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
lib/src/Okapi/App.hs
View File

@ -70,7 +70,7 @@ data Atom (r :: [Type]) where
Query :: forall a (r :: [Type]). (Query.From a) => [Atom (r :> a)] -> Atom r
Headers :: forall a (r :: [Type]). (Headers.From a) => [Atom (r :> a)] -> Atom r
Body :: forall a (r :: [Type]). (Body.From a) => [Atom (r :> a)] -> Atom r
Apply :: forall a (r :: [Type]). (Middleware.To a) => Atom r -> Atom r
Apply :: forall t (r :: [Type]). (Middleware.Tag t) => t -> Atom r -> Atom r
Respond :: forall a (r :: [Type]). (Response.To a) => [Atom (r :> a)] -> Atom r
Method :: forall env (r :: [Type]). HTTP.StdMethod -> (env Natural.~> IO) -> Handler r env -> Atom r
@ -118,11 +118,11 @@ headers = Headers @a @r
body :: forall a (r :: [Type]). (Body.From a) => [Atom (r :> a)] -> Atom r
body = Body @a @r
apply :: forall a (r :: [Type]). (Middleware.To a) => Atom r -> Atom r
apply = Apply @a @r
apply :: forall t (r :: [Type]). (Middleware.Tag t) => t -> Atom r -> Atom r
apply = Apply @t @r
scope :: forall a m (r :: [Type]). (Route.From a, Middleware.To m) => Wai.Middleware -> [Atom (r :> a)] -> Atom r
scope middleware children = apply @m @r $ route @a @r children
scope :: forall a t (r :: [Type]). (Route.From a, Middleware.Tag t) => t -> [Atom (r :> a)] -> Atom r
scope middlewareTag children = apply @t @r middlewareTag $ route @a @r children
respond :: forall a (r :: [Type]). (Response.To a) => [Atom (r :> a)] -> Atom r
respond = Respond @a @r

4
lib/src/Okapi/Middleware.hs
View File

@ -4,5 +4,5 @@ module Okapi.Middleware where
import Network.Wai qualified as Wai
class To a where
to :: a -> Wai.Middleware
class Tag a where
fromTag :: a -> Wai.Middleware