Update part5

This commit is contained in:
Richard Feldman
2018-08-13 06:08:36 -04:00
parent fd3ceff2d2
commit 91438546ba
19 changed files with 883 additions and 532 deletions

View File

@@ -45,7 +45,12 @@ viewer session =
cred : Session -> Maybe Cred
cred session =
Maybe.map Viewer.cred (viewer session)
case session of
LoggedIn _ val ->
Just (Viewer.cred val)
Guest _ ->
Nothing
navKey : Session -> Nav.Key