Safe Haskell | None |
---|---|
Language | Haskell2010 |
- class MonadUrl b m where
- class ToLocation a b t | a -> b t where
- toLocation :: a -> Location b t
- class UrlReader m where
- type RunUrlReader m :: * -> *
- runUrlReader :: m a -> UrlAuthority -> RunUrlReader m a
- data UrlAuthority = UrlAuthority {}
- data UrlAuthent = UrlAuthent {}
- newtype RelativeUrlT m a = RelativeUrlT {
- runRelativeUrlT :: UrlAuthority -> m a
- type RelativeUrl = RelativeUrlT Identity
- newtype GroundedUrlT m a = GroundedUrlT {
- runGroundedUrlT :: UrlAuthority -> m a
- type GroundedUrl = GroundedUrlT Identity
- newtype AbsoluteUrlT m a = AbsoluteUrlT {
- runAbsoluteUrlT :: UrlAuthority -> m a
- type AbsoluteUrl = AbsoluteUrlT Identity
Classes
class MonadUrl b m where Source
pathUrl :: Path b t -> m String Source
locUrl :: Location b t -> m String Source
symbolUrl :: ToLocation s b t => s -> m String Source
(MonadUrl b m, MonadTrans t, Monad m) => MonadUrl b (t m) Source | |
Applicative m => MonadUrl Rel (RelativeUrlT m) Source | |
Applicative m => MonadUrl Abs (AbsoluteUrlT m) Source | |
Applicative m => MonadUrl Abs (GroundedUrlT m) Source |
class ToLocation a b t | a -> b t where Source
Make an instance for your own stringless route type to use your symbols
instead of strings or Path
.
toLocation :: a -> Location b t Source
class UrlReader m where Source
Overload extraction for deployment transformers.
type RunUrlReader m :: * -> * Source
:: m a | MonadReader with index |
-> UrlAuthority | URI Scheme, hostname, and other details |
-> RunUrlReader m a | Final result |
Types
data UrlAuthent Source
Relative Urls
newtype RelativeUrlT m a Source
RelativeUrlT | |
|
MonadTrans RelativeUrlT Source | |
MonadReader r m => MonadReader r (RelativeUrlT m) Source | |
MonadWriter w m => MonadWriter w (RelativeUrlT m) Source | |
MonadState s m => MonadState s (RelativeUrlT m) Source | |
Applicative m => MonadUrl Rel (RelativeUrlT m) Source | |
Monad m => Monad (RelativeUrlT m) Source | |
Functor m => Functor (RelativeUrlT m) Source | |
Applicative m => Applicative (RelativeUrlT m) Source | |
MonadIO m => MonadIO (RelativeUrlT m) Source | |
UrlReader (RelativeUrlT m) Source | |
type RunUrlReader (RelativeUrlT m) = m Source |
type RelativeUrl = RelativeUrlT Identity Source
Grounded Urls
newtype GroundedUrlT m a Source
GroundedUrlT | |
|
MonadTrans GroundedUrlT Source | |
MonadReader r m => MonadReader r (GroundedUrlT m) Source | |
MonadWriter w m => MonadWriter w (GroundedUrlT m) Source | |
MonadState s m => MonadState s (GroundedUrlT m) Source | |
Applicative m => MonadUrl Abs (GroundedUrlT m) Source | |
Monad m => Monad (GroundedUrlT m) Source | |
Functor m => Functor (GroundedUrlT m) Source | |
Applicative m => Applicative (GroundedUrlT m) Source | |
MonadIO m => MonadIO (GroundedUrlT m) Source | |
UrlReader (GroundedUrlT m) Source | |
type RunUrlReader (GroundedUrlT m) = m Source |
type GroundedUrl = GroundedUrlT Identity Source
Absolute Urls
newtype AbsoluteUrlT m a Source
AbsoluteUrlT | |
|
MonadTrans AbsoluteUrlT Source | |
MonadReader r m => MonadReader r (AbsoluteUrlT m) Source | |
MonadWriter w m => MonadWriter w (AbsoluteUrlT m) Source | |
MonadState s m => MonadState s (AbsoluteUrlT m) Source | |
Applicative m => MonadUrl Abs (AbsoluteUrlT m) Source | |
Monad m => Monad (AbsoluteUrlT m) Source | |
Functor m => Functor (AbsoluteUrlT m) Source | |
Applicative m => Applicative (AbsoluteUrlT m) Source | |
MonadIO m => MonadIO (AbsoluteUrlT m) Source | |
UrlReader (AbsoluteUrlT m) Source | |
type RunUrlReader (AbsoluteUrlT m) = m Source |
type AbsoluteUrl = AbsoluteUrlT Identity Source