2015-08-17 23:56:29 +02:00
|
|
|
{-# LANGUAGE DataKinds #-}
|
|
|
|
{-# LANGUAGE TypeFamilies #-}
|
2015-05-06 15:57:22 +02:00
|
|
|
{-# LANGUAGE TypeOperators #-}
|
2015-05-10 13:39:18 +02:00
|
|
|
module T6 where
|
2015-05-06 15:57:22 +02:00
|
|
|
|
2015-08-17 23:56:29 +02:00
|
|
|
import Network.Wai
|
|
|
|
import Servant
|
2015-05-06 15:57:22 +02:00
|
|
|
|
|
|
|
type API = "code" :> Raw
|
|
|
|
|
|
|
|
api :: Proxy API
|
|
|
|
api = Proxy
|
|
|
|
|
|
|
|
server :: Server API
|
2015-05-10 13:39:18 +02:00
|
|
|
server = serveDirectory "tutorial"
|
2015-05-06 15:57:22 +02:00
|
|
|
|
|
|
|
app :: Application
|
2016-01-07 12:51:30 +01:00
|
|
|
app = serve api EmptyConfig server
|