Module

Web.Router.Internal.Types

Package: purescript-web-router
Repository: robertdp/purescript-web-router

#RouterInterface Source

type RouterInterface route = { initialize :: Effect (Effect Unit), navigate :: route -> Effect Unit, redirect :: route -> Effect Unit }

#DriverInterface Source

type DriverInterface i o = { initialize :: (i -> Effect Unit) -> Effect (Effect Unit), navigate :: o -> Effect Unit, redirect :: o -> Effect Unit }

#DriverInterface' Source

type DriverInterface' route = DriverInterface route route

#RouterEvent Source

data RouterEvent route

Constructors

Routing (Maybe route) route
Resolved (Maybe route) route

Instances

(Eq route) => Eq (RouterEvent route)

#_RouterEvent Source

_RouterEvent :: forall route. Lens' (RouterEvent route) route

#_Routing Source

_Routing :: forall route. Prism' (RouterEvent route) route

#_Resolved Source

_Resolved :: forall route. Prism' (RouterEvent route) route

#isRouting Source

isRouting :: forall route. RouterEvent route -> Boolean

#isResolved Source

isResolved :: forall route. RouterEvent route -> Boolean

Modules: Web.Router; Web.Router.Hash; Web.Router.Internal.Control; Web.Router.Internal.Types; Web.Router.PushState