responsible/Examples/Hello.idr at main · brainrake/responsible · GitHub

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
38
39
40
41
42
43
44
45
46
47
48
49
50
51
module Examples.Hello

import Http


hello : Has [ Context Request, Log ] e => Api e
hello = do
    r <- getRequest
    -- -- crash:
    --logStr "Hello, Console!"
    --logStr "Headers: "
    --log r.headers
    header ("test", "test") $ do
        pure $ ok $ "Hello, Http! " ++ r.path


greet : String -> Api e
greet name =
    pure $ ok $ "Hello, " ++ name ++ "!"


admin : Has [ Context Token ] e => Api e -> Api e
admin api = do
    MkToken "FAKE" <- getToken
    | _ => pure forbidden
    api


api : Has
    [ Context Request
    , State Route String
    , Exception NoRoute
    , Log
    ] e => Api e
api = with Control.App.Http.Route.get do
    concat
        [ routes "hello"
            [ get hello
            , route "post-here" $
                post hello
            , param $ \name =>
                get $ greet name
            ]
        , route "admin" $ authorized $ admin $
            pure $ ok "da Truf"
        ]


main : IO ()
main = do
    run $ devServer "127.0.0.1:8000" api