Module
Web.Router
- Package
- purescript-web-router
- Repository
- robertdp/purescript-web-router
#mkInterface Source
mkInterface :: forall i o. (Maybe i -> i -> RouterM i o Routing Resolved Unit) -> (RouterEvent i -> Effect Unit) -> DriverInterface i o -> Effect (RouterInterface o)
Re-exports from Control.Monad.Indexed.Qualified
#pure Source
pure :: forall m a x. IxApplicative m => a -> m x x a
Re-exports from Web.Router.Internal.Control
#Routing Source
data Routing :: RouterIndex
data Routing
#RouterM Source
newtype RouterM :: Type -> Type -> RouterIndex -> RouterIndex -> Type -> Type
newtype RouterM i o x y a
Instances
IxFunctor (RouterM i o)
IxApply (RouterM i o)
IxApplicative (RouterM i o)
IxBind (RouterM i o)
IxMonad (RouterM i o)
(TypeEquals Routing x) => Functor (RouterM i o x x)
(TypeEquals Routing x) => Apply (RouterM i o x x)
(TypeEquals Routing x) => Applicative (RouterM i o x x)
(TypeEquals Routing x) => Bind (RouterM i o x x)
(TypeEquals Routing x) => Monad (RouterM i o x x)
(TypeEquals Routing x) => MonadEffect (RouterM i o x x)
(TypeEquals Routing x) => MonadAff (RouterM i o x x)
#RouterIndex Source
data RouterIndex
#Resolved Source
data Resolved :: RouterIndex
data Resolved
Re-exports from Web.Router.Internal.Types
#RouterEvent Source
#DriverInterface' Source
type DriverInterface' route = DriverInterface route route
#isRouting Source
isRouting :: forall route. RouterEvent route -> Boolean
#isResolved Source
isResolved :: forall route. RouterEvent route -> Boolean
#_Routing Source
_Routing :: forall route. Prism' (RouterEvent route) route
#_RouterEvent Source
_RouterEvent :: forall route. Lens' (RouterEvent route) route
#_Resolved Source
_Resolved :: forall route. Prism' (RouterEvent route) route