Factis.Haskoon.WebSitemap

Documentation

data SitemapT m a

Instances

MonadTrans SitemapT

WebTrans SitemapT

Monad m => Monad (SitemapT m)

Web m => MonadPlus (SitemapT m)

MonadIO m => MonadIO (SitemapT m)

(MonadIO m, Web m) => WebIO (SitemapT m)

Web m => Web (SitemapT m)

type Sitemap m = [SitemapT m (WebRes m)]

liftMaybe :: Web m => m (Maybe a) -> SitemapT m a

matchFirst :: Web m => [SitemapT m (WebRes m)] -> SitemapT m (WebRes m)

matchPath :: Web m => String -> SitemapT m (WebRes m) -> SitemapT m (WebRes m)

matchRegex :: Web m => String -> SitemapT m (WebRes m) -> SitemapT m (WebRes m)

matchMeth :: Web m => String -> SitemapT m a -> SitemapT m a

runSitemapT :: Web m => SitemapT m a -> m (Maybe a)

fromSitemapT :: Web m => SitemapT m (WebRes m) -> m (WebRes m) -> m (WebRes m)

runSitemap :: Web m => Sitemap m -> m (WebRes m)

runWithSitemap :: Web m => (m (WebRes m) -> a) -> Sitemap m -> a