Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
- class Url plain m => UrlReader plain m where
- type Result m :: * -> *
- runUrlReader :: Url plain m => m b -> plain -> Result m b
- class (TextualMonoid plain, MonadReader plain m) => Url plain m where
- queryUrl :: QueryString plain -> m plain
- plainUrl :: plain -> m plain
- module Data.Url.Types
Documentation
class Url plain m => UrlReader plain m where Source
Overload deployment schemes with this - then, all that's needed is a type coercion to change deployment.
(Monad m, TextualMonoid plain) => UrlReader plain (AbsoluteUrlT plain m) Source | |
(Monad m, TextualMonoid plain) => UrlReader plain (GroundedUrlT plain m) Source | |
(Monad m, TextualMonoid plain) => UrlReader plain (RelativeUrlT plain m) Source |
class (TextualMonoid plain, MonadReader plain m) => Url plain m where Source
Url
is a relationship between an underlying string type
plain
, and a deployment context m
. We try to make the deployment style
coercible at the top level - if the expression has a type
Url String (AbsoluteUrlT String Identity)
or
Monad m => Url T.Text (GroundedUrlT LT.Text m)
will force
all use-cases within the expression to coerce to that type.
:: QueryString plain | Url type, parameterized over a string type |
-> m plain | Rendered Url in some context. |
:: plain | raw small string |
-> m plain | Rendered string in some context. |
(Monad m, TextualMonoid plain) => Url plain (AbsoluteUrlT plain m) Source | |
(Monad m, TextualMonoid plain) => Url plain (GroundedUrlT plain m) Source | |
(Monad m, TextualMonoid plain) => Url plain (RelativeUrlT plain m) Source |
module Data.Url.Types