-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | Painfully simple URL deployment.
--   
--   Painfully simple URL deployment.
@package urlpath
@version 3.0.0

module Data.Url
class Url b (m :: * -> *)
pathUrl :: Url b m => Path b t -> m String
locUrl :: Url b m => Location b t -> m String
symbolUrl :: (Url b m, ToLocation s b t) => s -> m String

-- | Make an instance for your own stringless route type to use your
--   symbols instead of strings or <tt>Path</tt>.
class ToLocation a b t | a -> b t
toLocation :: ToLocation a b t => a -> Location b t

-- | Overload extraction for deployment transformers.
class UrlReader m where type family RunUrlReader m :: * -> *
runUrlReader :: UrlReader m => m a -> UrlAuthority -> RunUrlReader m a

-- | The hostname of a URL.
data UrlAuthority
UrlAuthority :: String -> Bool -> Maybe UrlAuthent -> String -> Maybe Int -> UrlAuthority
[urlScheme] :: UrlAuthority -> String
[urlSlashes] :: UrlAuthority -> Bool
[urlAuth] :: UrlAuthority -> Maybe UrlAuthent
[urlHost] :: UrlAuthority -> String
[urlPort] :: UrlAuthority -> Maybe Int
data UrlAuthent
UrlAuthent :: String -> Maybe String -> UrlAuthent
[urlAuthUser] :: UrlAuthent -> String
[urlAuthPass] :: UrlAuthent -> Maybe String
newtype RelativeUrlT m a
RelativeUrlT :: (UrlAuthority -> m a) -> RelativeUrlT m a
[runRelativeUrlT] :: RelativeUrlT m a -> UrlAuthority -> m a
type RelativeUrl = RelativeUrlT Identity

-- | Returns the base that urls are appended to - <tt>mempty</tt>
newtype GroundedUrlT m a
GroundedUrlT :: (UrlAuthority -> m a) -> GroundedUrlT m a
[runGroundedUrlT] :: GroundedUrlT m a -> UrlAuthority -> m a
type GroundedUrl = GroundedUrlT Identity

-- | Returns the base that urls are appended to - <tt>/</tt>
newtype AbsoluteUrlT m a
AbsoluteUrlT :: (UrlAuthority -> m a) -> AbsoluteUrlT m a
[runAbsoluteUrlT] :: AbsoluteUrlT m a -> UrlAuthority -> m a
type AbsoluteUrl = AbsoluteUrlT Identity

-- | Returns the base that urls are appended to - the host
instance GHC.Base.Functor m => GHC.Base.Functor (Data.Url.AbsoluteUrlT m)
instance GHC.Base.Functor m => GHC.Base.Functor (Data.Url.GroundedUrlT m)
instance GHC.Base.Functor m => GHC.Base.Functor (Data.Url.RelativeUrlT m)
instance GHC.Classes.Ord Data.Url.UrlAuthority
instance GHC.Classes.Eq Data.Url.UrlAuthority
instance GHC.Classes.Ord Data.Url.UrlAuthent
instance GHC.Classes.Eq Data.Url.UrlAuthent
instance (Data.Url.Url b m, Control.Monad.Trans.Class.MonadTrans t, GHC.Base.Monad m) => Data.Url.Url b (t m)
instance GHC.Show.Show Data.Url.UrlAuthority
instance GHC.Show.Show Data.Url.UrlAuthent
instance GHC.Base.Applicative m => GHC.Base.Applicative (Data.Url.RelativeUrlT m)
instance GHC.Base.Monad m => GHC.Base.Monad (Data.Url.RelativeUrlT m)
instance Control.Monad.Trans.Class.MonadTrans Data.Url.RelativeUrlT
instance GHC.Base.Monad m => Control.Monad.Reader.Class.MonadReader GHC.Base.String (Data.Url.RelativeUrlT m)
instance Control.Monad.IO.Class.MonadIO m => Control.Monad.IO.Class.MonadIO (Data.Url.RelativeUrlT m)
instance GHC.Base.Applicative m => Data.Url.Url Path.Rel (Data.Url.RelativeUrlT m)
instance Data.Url.UrlReader (Data.Url.RelativeUrlT m)
instance GHC.Base.Applicative m => GHC.Base.Applicative (Data.Url.GroundedUrlT m)
instance GHC.Base.Monad m => GHC.Base.Monad (Data.Url.GroundedUrlT m)
instance Control.Monad.Trans.Class.MonadTrans Data.Url.GroundedUrlT
instance GHC.Base.Monad m => Control.Monad.Reader.Class.MonadReader GHC.Base.String (Data.Url.GroundedUrlT m)
instance Control.Monad.IO.Class.MonadIO m => Control.Monad.IO.Class.MonadIO (Data.Url.GroundedUrlT m)
instance GHC.Base.Applicative m => Data.Url.Url Path.Abs (Data.Url.GroundedUrlT m)
instance Data.Url.UrlReader (Data.Url.GroundedUrlT m)
instance GHC.Base.Applicative m => GHC.Base.Applicative (Data.Url.AbsoluteUrlT m)
instance GHC.Base.Monad m => GHC.Base.Monad (Data.Url.AbsoluteUrlT m)
instance Control.Monad.Trans.Class.MonadTrans Data.Url.AbsoluteUrlT
instance GHC.Base.Monad m => Control.Monad.Reader.Class.MonadReader Data.Url.UrlAuthority (Data.Url.AbsoluteUrlT m)
instance Control.Monad.IO.Class.MonadIO m => Control.Monad.IO.Class.MonadIO (Data.Url.AbsoluteUrlT m)
instance GHC.Base.Applicative m => Data.Url.Url Path.Abs (Data.Url.AbsoluteUrlT m)
instance Data.Url.UrlReader (Data.Url.AbsoluteUrlT m)