Web.Ivy.Routes

Documentation

data Route m where

Constructors

Route :: forall m a. (Typeable a, Handler m a) => a -> Route m

routeIso :: forall m a. (Typeable a, Handler m a) => Iso a (Route m)

url :: (Typeable a, Handler m a) => Printer (Route m) -> a -> Maybe String

int :: Syntax delta => delta Int