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 (m :: * -> *) | m -> base 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.

Methods

locToUrl :: Location base -> m URL

Create a URL from a Location - either a directory or file, and can include query strings & fragments.

Instances

MonadUrl Rel IO

Treated as relative urls

Defined in Data.Url

Methods

locToUrl :: Location Rel -> IO URL

Applicative m => MonadUrl Abs (AbsoluteUrlT m)

Defined in Data.Url

Methods

locToUrl :: Location Abs -> AbsoluteUrlT m URL

Applicative m => MonadUrl Abs (GroundedUrlT m)

Defined in Data.Url

Methods

locToUrl :: Location Abs -> GroundedUrlT m URL

Applicative m => MonadUrl Rel (RelativeUrlT m)

Defined in Data.Url

Methods

locToUrl :: Location Rel -> RelativeUrlT m URL

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

Defined in Data.Url

Methods

locToUrl :: Location base -> LoggingT m URL

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

Defined in Data.Url

Methods

locToUrl :: Location base -> NoLoggingT m URL

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

Defined in Data.Url

Methods

locToUrl :: Location base -> ResourceT m URL

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

Defined in Data.Url

Methods

locToUrl :: Location base -> ListT m URL

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

Defined in Data.Url

Methods

locToUrl :: Location base -> MaybeT m URL

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

Defined in Data.Url

Methods

locToUrl :: Location base -> ExceptT e m URL

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

Defined in Data.Url

Methods

locToUrl :: Location base -> IdentityT m URL

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

Defined in Data.Url

Methods

locToUrl :: Location base -> ReaderT r m URL

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

Defined in Data.Url

Methods

locToUrl :: Location base -> StateT s m URL

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

Defined in Data.Url

Methods

locToUrl :: Location base -> WriterT w m URL

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

Defined in Data.Url

Methods

locToUrl :: Location base -> ContT r m URL

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

Defined in Data.Url

Methods

locToUrl :: Location base -> RWST r w s m URL

Types

URL

data URL

Either a URI (which could include a hostname), or a relative url.

Constructors

AbsURL URI

RelURL (Location Rel)

printURL :: URL -> Text

Relative Urls

newtype RelativeUrlT m a

When printing a URL generated by a Location in this context, they will always omit the hostname information and print path references relatively (without ./).

Constructors

RelativeUrlT

Fields

• runRelativeUrlT :: m a

Instances

MMonad RelativeUrlT

Defined in Data.Url

Methods

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

MonadTransControl RelativeUrlT

Defined in Data.Url

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

MonadTrans RelativeUrlT

Defined in Data.Url

Methods

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

MFunctor RelativeUrlT

Defined in Data.Url

Methods

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

MonadTransControl RelativeUrlT Identity

Defined in Data.Url

Methods

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

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

(MonadReader r m, MonadWriter w m, MonadState s m) => MonadRWS r w s (RelativeUrlT m)

Defined in Data.Url

MonadBaseControl b m => MonadBaseControl b (RelativeUrlT m)

Defined in Data.Url

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

MonadError e m => MonadError e (RelativeUrlT m)

Defined in Data.Url

Methods

throwError :: e -> RelativeUrlT m a

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

MonadReader r m => MonadReader r (RelativeUrlT m)

Defined in Data.Url

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)

Defined in Data.Url

Methods

get :: RelativeUrlT m s

put :: s -> RelativeUrlT m ()

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

MonadWriter w m => MonadWriter w (RelativeUrlT m)

Defined in Data.Url

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

MonadBase b m => MonadBase b (RelativeUrlT m)

Defined in Data.Url

Methods

liftBase :: b α -> RelativeUrlT m α

Applicative m => MonadUrl Rel (RelativeUrlT m)

Defined in Data.Url

Methods

locToUrl :: Location Rel -> RelativeUrlT m URL

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

Defined in Data.Url

Methods

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

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

MonadFix m => MonadFix (RelativeUrlT m)

Defined in Data.Url

Methods

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

MonadIO m => MonadIO (RelativeUrlT m)

Defined in Data.Url

Methods

liftIO :: IO a -> RelativeUrlT m a

Alternative m => Alternative (RelativeUrlT m)

Defined in Data.Url

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]

Applicative m => Applicative (RelativeUrlT m)

Defined in Data.Url

Methods

pure :: a -> RelativeUrlT m a

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

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

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

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

Functor m => Functor (RelativeUrlT m)

Defined in Data.Url

Methods

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

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

Monad m => Monad (RelativeUrlT m)

Defined in Data.Url

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

MonadPlus m => MonadPlus (RelativeUrlT m)

Defined in Data.Url

Methods

mzero :: RelativeUrlT m a

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

MonadCatch m => MonadCatch (RelativeUrlT m)

Defined in Data.Url

Methods

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

MonadMask m => MonadMask (RelativeUrlT m)

Defined in Data.Url

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

generalBracket :: RelativeUrlT m a -> (a -> ExitCase b -> RelativeUrlT m c) -> (a -> RelativeUrlT m b) -> RelativeUrlT m (b, c)

MonadThrow m => MonadThrow (RelativeUrlT m)

Defined in Data.Url

Methods

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

MonadLogger m => MonadLogger (RelativeUrlT m)

Defined in Data.Url

Methods

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

MonadCont m => MonadCont (RelativeUrlT m)

Defined in Data.Url

Methods

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

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

Defined in Data.Url

Methods

liftResourceT :: ResourceT IO a -> RelativeUrlT m a

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

Defined in Data.Url

Methods

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

show :: RelativeUrlT m a -> String

showList :: [RelativeUrlT m a] -> ShowS

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

Defined in Data.Url

Methods

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

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

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

Defined in Data.Url

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

type StT RelativeUrlT a

Defined in Data.Url

type StT RelativeUrlT a = a

type StM (RelativeUrlT m) a

Defined in Data.Url

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

type RelativeUrl = RelativeUrlT Identity

Grounded Urls

newtype GroundedUrlT m a

Grounded urls mean that, while omiting host information, paths start with a /, like /foo.

Constructors

GroundedUrlT

Fields

• runGroundedUrlT :: m a

Instances

MMonad GroundedUrlT

Defined in Data.Url

Methods

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

MonadTransControl GroundedUrlT

Defined in Data.Url

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

MonadTrans GroundedUrlT

Defined in Data.Url

Methods

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

MFunctor GroundedUrlT

Defined in Data.Url

Methods

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

MonadTransControl GroundedUrlT Identity

Defined in Data.Url

Methods

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

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

(MonadReader r m, MonadWriter w m, MonadState s m) => MonadRWS r w s (GroundedUrlT m)

Defined in Data.Url

MonadBaseControl b m => MonadBaseControl b (GroundedUrlT m)

Defined in Data.Url

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

MonadError e m => MonadError e (GroundedUrlT m)

Defined in Data.Url

Methods

throwError :: e -> GroundedUrlT m a

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

MonadReader r m => MonadReader r (GroundedUrlT m)

Defined in Data.Url

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)

Defined in Data.Url

Methods

get :: GroundedUrlT m s

put :: s -> GroundedUrlT m ()

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

MonadWriter w m => MonadWriter w (GroundedUrlT m)

Defined in Data.Url

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

MonadBase b m => MonadBase b (GroundedUrlT m)

Defined in Data.Url

Methods

liftBase :: b α -> GroundedUrlT m α

Applicative m => MonadUrl Abs (GroundedUrlT m)

Defined in Data.Url

Methods

locToUrl :: Location Abs -> GroundedUrlT m URL

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

Defined in Data.Url

Methods

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

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

MonadFix m => MonadFix (GroundedUrlT m)

Defined in Data.Url

Methods

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

MonadIO m => MonadIO (GroundedUrlT m)

Defined in Data.Url

Methods

liftIO :: IO a -> GroundedUrlT m a

Alternative m => Alternative (GroundedUrlT m)

Defined in Data.Url

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]

Applicative m => Applicative (GroundedUrlT m)

Defined in Data.Url

Methods

pure :: a -> GroundedUrlT m a

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

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

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

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

Functor m => Functor (GroundedUrlT m)

Defined in Data.Url

Methods

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

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

Monad m => Monad (GroundedUrlT m)

Defined in Data.Url

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

MonadPlus m => MonadPlus (GroundedUrlT m)

Defined in Data.Url

Methods

mzero :: GroundedUrlT m a

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

MonadCatch m => MonadCatch (GroundedUrlT m)

Defined in Data.Url

Methods

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

MonadMask m => MonadMask (GroundedUrlT m)

Defined in Data.Url

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

generalBracket :: GroundedUrlT m a -> (a -> ExitCase b -> GroundedUrlT m c) -> (a -> GroundedUrlT m b) -> GroundedUrlT m (b, c)

MonadThrow m => MonadThrow (GroundedUrlT m)

Defined in Data.Url

Methods

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

MonadLogger m => MonadLogger (GroundedUrlT m)

Defined in Data.Url

Methods

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

MonadCont m => MonadCont (GroundedUrlT m)

Defined in Data.Url

Methods

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

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

Defined in Data.Url

Methods

liftResourceT :: ResourceT IO a -> GroundedUrlT m a

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

Defined in Data.Url

Methods

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

show :: GroundedUrlT m a -> String

showList :: [GroundedUrlT m a] -> ShowS

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

Defined in Data.Url

Methods

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

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

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

Defined in Data.Url

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

type StT GroundedUrlT a

Defined in Data.Url

type StT GroundedUrlT a = a

type StM (GroundedUrlT m) a

Defined in Data.Url

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

type GroundedUrl = GroundedUrlT Identity

Absolute Urls

newtype AbsoluteUrlT m a

Given a means to take an absolute location and turn it into an URI, make a monad used to construct urls. You can use packLocation to create the Location Abs -> URI function.

Constructors

AbsoluteUrlT

Fields

• runAbsoluteUrlT :: (Location Abs -> URI) -> m a

Instances

MMonad AbsoluteUrlT

Defined in Data.Url

Methods

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

MonadTransControl AbsoluteUrlT

Defined in Data.Url

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

MonadTrans AbsoluteUrlT

Defined in Data.Url

Methods

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

MFunctor AbsoluteUrlT

Defined in Data.Url

Methods

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

MonadTransControl AbsoluteUrlT Identity

Defined in Data.Url

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)

Defined in Data.Url

MonadBaseControl b m => MonadBaseControl b (AbsoluteUrlT m)

Defined in Data.Url

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

MonadError e m => MonadError e (AbsoluteUrlT m)

Defined in Data.Url

Methods

throwError :: e -> AbsoluteUrlT m a

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

MonadReader r m => MonadReader r (AbsoluteUrlT m)

Defined in Data.Url

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)

Defined in Data.Url

Methods

get :: AbsoluteUrlT m s

put :: s -> AbsoluteUrlT m ()

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

MonadWriter w m => MonadWriter w (AbsoluteUrlT m)

Defined in Data.Url

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

MonadBase b m => MonadBase b (AbsoluteUrlT m)

Defined in Data.Url

Methods

liftBase :: b α -> AbsoluteUrlT m α

Applicative m => MonadUrl Abs (AbsoluteUrlT m)

Defined in Data.Url

Methods

locToUrl :: Location Abs -> AbsoluteUrlT m URL

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

Defined in Data.Url

Methods

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

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

MonadIO m => MonadIO (AbsoluteUrlT m)

Defined in Data.Url

Methods

liftIO :: IO a -> AbsoluteUrlT m a

Alternative m => Alternative (AbsoluteUrlT m)

Defined in Data.Url

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]

Applicative m => Applicative (AbsoluteUrlT m)

Defined in Data.Url

Methods

pure :: a -> AbsoluteUrlT m a

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

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

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

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

Functor m => Functor (AbsoluteUrlT m)

Defined in Data.Url

Methods

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

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

Monad m => Monad (AbsoluteUrlT m)

Defined in Data.Url

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

MonadCatch m => MonadCatch (AbsoluteUrlT m)

Defined in Data.Url

Methods

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

MonadMask m => MonadMask (AbsoluteUrlT m)

Defined in Data.Url

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

generalBracket :: AbsoluteUrlT m a -> (a -> ExitCase b -> AbsoluteUrlT m c) -> (a -> AbsoluteUrlT m b) -> AbsoluteUrlT m (b, c)

MonadThrow m => MonadThrow (AbsoluteUrlT m)

Defined in Data.Url

Methods

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

MonadLogger m => MonadLogger (AbsoluteUrlT m)

Defined in Data.Url

Methods

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

MonadCont m => MonadCont (AbsoluteUrlT m)

Defined in Data.Url

Methods

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

MonadResource m => MonadResource (AbsoluteUrlT m)

Defined in Data.Url

Methods

liftResourceT :: ResourceT IO a -> AbsoluteUrlT m a

type StT AbsoluteUrlT a

Defined in Data.Url

type StT AbsoluteUrlT a = a

type StM (AbsoluteUrlT m) a

Defined in Data.Url

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

type AbsoluteUrl = AbsoluteUrlT Identity

mkUriLocEmpty :: Location Abs -> URI

getPathChunks :: Path base type' -> Vector Text

packLocation :: Maybe Text -> Bool -> URIAuth -> Location Abs -> URI

unpackLocation :: URI -> (Maybe Text, Bool, URIAuth, Location Abs)