Data.Url

This library helps us distinguish how we present URLs - we might show them relatively, absolutely (with the URI authority - scheme, port, hostname, etc.), or grounded - where the path begins with /.

We leverage Chris Done's path library to distinguish relative vs. grounded paths at compile time, and provide some additional features like a file extension and query parameters in path-extra.

Classes

class MonadUrl base type' m where

Turns a Path or Location into a String, where the rendering behavior (relative, grounded and absolute) is encoded in the monad you use, much like LoggingT and NoLoggingT from monad-logger.

Minimal complete definition

pathUrl, locUrl

Methods

pathUrl :: Path base type' -> m URI

locUrl :: Location base type' -> m URI

Instances

MonadUrl b t IO

Methods

pathUrl :: Path b t -> IO URI

locUrl :: Location b t -> IO URI

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

Methods

pathUrl :: Path b t -> NoLoggingT m URI

locUrl :: Location b t -> NoLoggingT m URI

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

Methods

pathUrl :: Path b t -> LoggingT m URI

locUrl :: Location b t -> LoggingT m URI

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

Methods

pathUrl :: Path b t -> ResourceT m URI

locUrl :: Location b t -> ResourceT m URI

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

Methods

pathUrl :: Path b t -> ListT m URI

locUrl :: Location b t -> ListT m URI

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

Methods

pathUrl :: Path b t -> MaybeT m URI

locUrl :: Location b t -> MaybeT m URI

Applicative m => MonadUrl Abs File (AbsoluteUrlT m)

Methods

pathUrl :: Path Abs File -> AbsoluteUrlT m URI

locUrl :: Location Abs File -> AbsoluteUrlT m URI

Applicative m => MonadUrl Abs File (GroundedUrlT m)

Methods

pathUrl :: Path Abs File -> GroundedUrlT m URI

locUrl :: Location Abs File -> GroundedUrlT m URI

Applicative m => MonadUrl Abs Dir (AbsoluteUrlT m)

Methods

pathUrl :: Path Abs Dir -> AbsoluteUrlT m URI

locUrl :: Location Abs Dir -> AbsoluteUrlT m URI

Applicative m => MonadUrl Abs Dir (GroundedUrlT m)

Methods

pathUrl :: Path Abs Dir -> GroundedUrlT m URI

locUrl :: Location Abs Dir -> GroundedUrlT m URI

Applicative m => MonadUrl Rel File (RelativeUrlT m)

Methods

pathUrl :: Path Rel File -> RelativeUrlT m URI

locUrl :: Location Rel File -> RelativeUrlT m URI

Applicative m => MonadUrl Rel Dir (RelativeUrlT m)

Methods

pathUrl :: Path Rel Dir -> RelativeUrlT m URI

locUrl :: Location Rel Dir -> RelativeUrlT m URI

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

Methods

pathUrl :: Path b t -> ExceptT e m URI

locUrl :: Location b t -> ExceptT e m URI

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

Methods

pathUrl :: Path b t -> ErrorT e m URI

locUrl :: Location b t -> ErrorT e m URI

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

Methods

pathUrl :: Path b t -> StateT s m URI

locUrl :: Location b t -> StateT s m URI

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

Methods

pathUrl :: Path b t -> WriterT w m URI

locUrl :: Location b t -> WriterT w m URI

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

Methods

pathUrl :: Path b t -> IdentityT * m URI

locUrl :: Location b t -> IdentityT * m URI

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

Methods

pathUrl :: Path b t -> ContT * r m URI

locUrl :: Location b t -> ContT * r m URI

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

Methods

pathUrl :: Path b t -> ReaderT * r m URI

locUrl :: Location b t -> ReaderT * r m URI

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

Methods

pathUrl :: Path b t -> RWST r w s m URI

locUrl :: Location b t -> RWST r w s m URI

Types

Relative Urls

newtype RelativeUrlT m a

Constructors

RelativeUrlT

Fields

• runRelativeUrlT :: m a

Instances

MMonad RelativeUrlT

Methods

embed :: Monad n => (forall a. m a -> RelativeUrlT n a) -> RelativeUrlT m b -> RelativeUrlT n b

MonadTrans RelativeUrlT

Methods

lift :: Monad m => m a -> RelativeUrlT m a

MonadTransControl RelativeUrlT

Associated Types

type StT (RelativeUrlT :: (* -> *) -> * -> *) a :: *

Methods

liftWith :: Monad m => (Run RelativeUrlT -> m a) -> RelativeUrlT m a

restoreT :: Monad m => m (StT RelativeUrlT a) -> RelativeUrlT m a

MonadTransControl RelativeUrlT Identity

Methods

liftWith :: Monad m => (Run RelativeUrlT Identity -> m a) -> RelativeUrlT m a

restoreT :: Monad m => m (Identity a) -> RelativeUrlT m a

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

Applicative m => MonadUrl Rel File (RelativeUrlT m)

Methods

pathUrl :: Path Rel File -> RelativeUrlT m URI

locUrl :: Location Rel File -> RelativeUrlT m URI

Applicative m => MonadUrl Rel Dir (RelativeUrlT m)

Methods

pathUrl :: Path Rel Dir -> RelativeUrlT m URI

locUrl :: Location Rel Dir -> RelativeUrlT m URI

MonadBaseControl b m => MonadBaseControl b (RelativeUrlT m)

Associated Types

type StM (RelativeUrlT m :: * -> *) a :: *

Methods

liftBaseWith :: (RunInBase (RelativeUrlT m) b -> b a) -> RelativeUrlT m a

restoreM :: StM (RelativeUrlT m) a -> RelativeUrlT m a

MonadBase b m => MonadBase b (RelativeUrlT m)

Methods

liftBase :: b α -> RelativeUrlT m α

MonadError e m => MonadError e (RelativeUrlT m)

Methods

throwError :: e -> RelativeUrlT m a

catchError :: RelativeUrlT m a -> (e -> RelativeUrlT m a) -> RelativeUrlT m a

MonadReader r m => MonadReader r (RelativeUrlT m)

Methods

ask :: RelativeUrlT m r

local :: (r -> r) -> RelativeUrlT m a -> RelativeUrlT m a

reader :: (r -> a) -> RelativeUrlT m a

MonadState s m => MonadState s (RelativeUrlT m)

Methods

get :: RelativeUrlT m s

put :: s -> RelativeUrlT m ()

state :: (s -> (a, s)) -> RelativeUrlT m a

MonadWriter w m => MonadWriter w (RelativeUrlT m)

Methods

writer :: (a, w) -> RelativeUrlT m a

tell :: w -> RelativeUrlT m ()

listen :: RelativeUrlT m a -> RelativeUrlT m (a, w)

pass :: RelativeUrlT m (a, w -> w) -> RelativeUrlT m a

MonadBaseControl b m stM => MonadBaseControl b (RelativeUrlT m) (Compose * * stM Identity)

Methods

liftBaseWith :: (RunInBase (RelativeUrlT m) b (Compose * * stM Identity) -> b a) -> RelativeUrlT m a

restoreM :: Compose * * stM Identity a -> RelativeUrlT m a

Monad m => Monad (RelativeUrlT m)

Methods

(>>=) :: RelativeUrlT m a -> (a -> RelativeUrlT m b) -> RelativeUrlT m b

(>>) :: RelativeUrlT m a -> RelativeUrlT m b -> RelativeUrlT m b

return :: a -> RelativeUrlT m a

fail :: String -> RelativeUrlT m a

Functor m => Functor (RelativeUrlT m)

Methods

fmap :: (a -> b) -> RelativeUrlT m a -> RelativeUrlT m b

(<$) :: a -> RelativeUrlT m b -> RelativeUrlT m a

MonadFix m => MonadFix (RelativeUrlT m)

Methods

mfix :: (a -> RelativeUrlT m a) -> RelativeUrlT m a

Applicative m => Applicative (RelativeUrlT m)

Methods

pure :: a -> RelativeUrlT m a

(<*>) :: RelativeUrlT m (a -> b) -> RelativeUrlT m a -> RelativeUrlT m b

(*>) :: RelativeUrlT m a -> RelativeUrlT m b -> RelativeUrlT m b

(<*) :: RelativeUrlT m a -> RelativeUrlT m b -> RelativeUrlT m a

Alternative m => Alternative (RelativeUrlT m)

Methods

empty :: RelativeUrlT m a

(<|>) :: RelativeUrlT m a -> RelativeUrlT m a -> RelativeUrlT m a

some :: RelativeUrlT m a -> RelativeUrlT m [a]

many :: RelativeUrlT m a -> RelativeUrlT m [a]

MonadPlus m => MonadPlus (RelativeUrlT m)

Methods

mzero :: RelativeUrlT m a

mplus :: RelativeUrlT m a -> RelativeUrlT m a -> RelativeUrlT m a

MonadIO m => MonadIO (RelativeUrlT m)

Methods

liftIO :: IO a -> RelativeUrlT m a

MonadThrow m => MonadThrow (RelativeUrlT m)

Methods

throwM :: Exception e => e -> RelativeUrlT m a

MonadCatch m => MonadCatch (RelativeUrlT m)

Methods

catch :: Exception e => RelativeUrlT m a -> (e -> RelativeUrlT m a) -> RelativeUrlT m a

MonadMask m => MonadMask (RelativeUrlT m)

Methods

mask :: ((forall a. RelativeUrlT m a -> RelativeUrlT m a) -> RelativeUrlT m b) -> RelativeUrlT m b

uninterruptibleMask :: ((forall a. RelativeUrlT m a -> RelativeUrlT m a) -> RelativeUrlT m b) -> RelativeUrlT m b

MonadLogger m => MonadLogger (RelativeUrlT m)

Methods

monadLoggerLog :: ToLogStr msg => Loc -> LogSource -> LogLevel -> msg -> RelativeUrlT m ()

MonadCont m => MonadCont (RelativeUrlT m)

Methods

callCC :: ((a -> RelativeUrlT m b) -> RelativeUrlT m a) -> RelativeUrlT m a

(MonadResource m, MonadBase IO m) => MonadResource (RelativeUrlT m)

Methods

liftResourceT :: ResourceT IO a -> RelativeUrlT m a

MFunctor * RelativeUrlT

Methods

hoist :: Monad m => (forall a. m a -> n a) -> t m b -> t n b

Eq (m a) => Eq (RelativeUrlT m a)

Methods

(==) :: RelativeUrlT m a -> RelativeUrlT m a -> Bool

(/=) :: RelativeUrlT m a -> RelativeUrlT m a -> Bool

Ord (m a) => Ord (RelativeUrlT m a)

Methods

compare :: RelativeUrlT m a -> RelativeUrlT m a -> Ordering

(<) :: RelativeUrlT m a -> RelativeUrlT m a -> Bool

(<=) :: RelativeUrlT m a -> RelativeUrlT m a -> Bool

(>) :: RelativeUrlT m a -> RelativeUrlT m a -> Bool

(>=) :: RelativeUrlT m a -> RelativeUrlT m a -> Bool

max :: RelativeUrlT m a -> RelativeUrlT m a -> RelativeUrlT m a

min :: RelativeUrlT m a -> RelativeUrlT m a -> RelativeUrlT m a

Show (m a) => Show (RelativeUrlT m a)

Methods

showsPrec :: Int -> RelativeUrlT m a -> ShowS

show :: RelativeUrlT m a -> String

showList :: [RelativeUrlT m a] -> ShowS

type StT RelativeUrlT a

type StT RelativeUrlT a = a

type StM (RelativeUrlT m) a

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

type RelativeUrl = RelativeUrlT Identity

Grounded Urls

newtype GroundedUrlT m a

Constructors

GroundedUrlT

Fields

• runGroundedUrlT :: m a

Instances

MMonad GroundedUrlT

Methods

embed :: Monad n => (forall a. m a -> GroundedUrlT n a) -> GroundedUrlT m b -> GroundedUrlT n b

MonadTrans GroundedUrlT

Methods

lift :: Monad m => m a -> GroundedUrlT m a

MonadTransControl GroundedUrlT

Associated Types

type StT (GroundedUrlT :: (* -> *) -> * -> *) a :: *

Methods

liftWith :: Monad m => (Run GroundedUrlT -> m a) -> GroundedUrlT m a

restoreT :: Monad m => m (StT GroundedUrlT a) -> GroundedUrlT m a

MonadTransControl GroundedUrlT Identity

Methods

liftWith :: Monad m => (Run GroundedUrlT Identity -> m a) -> GroundedUrlT m a

restoreT :: Monad m => m (Identity a) -> GroundedUrlT m a

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

Applicative m => MonadUrl Abs File (GroundedUrlT m)

Methods

pathUrl :: Path Abs File -> GroundedUrlT m URI

locUrl :: Location Abs File -> GroundedUrlT m URI

Applicative m => MonadUrl Abs Dir (GroundedUrlT m)

Methods

pathUrl :: Path Abs Dir -> GroundedUrlT m URI

locUrl :: Location Abs Dir -> GroundedUrlT m URI

MonadBaseControl b m => MonadBaseControl b (GroundedUrlT m)

Associated Types

type StM (GroundedUrlT m :: * -> *) a :: *

Methods

liftBaseWith :: (RunInBase (GroundedUrlT m) b -> b a) -> GroundedUrlT m a

restoreM :: StM (GroundedUrlT m) a -> GroundedUrlT m a

MonadBase b m => MonadBase b (GroundedUrlT m)

Methods

liftBase :: b α -> GroundedUrlT m α

MonadError e m => MonadError e (GroundedUrlT m)

Methods

throwError :: e -> GroundedUrlT m a

catchError :: GroundedUrlT m a -> (e -> GroundedUrlT m a) -> GroundedUrlT m a

MonadReader r m => MonadReader r (GroundedUrlT m)

Methods

ask :: GroundedUrlT m r

local :: (r -> r) -> GroundedUrlT m a -> GroundedUrlT m a

reader :: (r -> a) -> GroundedUrlT m a

MonadState s m => MonadState s (GroundedUrlT m)

Methods

get :: GroundedUrlT m s

put :: s -> GroundedUrlT m ()

state :: (s -> (a, s)) -> GroundedUrlT m a

MonadWriter w m => MonadWriter w (GroundedUrlT m)

Methods

writer :: (a, w) -> GroundedUrlT m a

tell :: w -> GroundedUrlT m ()

listen :: GroundedUrlT m a -> GroundedUrlT m (a, w)

pass :: GroundedUrlT m (a, w -> w) -> GroundedUrlT m a

MonadBaseControl b m stM => MonadBaseControl b (GroundedUrlT m) (Compose * * stM Identity)

Methods

liftBaseWith :: (RunInBase (GroundedUrlT m) b (Compose * * stM Identity) -> b a) -> GroundedUrlT m a

restoreM :: Compose * * stM Identity a -> GroundedUrlT m a

Monad m => Monad (GroundedUrlT m)

Methods

(>>=) :: GroundedUrlT m a -> (a -> GroundedUrlT m b) -> GroundedUrlT m b

(>>) :: GroundedUrlT m a -> GroundedUrlT m b -> GroundedUrlT m b

return :: a -> GroundedUrlT m a

fail :: String -> GroundedUrlT m a

Functor m => Functor (GroundedUrlT m)

Methods

fmap :: (a -> b) -> GroundedUrlT m a -> GroundedUrlT m b

(<$) :: a -> GroundedUrlT m b -> GroundedUrlT m a

MonadFix m => MonadFix (GroundedUrlT m)

Methods

mfix :: (a -> GroundedUrlT m a) -> GroundedUrlT m a

Applicative m => Applicative (GroundedUrlT m)

Methods

pure :: a -> GroundedUrlT m a

(<*>) :: GroundedUrlT m (a -> b) -> GroundedUrlT m a -> GroundedUrlT m b

(*>) :: GroundedUrlT m a -> GroundedUrlT m b -> GroundedUrlT m b

(<*) :: GroundedUrlT m a -> GroundedUrlT m b -> GroundedUrlT m a

Alternative m => Alternative (GroundedUrlT m)

Methods

empty :: GroundedUrlT m a

(<|>) :: GroundedUrlT m a -> GroundedUrlT m a -> GroundedUrlT m a

some :: GroundedUrlT m a -> GroundedUrlT m [a]

many :: GroundedUrlT m a -> GroundedUrlT m [a]

MonadPlus m => MonadPlus (GroundedUrlT m)

Methods

mzero :: GroundedUrlT m a

mplus :: GroundedUrlT m a -> GroundedUrlT m a -> GroundedUrlT m a

MonadIO m => MonadIO (GroundedUrlT m)

Methods

liftIO :: IO a -> GroundedUrlT m a

MonadThrow m => MonadThrow (GroundedUrlT m)

Methods

throwM :: Exception e => e -> GroundedUrlT m a

MonadCatch m => MonadCatch (GroundedUrlT m)

Methods

catch :: Exception e => GroundedUrlT m a -> (e -> GroundedUrlT m a) -> GroundedUrlT m a

MonadMask m => MonadMask (GroundedUrlT m)

Methods

mask :: ((forall a. GroundedUrlT m a -> GroundedUrlT m a) -> GroundedUrlT m b) -> GroundedUrlT m b

uninterruptibleMask :: ((forall a. GroundedUrlT m a -> GroundedUrlT m a) -> GroundedUrlT m b) -> GroundedUrlT m b

MonadLogger m => MonadLogger (GroundedUrlT m)

Methods

monadLoggerLog :: ToLogStr msg => Loc -> LogSource -> LogLevel -> msg -> GroundedUrlT m ()

MonadCont m => MonadCont (GroundedUrlT m)

Methods

callCC :: ((a -> GroundedUrlT m b) -> GroundedUrlT m a) -> GroundedUrlT m a

(MonadResource m, MonadBase IO m) => MonadResource (GroundedUrlT m)

Methods

liftResourceT :: ResourceT IO a -> GroundedUrlT m a

MFunctor * GroundedUrlT

Methods

hoist :: Monad m => (forall a. m a -> n a) -> t m b -> t n b

Eq (m a) => Eq (GroundedUrlT m a)

Methods

(==) :: GroundedUrlT m a -> GroundedUrlT m a -> Bool

(/=) :: GroundedUrlT m a -> GroundedUrlT m a -> Bool

Ord (m a) => Ord (GroundedUrlT m a)

Methods

compare :: GroundedUrlT m a -> GroundedUrlT m a -> Ordering

(<) :: GroundedUrlT m a -> GroundedUrlT m a -> Bool

(<=) :: GroundedUrlT m a -> GroundedUrlT m a -> Bool

(>) :: GroundedUrlT m a -> GroundedUrlT m a -> Bool

(>=) :: GroundedUrlT m a -> GroundedUrlT m a -> Bool

max :: GroundedUrlT m a -> GroundedUrlT m a -> GroundedUrlT m a

min :: GroundedUrlT m a -> GroundedUrlT m a -> GroundedUrlT m a

Show (m a) => Show (GroundedUrlT m a)

Methods

showsPrec :: Int -> GroundedUrlT m a -> ShowS

show :: GroundedUrlT m a -> String

showList :: [GroundedUrlT m a] -> ShowS

type StT GroundedUrlT a

type StT GroundedUrlT a = a

type StM (GroundedUrlT m) a

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

type GroundedUrl = GroundedUrlT Identity

Absolute Urls

newtype AbsoluteUrlT m a

Constructors

AbsoluteUrlT

Fields

• runAbsoluteUrlT :: URIAuth -> m a

Instances

MMonad AbsoluteUrlT

Methods

embed :: Monad n => (forall a. m a -> AbsoluteUrlT n a) -> AbsoluteUrlT m b -> AbsoluteUrlT n b

MonadTrans AbsoluteUrlT

Methods

lift :: Monad m => m a -> AbsoluteUrlT m a

MonadTransControl AbsoluteUrlT

Associated Types

type StT (AbsoluteUrlT :: (* -> *) -> * -> *) a :: *

Methods

liftWith :: Monad m => (Run AbsoluteUrlT -> m a) -> AbsoluteUrlT m a

restoreT :: Monad m => m (StT AbsoluteUrlT a) -> AbsoluteUrlT m a

MonadTransControl AbsoluteUrlT Identity

Methods

liftWith :: Monad m => (Run AbsoluteUrlT Identity -> m a) -> AbsoluteUrlT m a

restoreT :: Monad m => m (Identity a) -> AbsoluteUrlT m a

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

Applicative m => MonadUrl Abs File (AbsoluteUrlT m)

Methods

pathUrl :: Path Abs File -> AbsoluteUrlT m URI

locUrl :: Location Abs File -> AbsoluteUrlT m URI

Applicative m => MonadUrl Abs Dir (AbsoluteUrlT m)

Methods

pathUrl :: Path Abs Dir -> AbsoluteUrlT m URI

locUrl :: Location Abs Dir -> AbsoluteUrlT m URI

MonadBaseControl b m => MonadBaseControl b (AbsoluteUrlT m)

Associated Types

type StM (AbsoluteUrlT m :: * -> *) a :: *

Methods

liftBaseWith :: (RunInBase (AbsoluteUrlT m) b -> b a) -> AbsoluteUrlT m a

restoreM :: StM (AbsoluteUrlT m) a -> AbsoluteUrlT m a

MonadBase b m => MonadBase b (AbsoluteUrlT m)

Methods

liftBase :: b α -> AbsoluteUrlT m α

MonadError e m => MonadError e (AbsoluteUrlT m)

Methods

throwError :: e -> AbsoluteUrlT m a

catchError :: AbsoluteUrlT m a -> (e -> AbsoluteUrlT m a) -> AbsoluteUrlT m a

MonadReader r m => MonadReader r (AbsoluteUrlT m)

Methods

ask :: AbsoluteUrlT m r

local :: (r -> r) -> AbsoluteUrlT m a -> AbsoluteUrlT m a

reader :: (r -> a) -> AbsoluteUrlT m a

MonadState s m => MonadState s (AbsoluteUrlT m)

Methods

get :: AbsoluteUrlT m s

put :: s -> AbsoluteUrlT m ()

state :: (s -> (a, s)) -> AbsoluteUrlT m a

MonadWriter w m => MonadWriter w (AbsoluteUrlT m)

Methods

writer :: (a, w) -> AbsoluteUrlT m a

tell :: w -> AbsoluteUrlT m ()

listen :: AbsoluteUrlT m a -> AbsoluteUrlT m (a, w)

pass :: AbsoluteUrlT m (a, w -> w) -> AbsoluteUrlT m a

MonadBaseControl b m stM => MonadBaseControl b (AbsoluteUrlT m) (Compose * * stM Identity)

Methods

liftBaseWith :: (RunInBase (AbsoluteUrlT m) b (Compose * * stM Identity) -> b a) -> AbsoluteUrlT m a

restoreM :: Compose * * stM Identity a -> AbsoluteUrlT m a

Monad m => Monad (AbsoluteUrlT m)

Methods

(>>=) :: AbsoluteUrlT m a -> (a -> AbsoluteUrlT m b) -> AbsoluteUrlT m b

(>>) :: AbsoluteUrlT m a -> AbsoluteUrlT m b -> AbsoluteUrlT m b

return :: a -> AbsoluteUrlT m a

fail :: String -> AbsoluteUrlT m a

Functor m => Functor (AbsoluteUrlT m)

Methods

fmap :: (a -> b) -> AbsoluteUrlT m a -> AbsoluteUrlT m b

(<$) :: a -> AbsoluteUrlT m b -> AbsoluteUrlT m a

Applicative m => Applicative (AbsoluteUrlT m)

Methods

pure :: a -> AbsoluteUrlT m a

(<*>) :: AbsoluteUrlT m (a -> b) -> AbsoluteUrlT m a -> AbsoluteUrlT m b

(*>) :: AbsoluteUrlT m a -> AbsoluteUrlT m b -> AbsoluteUrlT m b

(<*) :: AbsoluteUrlT m a -> AbsoluteUrlT m b -> AbsoluteUrlT m a

Alternative m => Alternative (AbsoluteUrlT m)

Methods

empty :: AbsoluteUrlT m a

(<|>) :: AbsoluteUrlT m a -> AbsoluteUrlT m a -> AbsoluteUrlT m a

some :: AbsoluteUrlT m a -> AbsoluteUrlT m [a]

many :: AbsoluteUrlT m a -> AbsoluteUrlT m [a]

MonadIO m => MonadIO (AbsoluteUrlT m)

Methods

liftIO :: IO a -> AbsoluteUrlT m a

MonadThrow m => MonadThrow (AbsoluteUrlT m)

Methods

throwM :: Exception e => e -> AbsoluteUrlT m a

MonadCatch m => MonadCatch (AbsoluteUrlT m)

Methods

catch :: Exception e => AbsoluteUrlT m a -> (e -> AbsoluteUrlT m a) -> AbsoluteUrlT m a

MonadMask m => MonadMask (AbsoluteUrlT m)

Methods

mask :: ((forall a. AbsoluteUrlT m a -> AbsoluteUrlT m a) -> AbsoluteUrlT m b) -> AbsoluteUrlT m b

uninterruptibleMask :: ((forall a. AbsoluteUrlT m a -> AbsoluteUrlT m a) -> AbsoluteUrlT m b) -> AbsoluteUrlT m b

MonadLogger m => MonadLogger (AbsoluteUrlT m)

Methods

monadLoggerLog :: ToLogStr msg => Loc -> LogSource -> LogLevel -> msg -> AbsoluteUrlT m ()

MonadCont m => MonadCont (AbsoluteUrlT m)

Methods

callCC :: ((a -> AbsoluteUrlT m b) -> AbsoluteUrlT m a) -> AbsoluteUrlT m a

MonadResource m => MonadResource (AbsoluteUrlT m)

Methods

liftResourceT :: ResourceT IO a -> AbsoluteUrlT m a

MFunctor * AbsoluteUrlT

Methods

hoist :: Monad m => (forall a. m a -> n a) -> t m b -> t n b

type StT AbsoluteUrlT a

type StT AbsoluteUrlT a = a

type StM (AbsoluteUrlT m) a

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

type AbsoluteUrl = AbsoluteUrlT Identity

mkUriPath :: URIAuth -> Path base type' -> URI

mkUriPathEmpty :: Path base type' -> URI

mkUriLoc :: URIAuth -> Location base type' -> URI

mkUriLocEmpty :: Location base type' -> URI