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 m, MonadTrans t, Monad m) => MonadUrl b (t m)

Applicative m => MonadUrl Rel (RelativeUrlT m)

Applicative m => MonadUrl Abs (AbsoluteUrlT m)

Applicative m => MonadUrl Abs (GroundedUrlT 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

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)

UrlReader (RelativeUrlT m)

type RunUrlReader (RelativeUrlT m) = m

type RelativeUrl = RelativeUrlT Identity

Grounded Urls

newtype GroundedUrlT m a

Constructors

GroundedUrlT

Fields

runGroundedUrlT :: UrlAuthority -> m a

Instances

MonadTrans GroundedUrlT

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)

UrlReader (GroundedUrlT m)

type RunUrlReader (GroundedUrlT m) = m

type GroundedUrl = GroundedUrlT Identity

Absolute Urls

newtype AbsoluteUrlT m a

Constructors

AbsoluteUrlT

Fields

runAbsoluteUrlT :: UrlAuthority -> m a

Instances

MonadTrans AbsoluteUrlT

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)

UrlReader (AbsoluteUrlT m)

type RunUrlReader (AbsoluteUrlT m) = m

type AbsoluteUrl = AbsoluteUrlT Identity