blob: 17f8b0f2da5904362ce413889c2fd46f3119cf96 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
|
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE TemplateHaskell #-}
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE OverloadedLabels #-}
{-# LANGUAGE DuplicateRecordFields #-}
{-# LANGUAGE OverloadedStrings #-}
module Lib
( startApp
, app
, type (:>) -- Syntax for importing type operator
, type (:<|>)
) where
import Network.Wai
import Network.Wai.Handler.Warp
import Network.Wai.Middleware.RequestLogger (logStdoutDev)
import Servant
import Servant.Server.Experimental.Auth (AuthHandler)
import Auth (authHandler)
import Cors
import Endpoints.APILib
import Endpoints.ServerLib
import Data.User (User)
startApp :: IO ()
startApp = run 8080 (logStdoutDev app)
app :: Application
app = corsMiddleware $ serveWithContext api authContext server
authContext :: Context '[AuthHandler Request User]
authContext = authHandler :. EmptyContext
api :: Proxy API
api = Proxy
|