{-# LANGUAGE DataKinds             #-}
# LANGUAGE FlexibleInstances      #
# LANGUAGE MultiParamTypeClasses #
{-# LANGUAGE ScopedTypeVariables   #-}
# LANGUAGE TypeFamilies           #
{-# LANGUAGE TypeOperators         #-}
module Futurice.App.Theme.API where

import Futurice.Prelude
import Prelude ()

import Futurice.Servant
import Futurice.Lucid.Foundation
import Servant

type ThemeAPI = SSOUser :> Get '[HTML] (HtmlPage "index")
    :<|> "public" :> Raw

themeApi :: Proxy ThemeAPI
themeApi = Proxy

# LANGUAGE DataKinds             #
# LANGUAGE ScopedTypeVariables   #
# LANGUAGE TypeOperators         #
# LANGUAGE FlexibleInstances      #
# LANGUAGE MultiParamTypeClasses #
# LANGUAGE TypeFamilies           #
module Futurice.App.Theme.API where

import Futurice.Prelude
import Prelude ()

import Futurice.Servant
import Futurice.Lucid.Foundation
import Servant

type ThemeAPI = SSOUser :> Get '[HTML] (HtmlPage "index")
    :<|> "public" :> Raw

themeApi :: Proxy ThemeAPI
themeApi = Proxy
