Copyright	(c) Athan L. Clark
License	MIT
Maintainer	Athan L. Clark <athan.clark@gmail.com>
Stability	experimental
Portability	GHC
Safe Haskell	None
Language	Haskell2010

Data.Url

Contents

Classes
Types

Description

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.

Synopsis

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 String #

locUrl :: Location base type' -> m String #

Instances

MonadUrl b t IO #
Methods pathUrl :: Path b t -> IO String # locUrl :: Location b t -> IO String #
(MonadUrl b t m, Monad m) => MonadUrl b t (NoLoggingT m) #
Methods pathUrl :: Path b t -> NoLoggingT m String # locUrl :: Location b t -> NoLoggingT m String #
(MonadUrl b t m, Monad m) => MonadUrl b t (LoggingT m) #
Methods pathUrl :: Path b t -> LoggingT m String # locUrl :: Location b t -> LoggingT m String #
(MonadUrl b t m, Monad m) => MonadUrl b t (ResourceT m) #
Methods pathUrl :: Path b t -> ResourceT m String # locUrl :: Location b t -> ResourceT m String #
(MonadUrl b t m, Monad m) => MonadUrl b t (ListT m) #
Methods pathUrl :: Path b t -> ListT m String # locUrl :: Location b t -> ListT m String #
(MonadUrl b t m, Monad m) => MonadUrl b t (MaybeT m) #
Methods pathUrl :: Path b t -> MaybeT m String # locUrl :: Location b t -> MaybeT m String #
Applicative m => MonadUrl Abs File (AbsoluteUrlT m) #
Methods pathUrl :: Path Abs File -> AbsoluteUrlT m String # locUrl :: Location Abs File -> AbsoluteUrlT m String #
Applicative m => MonadUrl Abs File (GroundedUrlT m) #
Methods pathUrl :: Path Abs File -> GroundedUrlT m String # locUrl :: Location Abs File -> GroundedUrlT m String #
Applicative m => MonadUrl Abs Dir (AbsoluteUrlT m) #
Methods pathUrl :: Path Abs Dir -> AbsoluteUrlT m String # locUrl :: Location Abs Dir -> AbsoluteUrlT m String #
Applicative m => MonadUrl Abs Dir (GroundedUrlT m) #
Methods pathUrl :: Path Abs Dir -> GroundedUrlT m String # locUrl :: Location Abs Dir -> GroundedUrlT m String #
Applicative m => MonadUrl Rel File (RelativeUrlT m) #
Methods pathUrl :: Path Rel File -> RelativeUrlT m String # locUrl :: Location Rel File -> RelativeUrlT m String #
Applicative m => MonadUrl Rel Dir (RelativeUrlT m) #
Methods pathUrl :: Path Rel Dir -> RelativeUrlT m String # locUrl :: Location Rel Dir -> RelativeUrlT m String #
(MonadUrl b t m, Monad m) => MonadUrl b t (ExceptT e m) #
Methods pathUrl :: Path b t -> ExceptT e m String # locUrl :: Location b t -> ExceptT e m String #
(MonadUrl b t m, Monad m, Error e) => MonadUrl b t (ErrorT e m) #
Methods pathUrl :: Path b t -> ErrorT e m String # locUrl :: Location b t -> ErrorT e m String #
(MonadUrl b t m, Monad m) => MonadUrl b t (StateT s m) #
Methods pathUrl :: Path b t -> StateT s m String # locUrl :: Location b t -> StateT s m String #
(MonadUrl b t m, Monad m, Monoid w) => MonadUrl b t (WriterT w m) #
Methods pathUrl :: Path b t -> WriterT w m String # locUrl :: Location b t -> WriterT w m String #
(MonadUrl b t m, Monad m) => MonadUrl b t (IdentityT * m) #
Methods pathUrl :: Path b t -> IdentityT * m String # locUrl :: Location b t -> IdentityT * m String #
(MonadUrl b t m, Monad m) => MonadUrl b t (ContT * r m) #
Methods pathUrl :: Path b t -> ContT * r m String # locUrl :: Location b t -> ContT * r m String #
(MonadUrl b t m, Monad m) => MonadUrl b t (ReaderT * r m) #
Methods pathUrl :: Path b t -> ReaderT * r m String # locUrl :: Location b t -> ReaderT * r m String #
(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 String # locUrl :: Location b t -> RWST r w s m String #

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 #
Methods (==) :: UrlAuthority -> UrlAuthority -> Bool # (/=) :: UrlAuthority -> UrlAuthority -> Bool #
Ord UrlAuthority #
Methods compare :: UrlAuthority -> UrlAuthority -> Ordering # (<) :: UrlAuthority -> UrlAuthority -> Bool # (<=) :: UrlAuthority -> UrlAuthority -> Bool # (>) :: UrlAuthority -> UrlAuthority -> Bool # (>=) :: UrlAuthority -> UrlAuthority -> Bool # max :: UrlAuthority -> UrlAuthority -> UrlAuthority # min :: UrlAuthority -> UrlAuthority -> UrlAuthority #
Show UrlAuthority #
Methods showsPrec :: Int -> UrlAuthority -> ShowS # show :: UrlAuthority -> String # showList :: [UrlAuthority] -> ShowS #

showUrlAuthority :: UrlAuthority -> String #

data UrlAuthent #

Constructors

UrlAuthent
Fields urlAuthUser :: String urlAuthPass :: Maybe String

Instances

Eq UrlAuthent #
Methods (==) :: UrlAuthent -> UrlAuthent -> Bool # (/=) :: UrlAuthent -> UrlAuthent -> Bool #
Ord UrlAuthent #
Methods compare :: UrlAuthent -> UrlAuthent -> Ordering # (<) :: UrlAuthent -> UrlAuthent -> Bool # (<=) :: UrlAuthent -> UrlAuthent -> Bool # (>) :: UrlAuthent -> UrlAuthent -> Bool # (>=) :: UrlAuthent -> UrlAuthent -> Bool # max :: UrlAuthent -> UrlAuthent -> UrlAuthent # min :: UrlAuthent -> UrlAuthent -> UrlAuthent #
Show UrlAuthent #
Methods showsPrec :: Int -> UrlAuthent -> ShowS # show :: UrlAuthent -> String # showList :: [UrlAuthent] -> ShowS #

showUrlAuthent :: UrlAuthent -> String #

Relative Urls

newtype RelativeUrlT m a #

Constructors

RelativeUrlT
Fields runRelativeUrlT :: m a

Instances

MFunctor RelativeUrlT #
Methods hoist :: Monad m => (forall a. m a -> n a) -> RelativeUrlT m b -> RelativeUrlT n b #
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 #
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 String # locUrl :: Location Rel File -> RelativeUrlT m String #
Applicative m => MonadUrl Rel Dir (RelativeUrlT m) #
Methods pathUrl :: Path Rel Dir -> RelativeUrlT m String # locUrl :: Location Rel Dir -> RelativeUrlT m String #
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 #
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 #
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

MFunctor GroundedUrlT #
Methods hoist :: Monad m => (forall a. m a -> n a) -> GroundedUrlT m b -> GroundedUrlT n b #
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 #
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 String # locUrl :: Location Abs File -> GroundedUrlT m String #
Applicative m => MonadUrl Abs Dir (GroundedUrlT m) #
Methods pathUrl :: Path Abs Dir -> GroundedUrlT m String # locUrl :: Location Abs Dir -> GroundedUrlT m String #
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 #
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 #
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 :: UrlAuthority -> m a

Instances

MFunctor AbsoluteUrlT #
Methods hoist :: Monad m => (forall a. m a -> n a) -> AbsoluteUrlT m b -> AbsoluteUrlT n b #
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 #
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 String # locUrl :: Location Abs File -> AbsoluteUrlT m String #
Applicative m => MonadUrl Abs Dir (AbsoluteUrlT m) #
Methods pathUrl :: Path Abs Dir -> AbsoluteUrlT m String # locUrl :: Location Abs Dir -> AbsoluteUrlT m String #
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 #
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 #
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 #