git.iko.soy/typeable/servant-extra-api
on master help sign in
SSO-340 Add CSRF to login page (#5864)

* Adding login CSRF * add `Cookie` routepart * Add package servant-extra * Better error message for csrf errors Co-authored-by: iko <ilyakooo0@gmail.com>

commit8c884ae593afeaa9c292cb1ce0756ffc98718b98 authorVille Tirronen <ville@typeable.io> dateTue 6 Apr 2021, 17:16 (6 years ago)
4 files changed+76
unifiedsplit
LICENSE+1 Setup.hs+2 servant-extra-api.cabal+40 src/Servant/Extra/API/Cookie.hs+33
LICENSEnew file+1
@@ -0,0 +1 @@
1+Copyright © 2021, Antorica LLC
Setup.hsnew file+2
@@ -0,0 +1,2 @@
1+import Distribution.Simple
2+main = defaultMain
servant-extra-api.cabalnew file+40
@@ -0,0 +1,40 @@
1+cabal-version: 2.4
2+-- Initial package description 'reflex-extra.cabal' generated by 'cabal
3+-- init'. For further documentation, see
4+-- http://haskell.org/cabal/users-guide/
5+
6+name: servant-extra-api
7+version: 0.1
8+synopsis: Common servant related data
9+license-file: LICENSE
10+author: Ville Tirronen
11+maintainer: ville@typeable.io
12+copyright: Antorica LLC
13+category: Web
14+build-type: Simple
15+
16+library
17+ exposed-modules: Servant.Extra.API.Cookie
18+ build-depends: base >= 4.7 && < 5
19+ , cookie
20+ , lens
21+ , openapi3
22+ , servant
23+ , servant-openapi3
24+ , text
25+
26+ hs-source-dirs: src
27+ default-language: Haskell2010
28+ ghc-options: -Wall
29+ default-extensions: MonoLocalBinds
30+ , OverloadedStrings
31+ , TypeApplications
32+ , TypeOperators
33+ , DataKinds
34+ , KindSignatures
35+ , ScopedTypeVariables
36+ , FlexibleInstances
37+ , FlexibleContexts
38+ , MultiParamTypeClasses
39+ , TypeFamilies
40+ , GeneralizedNewtypeDeriving
src/Servant/Extra/API/Cookie.hsnew file+33
@@ -0,0 +1,33 @@
1+module Servant.Extra.API.Cookie where
2+
3+import Control.Lens
4+import Data.OpenApi as OA
5+import Data.Proxy
6+import Data.Text (Text)
7+import qualified Data.Text as T
8+import GHC.TypeLits
9+import Servant.API as S
10+import Servant.OpenApi
11+import Servant.OpenApi.Internal
12+
13+newtype Cookie (name :: Symbol) = Cookie (Maybe Text)
14+ deriving (Eq, FromHttpApiData, ToHttpApiData)
15+
16+instance OA.ToParamSchema (Cookie name) where
17+ toParamSchema _ = toParamSchema (Proxy @Text)
18+
19+instance HasLink sub => HasLink (Cookie name :> sub) where
20+ type MkLink (Cookie name :> sub) endpoint = MkLink sub endpoint
21+ toLink f _p l = toLink f (Proxy @sub) l
22+
23+instance (HasOpenApi api, KnownSymbol name) =>
24+ HasOpenApi (Cookie name :> api) where
25+ toOpenApi _ = toOpenApi (Proxy @api)
26+ & addParam param
27+ & addDefaultResponse400 cookieNameText
28+ where
29+ cookieNameText = T.pack (symbolVal (Proxy @name))
30+ param = mempty
31+ & name .~ cookieNameText
32+ & in_ .~ OA.ParamCookie
33+ & required ?~ True