happstack-authenticate-2.3.4.11: Happstack Authentication Library

Safe HaskellNone
LanguageHaskell98

Happstack.Authenticate.OpenId.Core

Contents

Synopsis

Documentation

data OpenIdError Source #

Instances
Eq OpenIdError Source # 
Instance details

Defined in Happstack.Authenticate.OpenId.Core

Data OpenIdError Source # 
Instance details

Defined in Happstack.Authenticate.OpenId.Core

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> OpenIdError -> c OpenIdError #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c OpenIdError #

toConstr :: OpenIdError -> Constr #

dataTypeOf :: OpenIdError -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c OpenIdError) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c OpenIdError) #

gmapT :: (forall b. Data b => b -> b) -> OpenIdError -> OpenIdError #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> OpenIdError -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> OpenIdError -> r #

gmapQ :: (forall d. Data d => d -> u) -> OpenIdError -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> OpenIdError -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> OpenIdError -> m OpenIdError #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> OpenIdError -> m OpenIdError #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> OpenIdError -> m OpenIdError #

Ord OpenIdError Source # 
Instance details

Defined in Happstack.Authenticate.OpenId.Core

Read OpenIdError Source # 
Instance details

Defined in Happstack.Authenticate.OpenId.Core

Show OpenIdError Source # 
Instance details

Defined in Happstack.Authenticate.OpenId.Core

Generic OpenIdError Source # 
Instance details

Defined in Happstack.Authenticate.OpenId.Core

Associated Types

type Rep OpenIdError :: * -> * #

ToJSON OpenIdError Source # 
Instance details

Defined in Happstack.Authenticate.OpenId.Core

FromJSON OpenIdError Source # 
Instance details

Defined in Happstack.Authenticate.OpenId.Core

ToJExpr OpenIdError Source # 
Instance details

Defined in Happstack.Authenticate.OpenId.Core

RenderMessage HappstackAuthenticateI18N OpenIdError Source # 
Instance details

Defined in Happstack.Authenticate.OpenId.Core

type Rep OpenIdError Source # 
Instance details

Defined in Happstack.Authenticate.OpenId.Core

type Rep OpenIdError = D1 (MetaData "OpenIdError" "Happstack.Authenticate.OpenId.Core" "happstack-authenticate-2.3.4.11-Bwj3cHLrT0KCBoc9b6QczY" False) (C1 (MetaCons "UnknownIdentifier" PrefixI False) (U1 :: * -> *) :+: C1 (MetaCons "CoreError" PrefixI True) (S1 (MetaSel (Just "openIdErrorMessageE") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 CoreError)))

data OpenIdState_1 Source #

Instances
Eq OpenIdState_1 Source # 
Instance details

Defined in Happstack.Authenticate.OpenId.Core

Data OpenIdState_1 Source # 
Instance details

Defined in Happstack.Authenticate.OpenId.Core

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> OpenIdState_1 -> c OpenIdState_1 #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c OpenIdState_1 #

toConstr :: OpenIdState_1 -> Constr #

dataTypeOf :: OpenIdState_1 -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c OpenIdState_1) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c OpenIdState_1) #

gmapT :: (forall b. Data b => b -> b) -> OpenIdState_1 -> OpenIdState_1 #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> OpenIdState_1 -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> OpenIdState_1 -> r #

gmapQ :: (forall d. Data d => d -> u) -> OpenIdState_1 -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> OpenIdState_1 -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> OpenIdState_1 -> m OpenIdState_1 #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> OpenIdState_1 -> m OpenIdState_1 #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> OpenIdState_1 -> m OpenIdState_1 #

Ord OpenIdState_1 Source # 
Instance details

Defined in Happstack.Authenticate.OpenId.Core

Read OpenIdState_1 Source # 
Instance details

Defined in Happstack.Authenticate.OpenId.Core

Show OpenIdState_1 Source # 
Instance details

Defined in Happstack.Authenticate.OpenId.Core

Generic OpenIdState_1 Source # 
Instance details

Defined in Happstack.Authenticate.OpenId.Core

Associated Types

type Rep OpenIdState_1 :: * -> * #

SafeCopy OpenIdState_1 Source # 
Instance details

Defined in Happstack.Authenticate.OpenId.Core

type Rep OpenIdState_1 Source # 
Instance details

Defined in Happstack.Authenticate.OpenId.Core

type Rep OpenIdState_1 = D1 (MetaData "OpenIdState_1" "Happstack.Authenticate.OpenId.Core" "happstack-authenticate-2.3.4.11-Bwj3cHLrT0KCBoc9b6QczY" False) (C1 (MetaCons "OpenIdState_1" PrefixI True) (S1 (MetaSel (Just "_identifiers_1") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Map Identifier UserId))))

data OpenIdState Source #

Instances
Eq OpenIdState Source # 
Instance details

Defined in Happstack.Authenticate.OpenId.Core

Data OpenIdState Source # 
Instance details

Defined in Happstack.Authenticate.OpenId.Core

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> OpenIdState -> c OpenIdState #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c OpenIdState #

toConstr :: OpenIdState -> Constr #

dataTypeOf :: OpenIdState -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c OpenIdState) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c OpenIdState) #

gmapT :: (forall b. Data b => b -> b) -> OpenIdState -> OpenIdState #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> OpenIdState -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> OpenIdState -> r #

gmapQ :: (forall d. Data d => d -> u) -> OpenIdState -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> OpenIdState -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> OpenIdState -> m OpenIdState #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> OpenIdState -> m OpenIdState #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> OpenIdState -> m OpenIdState #

Ord OpenIdState Source # 
Instance details

Defined in Happstack.Authenticate.OpenId.Core

Read OpenIdState Source # 
Instance details

Defined in Happstack.Authenticate.OpenId.Core

Show OpenIdState Source # 
Instance details

Defined in Happstack.Authenticate.OpenId.Core

Generic OpenIdState Source # 
Instance details

Defined in Happstack.Authenticate.OpenId.Core

Associated Types

type Rep OpenIdState :: * -> * #

IsAcidic OpenIdState Source # 
Instance details

Defined in Happstack.Authenticate.OpenId.Core

Methods

acidEvents :: [Event OpenIdState]

Migrate OpenIdState Source # 
Instance details

Defined in Happstack.Authenticate.OpenId.Core

Associated Types

type MigrateFrom OpenIdState :: *

Methods

migrate :: MigrateFrom OpenIdState -> OpenIdState

SafeCopy OpenIdState Source # 
Instance details

Defined in Happstack.Authenticate.OpenId.Core

Methods

version :: Version OpenIdState

kind :: Kind OpenIdState

getCopy :: Contained (Get OpenIdState)

putCopy :: OpenIdState -> Contained Put

internalConsistency :: Consistency OpenIdState

objectProfile :: Profile OpenIdState

errorTypeName :: Proxy OpenIdState -> String

type Rep OpenIdState Source # 
Instance details

Defined in Happstack.Authenticate.OpenId.Core

type Rep OpenIdState = D1 (MetaData "OpenIdState" "Happstack.Authenticate.OpenId.Core" "happstack-authenticate-2.3.4.11-Bwj3cHLrT0KCBoc9b6QczY" False) (C1 (MetaCons "OpenIdState" PrefixI True) (S1 (MetaSel (Just "_identifiers") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Map Identifier UserId)) :*: S1 (MetaSel (Just "_openIdRealm") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Text))))
type MigrateFrom OpenIdState Source # 
Instance details

Defined in Happstack.Authenticate.OpenId.Core

type MigrateFrom OpenIdState = OpenIdState_1

getOpenIdRealm :: Query OpenIdState (Maybe Text) Source #

Get the OpenId realm to use for authentication

setOpenIdRealm :: Maybe Text -> Update OpenIdState () Source #

set the realm used for OpenId Authentication

IMPORTANT: Changing this value after users have registered is likely to invalidate existing OpenId tokens resulting in users no longer being able to access their old accounts.

newtype IdentifierToUserId Source #

Instances
QueryEvent IdentifierToUserId Source # 
Instance details

Defined in Happstack.Authenticate.OpenId.Core

Method IdentifierToUserId Source # 
Instance details

Defined in Happstack.Authenticate.OpenId.Core

Associated Types

type MethodResult IdentifierToUserId :: *

type MethodState IdentifierToUserId :: *

Methods

methodTag :: IdentifierToUserId -> Tag

SafeCopy IdentifierToUserId Source # 
Instance details

Defined in Happstack.Authenticate.OpenId.Core

type MethodResult IdentifierToUserId Source # 
Instance details

Defined in Happstack.Authenticate.OpenId.Core

type MethodResult IdentifierToUserId = Maybe UserId
type MethodState IdentifierToUserId Source # 
Instance details

Defined in Happstack.Authenticate.OpenId.Core

type MethodState IdentifierToUserId = OpenIdState

data GetOpenIdRealm Source #

Constructors

GetOpenIdRealm 
Instances
QueryEvent GetOpenIdRealm Source # 
Instance details

Defined in Happstack.Authenticate.OpenId.Core

Method GetOpenIdRealm Source # 
Instance details

Defined in Happstack.Authenticate.OpenId.Core

Associated Types

type MethodResult GetOpenIdRealm :: *

type MethodState GetOpenIdRealm :: *

Methods

methodTag :: GetOpenIdRealm -> Tag

SafeCopy GetOpenIdRealm Source # 
Instance details

Defined in Happstack.Authenticate.OpenId.Core

type MethodResult GetOpenIdRealm Source # 
Instance details

Defined in Happstack.Authenticate.OpenId.Core

type MethodResult GetOpenIdRealm = Maybe Text
type MethodState GetOpenIdRealm Source # 
Instance details

Defined in Happstack.Authenticate.OpenId.Core

type MethodState GetOpenIdRealm = OpenIdState

newtype SetOpenIdRealm Source #

Constructors

SetOpenIdRealm (Maybe Text) 
Instances
UpdateEvent SetOpenIdRealm Source # 
Instance details

Defined in Happstack.Authenticate.OpenId.Core

Method SetOpenIdRealm Source # 
Instance details

Defined in Happstack.Authenticate.OpenId.Core

Associated Types

type MethodResult SetOpenIdRealm :: *

type MethodState SetOpenIdRealm :: *

Methods

methodTag :: SetOpenIdRealm -> Tag

SafeCopy SetOpenIdRealm Source # 
Instance details

Defined in Happstack.Authenticate.OpenId.Core

type MethodResult SetOpenIdRealm Source # 
Instance details

Defined in Happstack.Authenticate.OpenId.Core

type MethodResult SetOpenIdRealm = ()
type MethodState SetOpenIdRealm Source # 
Instance details

Defined in Happstack.Authenticate.OpenId.Core

type MethodState SetOpenIdRealm = OpenIdState

data SetRealmData Source #

Constructors

SetRealmData 
Instances
Eq SetRealmData Source # 
Instance details

Defined in Happstack.Authenticate.OpenId.Core

Data SetRealmData Source # 
Instance details

Defined in Happstack.Authenticate.OpenId.Core

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SetRealmData -> c SetRealmData #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SetRealmData #

toConstr :: SetRealmData -> Constr #

dataTypeOf :: SetRealmData -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c SetRealmData) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SetRealmData) #

gmapT :: (forall b. Data b => b -> b) -> SetRealmData -> SetRealmData #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SetRealmData -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SetRealmData -> r #

gmapQ :: (forall d. Data d => d -> u) -> SetRealmData -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> SetRealmData -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> SetRealmData -> m SetRealmData #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SetRealmData -> m SetRealmData #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SetRealmData -> m SetRealmData #

Ord SetRealmData Source # 
Instance details

Defined in Happstack.Authenticate.OpenId.Core

Read SetRealmData Source # 
Instance details

Defined in Happstack.Authenticate.OpenId.Core

Show SetRealmData Source # 
Instance details

Defined in Happstack.Authenticate.OpenId.Core

Generic SetRealmData Source # 
Instance details

Defined in Happstack.Authenticate.OpenId.Core

Associated Types

type Rep SetRealmData :: * -> * #

ToJSON SetRealmData Source # 
Instance details

Defined in Happstack.Authenticate.OpenId.Core

FromJSON SetRealmData Source # 
Instance details

Defined in Happstack.Authenticate.OpenId.Core

type Rep SetRealmData Source # 
Instance details

Defined in Happstack.Authenticate.OpenId.Core

type Rep SetRealmData = D1 (MetaData "SetRealmData" "Happstack.Authenticate.OpenId.Core" "happstack-authenticate-2.3.4.11-Bwj3cHLrT0KCBoc9b6QczY" False) (C1 (MetaCons "SetRealmData" PrefixI True) (S1 (MetaSel (Just "_srOpenIdRealm") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Text))))

realm :: Happstack m => AcidState AuthenticateState -> AcidState OpenIdState -> m Response Source #

Orphan instances

SafeCopy Identifier Source # 
Instance details

Methods

version :: Version Identifier

kind :: Kind Identifier

getCopy :: Contained (Get Identifier)

putCopy :: Identifier -> Contained Put

internalConsistency :: Consistency Identifier

objectProfile :: Profile Identifier

errorTypeName :: Proxy Identifier -> String