-- Hoogle documentation, generated by Haddock -- See Hoogle, http://www.haskell.org/hoogle/ -- | Generate or process x-www-urlencoded data -- -- Generate or process x-www-urlencoded data as it appears in HTTP or -- HTTPS URIs and HTTP POSTs. See -- http://www.w3.org/TR/html401/interact/forms.html#h-17.13.4.1 @package urlencoded @version 0.4.2.0 -- | Implements a data type for constructing and destructing -- x-www-urlencoded strings. See -- http://www.w3.org/TR/html401/interact/forms.html#h-17.13.4.1 module Data.URLEncoded -- | A container for URLEncoded data data URLEncoded -- | Create a URLEncoded object that represents all pairs from the input -- that match the supplied predicate filter :: ((String, String) -> Bool) -> URLEncoded -> URLEncoded -- | Serialize a value into a String for encoding as part of an -- x-www-urlencoded value class URLShow a urlShow :: URLShow a => a -> String -- | Encode a value as x-www-urlencoded class URLEncode a urlEncode :: URLEncode a => a -> URLEncoded -- | URLEncoded data with no pairs empty :: URLEncoded -- | Parse this string as x-www-urlencoded importString :: MonadError e m => String -> m URLEncoded -- | Import this list of pairs as URLEncoded data importList :: [(String, String)] -> URLEncoded importURI :: MonadError e m => URI -> m URLEncoded -- | Create singleton URLEncoded data containing the supplied key and value (%=) :: (URLShow a, URLShow b) => a -> b -> URLEncoded infixl 8 %= -- | If the second value is Nothing, return empty URLEncoded data. -- Otherwise return singleton URLEncoded data that contains the given key -- and value. (%=?) :: (URLShow a, URLShow b) => a -> Maybe b -> URLEncoded infixl 8 %=? (%&) :: (URLEncode q1, URLEncode q2) => q1 -> q2 -> URLEncoded infixr 7 %& class AddURLEncoded a (%?) :: (AddURLEncoded a, URLEncode args) => a -> args -> a -- | Is this URLEncoded data empty? null :: URLEncoded -> Bool -- | All of the keys from the URLEncoded value, in order, preserving -- duplicates keys :: URLEncoded -> [String] lookup :: URLShow a => a -> URLEncoded -> Maybe String -- | Return all values whose keys match the supplied key, in the order they -- appear in the query. Will return an empty list if no keys match. lookupAll :: URLShow a => a -> URLEncoded -> [String] -- | Return the first value for the given key, or throw an error if -- the key is not present in the URLEncoded data. lookup1 :: (URLShow a, MonadError e m) => a -> URLEncoded -> m String lookupDefault :: URLShow a => String -> a -> URLEncoded -> String pairs :: URLEncoded -> [(String, String)] -- | Look up a key in a URLEncoded value and return the first matching -- value, or Nothing if there is no value that matches (%!) :: URLShow a => URLEncoded -> a -> Maybe String infixr 1 %! -- | Add this URL-encoded data to the query part of a URI, after any -- existing query arguments. addToURI :: URLEncoded -> URI -> URI -- | Convert this URLEncoded object into an x-www-urlencoded String (The -- resulting string is 7-bit clean ASCII, containing only unreserved URI -- characters and %-encoded values) export :: URLEncoded -> String instance GHC.Classes.Eq Data.URLEncoded.URLEncoded instance GHC.Base.Monoid Data.URLEncoded.URLEncoded instance Data.Semigroup.Semigroup Data.URLEncoded.URLEncoded instance (Data.URLEncoded.URLShow a, Data.URLEncoded.URLShow b) => Data.URLEncoded.URLEncode (a, b) instance Data.URLEncoded.URLShow GHC.Types.Char instance Data.URLEncoded.URLShow Network.URI.URI instance Data.URLEncoded.URLShow Data.URLEncoded.URLEncoded instance Data.URLEncoded.URLShow [GHC.Types.Char] instance Data.URLEncoded.URLShow GHC.Types.Int instance Data.URLEncoded.URLShow GHC.Integer.Type.Integer instance Data.URLEncoded.URLShow GHC.Types.Bool instance Data.URLEncoded.AddURLEncoded [GHC.Types.Char] instance Data.URLEncoded.AddURLEncoded Network.URI.URI instance Data.URLEncoded.AddURLEncoded Data.URLEncoded.URLEncoded instance Data.URLEncoded.URLEncode a => Data.URLEncoded.URLEncode (GHC.Base.Maybe a) instance Data.URLEncoded.URLEncode Data.URLEncoded.URLEncoded instance GHC.Show.Show Data.URLEncoded.URLEncoded