UrlPath

Documentation

class MonadReader Text m => UrlReader m where

Convenience typeclass for a uniform interface into pure Reader-like monads.

Methods

runUrlReader

Arguments

:: m a

Monadic reader-like computation

-> Text

T.Text index

-> a

Result

Instances

UrlReader AbsoluteUrl

UrlReader GroundedUrl

UrlReader RelativeUrl

UrlReader Identity

class MonadReader Text m => Url a m where

Url takes an input type a, and returns a modality f around T.Text.

Methods

renderUrl

Arguments

:: a

Url-like type (UrlString or T.Text).

-> m Text

Rendered Url in some context f

Instances

Url Text AbsoluteUrl

Url Text GroundedUrl

Url Text RelativeUrl

Url Text Identity

Url UrlString AbsoluteUrl

Url UrlString GroundedUrl

Url UrlString RelativeUrl

Url UrlString Identity

Monad m => Url Text (AbsoluteUrlT m)

Monad m => Url Text (GroundedUrlT m)

Monad m => Url Text (RelativeUrlT m)

Monad m => Url UrlString (AbsoluteUrlT m)

Monad m => Url UrlString (GroundedUrlT m)

Monad m => Url UrlString (RelativeUrlT m)

module UrlPath.Types