Define the Users API as a type

bradparker · Oct 2, 2019 · 0f89c43 · 0f89c43
1 parent dcdc67c
commit 0f89c43
Show file tree

Hide file tree

Showing 2 changed files with 24 additions and 0 deletions.
diff --git a/how-does-servants-type-dsl-work.cabal b/how-does-servants-type-dsl-work.cabal
@@ -9,5 +9,6 @@ maintainer:          hi@bradparker.com
 executable server
   main-is:             Main.hs
   build-depends:       base ^>=4.12.0.0
+                     , servant-server
   hs-source-dirs:      src
   default-language:    Haskell2010
diff --git a/src/Main.hs b/src/Main.hs
@@ -1,6 +1,29 @@
+{-# LANGUAGE DataKinds #-}
+{-# LANGUAGE TypeOperators #-}
 {-# OPTIONS_GHC -Wall #-}
 
 module Main where
 
+import Servant
+  ( (:<|>)
+  , (:>)
+  , Capture
+  , Get
+  , JSON
+  )
+
+data User = User
+
+type UsersIndex =
+  Get '[JSON] [User]
+
+type UsersShow =
+  Capture "username" String
+    :> Get '[JSON] User
+
+type UsersAPI =
+  "users"
+    :> (UsersIndex :<|> UsersShow)
+
 main :: IO ()
 main = putStrLn "Hello, Haskell!"