| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
UrlPath
- class MonadReader Text m => UrlReader m where
- runUrlReader :: m a -> Text -> a
- class MonadReader Text m => Url a m where
- renderUrl :: a -> m Text
- module UrlPath.Types
Documentation
class MonadReader Text m => UrlReader m where Source
Convenience typeclass for a uniform interface into pure Reader-like
monads.
Methods
Arguments
| :: m a | Monadic reader-like computation |
| -> Text |
|
| -> a | Result |
Instances
class MonadReader Text m => Url a m where Source
Url takes an input type a, and returns a modality f around T.Text.
Methods
Arguments
| :: a | Url-like type ( |
| -> m Text | Rendered Url in some context |
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