module Gargantext.Router where import Prelude import Data.Foldable (oneOf) import Data.Int (floor) import Routing.Match (Match, lit, num, str) import Gargantext.Routes (AppRoute(..)) import Gargantext.Types (SessionId(..)) router :: Match AppRoute router = oneOf [ Login <$ route "login" , Folder <$> (route "folder" *> sid) <*> int , CorpusDocument <$> (route "corpus" *> sid) <*> int <*> (lit "list" *> int) <*> (lit "document" *> int) , Corpus <$> (route "corpus" *> sid) <*> int , Document <$> (route "list" *> sid) <*> int <*> (lit "document" *> int) , Dashboard <$> (route "dashboard" *> sid) <*> int , PGraphExplorer <$> (route "graph" *> sid) <*> int , Texts <$> (route "texts" *> sid) <*> int , Lists <$> (route "lists" *> sid) <*> int , Annuaire <$> (route "annuaire" *> sid) <*> int , UserPage <$> (route "user" *> sid) <*> int , ContactPage <$> (route "contact" *> sid) <*> int , Home <$ lit "" ] where route str = lit "" *> lit str int :: Match Int int = floor <$> num sid :: Match SessionId sid = SessionId <$> str