blob: 7f0b451c7b3d2b24ec6bc9e8c7e5f2a597f5029d (
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 TypeOperators #-}
{-# LANGUAGE OverloadedStrings #-}
module Endpoints.WellKnownEndpoint (WellKnownAPI, wellKnownServer) where
import Servant
import Model.WellKnown
----------------------------------------------------------------------------------------------------
type WellKnownAPI = GetWellKnownClient :<|> GetWellKnownSupport
wellKnownServer :: Server WellKnownAPI
wellKnownServer = handleWellKnownClientGet :<|> handleWellKnownSupportGet
--- GET /.well-known/matrix/client -----------------------------------------------------------------
type GetWellKnownClient = ".well-known" :> "matrix" :> "client"
:> Get '[JSON] WellKnownClientResponse
handleWellKnownClientGet :: Handler WellKnownClientResponse
handleWellKnownClientGet = return $ WellKnownClientResponse
{ homeserver = BaseUrlHolder "http://localhost:8080"
, identity_server = BaseUrlHolder "https://vector.im"
}
--- GET /.well-known/matrix/support ----------------------------------------------------------------
type GetWellKnownSupport = ".well-known" :> "matrix" :> "support"
:> Get '[JSON] WellKnownSupportResponse
handleWellKnownSupportGet :: Handler WellKnownSupportResponse
handleWellKnownSupportGet = return $ WellKnownSupportResponse
{ contacts = [Contact "email" "mxid" "m.role.admin"]
, support_page = "http://localhost:8080/support.html"
}
|