{-# LANGUAGE DataKinds #-}
{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE TypeOperators #-}

module Biz.Devalloc.Path
  ( Paths,
    home,
    signup,
  )
where

import Alpha
import qualified Biz.Devalloc.Core as Core
import Miso
import Servant

type Paths = Home :<|> Signup

type Home = View Core.Move

type Signup = "signup" :> View Core.Move

home :: URI
home = linkURI <| safeLink (Proxy :: Proxy Paths) (Proxy :: Proxy Home)

signup :: URI
signup = linkURI <| safeLink (Proxy :: Proxy Paths) (Proxy :: Proxy Signup)