"purescript-now": "^2.0.0"

    "purescript-now": "^2.0.0",
    "purescript-routing": "^4.0.0",
    "purescript-uuid": "^3.0.0"

import Prelude (type (~>), Void, bind, pure, ($), ($>), (<$>), const)

import Prelude (type (~>), bind, pure, ($), ($>), (<$>), const)

type LoginState = { username :: String, password :: String }

data LoginResponse 
  = OK 
  | Forbidden 
  | Error { status :: StatusCode, message :: String }
type LoginState = 
  { username :: String
  , password :: String 
  , loginResponse :: Maybe LoginResponse
  }

initialState = { username: "", password: "" }

initialState = { username: "", password: "", loginResponse: Nothing }

data LoginComplete = LoginComplete

ui :: forall eff. H.Component HH.HTML LoginAction LoginState Void (Aff (LoginEffects eff))

ui :: forall eff. H.Component HH.HTML LoginAction LoginState LoginComplete (Aff (LoginEffects eff))

  eval :: LoginAction ~> H.ComponentDSL LoginState LoginAction Void (Aff (LoginEffects eff))

  eval :: LoginAction ~> H.ComponentDSL LoginState LoginAction LoginComplete (Aff (LoginEffects eff))

    result <- H.liftAff (login user pass)

    response <- H.liftAff (login user pass)
    case response of
      OK -> H.raise LoginComplete
      _  -> H.put { username: "", password: "", loginResponse: Just response }

data LoginResponse 
  = OK 
  | Forbidden 
  | Error { status :: StatusCode, message :: String }

import Prelude (Unit, bind, ($))

import Prelude (Unit, bind, ($), (<$), (<$>), (*>), (<<<))

import Control.Alt ((<|>))

import Data.Maybe (maybe)
import Data.UUID (UUID, parseUUID)
import Routing.Match (Match)
import Routing.Match.Class (lit, str)

import Aftok.Login as L

import Aftok.Login as L

data ARoute 
  = Home
  | Login
  | Project UUID
  | NotFound
routing :: Match ARoute
routing = Home <$ lit ""
      <|> Login <$ (lit "" *> lit "login")
      <|> (maybe NotFound Project <<< parseUUID) <$> (lit "" *> lit "project" *> str)