Data.Url

Contents

• Classes
• Types
  • Relative Urls
  • Grounded Urls
  • Absolute Urls

Synopsis

• class MonadUrl b m where
  • pathUrl :: Path b t -> m String
  • locUrl :: Location b t -> m String
  • symbolUrl :: ToLocation s b t => s -> m String
• class ToLocation a b t | a -> b t where
  • toLocation :: a -> Location b t
• class UrlReader m where
  • type RunUrlReader m :: * -> *
  • runUrlReader :: m a -> UrlAuthority -> RunUrlReader m a
• data UrlAuthority = UrlAuthority {
  • urlScheme :: String
  • urlSlashes :: Bool
  • urlAuth :: Maybe UrlAuthent
  • urlHost :: String
  • urlPort :: Maybe Int
  }
• data UrlAuthent = UrlAuthent {
  • urlAuthUser :: String
  • urlAuthPass :: Maybe String
  }
• newtype RelativeUrlT m a = RelativeUrlT {
  • runRelativeUrlT :: UrlAuthority -> m a
  }
• type RelativeUrl = RelativeUrlT Identity
• newtype GroundedUrlT m a = GroundedUrlT {
  • runGroundedUrlT :: UrlAuthority -> m a
  }
• type GroundedUrl = GroundedUrlT Identity
• newtype AbsoluteUrlT m a = AbsoluteUrlT {
  • runAbsoluteUrlT :: UrlAuthority -> m a
  }
• type AbsoluteUrl = AbsoluteUrlT Identity

Classes

Types

Relative Urls

Grounded Urls

Absolute Urls