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


-- | Authentication methods for Haskell web applications.
--   
--   Focus is on third-party authentication methods, such as OpenID, rpxnow
--   and Facebook.
@package authenticate
@version 0.7.2

module Web.Authenticate.OpenId.Providers

module Web.Authenticate.OpenId
getForwardUrl :: (MonadIO m, Failure AuthenticateException m, Failure HttpException m) => String -> String -> m String
authenticate :: (MonadIO m, Failure AuthenticateException m, Failure HttpException m) => [(String, String)] -> m Identifier
data AuthenticateException
RpxnowException :: String -> AuthenticateException
NormalizationException :: String -> AuthenticateException
DiscoveryException :: String -> AuthenticateException
AuthenticationException :: String -> AuthenticateException

-- | A valid OpenID identifier.
newtype Identifier
Identifier :: String -> Identifier
identifier :: Identifier -> String

module Web.Authenticate.Facebook
data Facebook
Facebook :: String -> String -> String -> Facebook
facebookClientId :: Facebook -> String
facebookClientSecret :: Facebook -> String
facebookRedirectUri :: Facebook -> String
newtype AccessToken
AccessToken :: String -> AccessToken
unAccessToken :: AccessToken -> String
getForwardUrl :: Facebook -> [String] -> String
accessTokenUrl :: Facebook -> String -> String
getAccessToken :: Facebook -> String -> IO AccessToken
graphUrl :: AccessToken -> String -> String
getGraphData :: AccessToken -> String -> IO StringObject
instance Typeable AccessToken
instance Typeable Facebook
instance Show AccessToken
instance Eq AccessToken
instance Read AccessToken
instance Ord AccessToken
instance Data AccessToken
instance Show Facebook
instance Eq Facebook
instance Read Facebook
instance Ord Facebook
instance Data Facebook

module Web.Authenticate.Rpxnow

-- | Information received from Rpxnow after a valid login.
data Identifier
Identifier :: String -> [(String, String)] -> Identifier
identifier :: Identifier -> String
extraData :: Identifier -> [(String, String)]

-- | Attempt to log a user in.
authenticate :: (MonadIO m, Failure HttpException m, Failure AuthenticateException m, Failure ObjectExtractError m, Failure JsonDecodeError m) => String -> String -> m Identifier
data AuthenticateException
RpxnowException :: String -> AuthenticateException
NormalizationException :: String -> AuthenticateException
DiscoveryException :: String -> AuthenticateException
AuthenticationException :: String -> AuthenticateException
instance Typeable Identifier
instance Eq Identifier
instance Ord Identifier
instance Read Identifier
instance Show Identifier
instance Data Identifier