Data.Url

Classes

class MonadUrl b m where

Methods

pathUrl :: Path b t -> m String

locUrl :: Location b t -> m String

symbolUrl :: ToLocation s b t => s -> m String

Instances

MonadUrl b IO

(MonadUrl b m, Monad m) => MonadUrl b (NoLoggingT m)

(MonadUrl b m, Monad m) => MonadUrl b (LoggingT m)

(MonadUrl b m, Monad m) => MonadUrl b (IdentityT m)

(MonadUrl b m, Monad m) => MonadUrl b (ResourceT m)

(MonadUrl b m, Monad m) => MonadUrl b (ListT m)

(MonadUrl b m, Monad m) => MonadUrl b (MaybeT m)

Applicative m => MonadUrl Rel (RelativeUrlT m)

Applicative m => MonadUrl Abs (AbsoluteUrlT m)

Applicative m => MonadUrl Abs (GroundedUrlT m)

(MonadUrl b m, Monad m) => MonadUrl b (ExceptT e m)

(MonadUrl b m, Monad m) => MonadUrl b (ContT r m)

(MonadUrl b m, Monad m, Error e) => MonadUrl b (ErrorT e m)

(MonadUrl b m, Monad m) => MonadUrl b (StateT s m)

(MonadUrl b m, Monad m, Monoid w) => MonadUrl b (WriterT w m)

(MonadUrl b m, Monad m) => MonadUrl b (ReaderT r m)

(MonadUrl b m, Monad m, Monoid w) => MonadUrl b (RWST r w s m)

class ToLocation a b t | a -> b t where

Make an instance for your own stringless route type to use your symbols instead of strings or Path.

Methods

toLocation :: a -> Location b t

class UrlReader m where

Overload extraction for deployment transformers.

Associated Types

type RunUrlReader m :: * -> *

Methods

runUrlReader

Arguments

:: m a

MonadReader with index string and result b

-> UrlAuthority

URI Scheme, hostname, and other details

-> RunUrlReader m a

Final result

Instances

UrlReader (AbsoluteUrlT m)

UrlReader (GroundedUrlT m)

UrlReader (RelativeUrlT m)

Types

data UrlAuthority

The hostname of a URL.

Constructors

UrlAuthority

Fields

urlScheme :: String

urlSlashes :: Bool

urlAuth :: Maybe UrlAuthent

urlHost :: String

urlPort :: Maybe Int

Instances

Eq UrlAuthority

Ord UrlAuthority

Show UrlAuthority

data UrlAuthent

Constructors

UrlAuthent

Fields

urlAuthUser :: String

urlAuthPass :: Maybe String

Instances

Eq UrlAuthent

Ord UrlAuthent

Show UrlAuthent

Relative Urls

newtype RelativeUrlT m a

Constructors

RelativeUrlT

Fields

runRelativeUrlT :: UrlAuthority -> m a

Instances

MonadTrans RelativeUrlT

MonadTransControl RelativeUrlT

MMonad RelativeUrlT

MFunctor RelativeUrlT

MonadRWS r w s m => MonadRWS r w s (RelativeUrlT m)

MonadBase b m => MonadBase b (RelativeUrlT m)

MonadError e m => MonadError e (RelativeUrlT m)

MonadBaseControl b m => MonadBaseControl b (RelativeUrlT m)

MonadReader r m => MonadReader r (RelativeUrlT m)

MonadWriter w m => MonadWriter w (RelativeUrlT m)

MonadState s m => MonadState s (RelativeUrlT m)

Applicative m => MonadUrl Rel (RelativeUrlT m)

Monad m => Monad (RelativeUrlT m)

Functor m => Functor (RelativeUrlT m)

Applicative m => Applicative (RelativeUrlT m)

MonadIO m => MonadIO (RelativeUrlT m)

MonadThrow m => MonadThrow (RelativeUrlT m)

MonadMask m => MonadMask (RelativeUrlT m)

MonadCatch m => MonadCatch (RelativeUrlT m)

MonadCont m => MonadCont (RelativeUrlT m)

MonadResource m => MonadResource (RelativeUrlT m)

MonadLogger m => MonadLogger (RelativeUrlT m)

UrlReader (RelativeUrlT m)

type StT RelativeUrlT a = a

type RunUrlReader (RelativeUrlT m) = m

type StM (RelativeUrlT m) a = ComposeSt RelativeUrlT m a

type RelativeUrl = RelativeUrlT Identity

Grounded Urls

newtype GroundedUrlT m a

Constructors

GroundedUrlT

Fields

runGroundedUrlT :: UrlAuthority -> m a

Instances

MonadTrans GroundedUrlT

MonadTransControl GroundedUrlT

MMonad GroundedUrlT

MFunctor GroundedUrlT

MonadRWS r w s m => MonadRWS r w s (GroundedUrlT m)

MonadBase b m => MonadBase b (GroundedUrlT m)

MonadError e m => MonadError e (GroundedUrlT m)

MonadBaseControl b m => MonadBaseControl b (GroundedUrlT m)

MonadReader r m => MonadReader r (GroundedUrlT m)

MonadWriter w m => MonadWriter w (GroundedUrlT m)

MonadState s m => MonadState s (GroundedUrlT m)

Applicative m => MonadUrl Abs (GroundedUrlT m)

Monad m => Monad (GroundedUrlT m)

Functor m => Functor (GroundedUrlT m)

Applicative m => Applicative (GroundedUrlT m)

MonadIO m => MonadIO (GroundedUrlT m)

MonadThrow m => MonadThrow (GroundedUrlT m)

MonadMask m => MonadMask (GroundedUrlT m)

MonadCatch m => MonadCatch (GroundedUrlT m)

MonadCont m => MonadCont (GroundedUrlT m)

MonadResource m => MonadResource (GroundedUrlT m)

MonadLogger m => MonadLogger (GroundedUrlT m)

UrlReader (GroundedUrlT m)

type StT GroundedUrlT a = a

type RunUrlReader (GroundedUrlT m) = m

type StM (GroundedUrlT m) a = ComposeSt GroundedUrlT m a

type GroundedUrl = GroundedUrlT Identity

Absolute Urls

newtype AbsoluteUrlT m a

Constructors

AbsoluteUrlT

Fields

runAbsoluteUrlT :: UrlAuthority -> m a

Instances

MonadTrans AbsoluteUrlT

MonadTransControl AbsoluteUrlT

MMonad AbsoluteUrlT

MFunctor AbsoluteUrlT

MonadRWS r w s m => MonadRWS r w s (AbsoluteUrlT m)

MonadBase b m => MonadBase b (AbsoluteUrlT m)

MonadError e m => MonadError e (AbsoluteUrlT m)

MonadBaseControl b m => MonadBaseControl b (AbsoluteUrlT m)

MonadReader r m => MonadReader r (AbsoluteUrlT m)

MonadWriter w m => MonadWriter w (AbsoluteUrlT m)

MonadState s m => MonadState s (AbsoluteUrlT m)

Applicative m => MonadUrl Abs (AbsoluteUrlT m)

Monad m => Monad (AbsoluteUrlT m)

Functor m => Functor (AbsoluteUrlT m)

Applicative m => Applicative (AbsoluteUrlT m)

MonadIO m => MonadIO (AbsoluteUrlT m)

MonadThrow m => MonadThrow (AbsoluteUrlT m)

MonadMask m => MonadMask (AbsoluteUrlT m)

MonadCatch m => MonadCatch (AbsoluteUrlT m)

MonadCont m => MonadCont (AbsoluteUrlT m)

MonadResource m => MonadResource (AbsoluteUrlT m)

MonadLogger m => MonadLogger (AbsoluteUrlT m)

UrlReader (AbsoluteUrlT m)

type StT AbsoluteUrlT a = a

type RunUrlReader (AbsoluteUrlT m) = m

type StM (AbsoluteUrlT m) a = ComposeSt AbsoluteUrlT m a

type AbsoluteUrl = AbsoluteUrlT Identity