Safe Haskell | None |
---|---|
Language | Haskell98 |
Happstack.Authenticate.OpenId.Core
Contents
Synopsis
- data OpenIdError
- data OpenIdState_1 = OpenIdState_1 {
- _identifiers_1 :: Map Identifier UserId
- identifiers_1 :: Iso' OpenIdState_1 (Map Identifier UserId)
- data OpenIdState = OpenIdState {
- _identifiers :: Map Identifier UserId
- _openIdRealm :: Maybe Text
- openIdRealm :: Lens' OpenIdState (Maybe Text)
- identifiers :: Lens' OpenIdState (Map Identifier UserId)
- initialOpenIdState :: OpenIdState
- identifierToUserId :: Identifier -> Query OpenIdState (Maybe UserId)
- associateIdentifierWithUserId :: Identifier -> UserId -> Update OpenIdState ()
- getOpenIdRealm :: Query OpenIdState (Maybe Text)
- setOpenIdRealm :: Maybe Text -> Update OpenIdState ()
- newtype IdentifierToUserId = IdentifierToUserId Identifier
- data AssociateIdentifierWithUserId = AssociateIdentifierWithUserId Identifier UserId
- data GetOpenIdRealm = GetOpenIdRealm
- newtype SetOpenIdRealm = SetOpenIdRealm (Maybe Text)
- data SetRealmData = SetRealmData {
- _srOpenIdRealm :: Maybe Text
- srOpenIdRealm :: Iso' SetRealmData (Maybe Text)
- realm :: Happstack m => AcidState AuthenticateState -> AcidState OpenIdState -> m Response
- getIdentifier :: Happstack m => m Identifier
- token :: (Alternative m, Happstack m) => AcidState AuthenticateState -> AuthenticateConfig -> AcidState OpenIdState -> m Response
Documentation
data OpenIdError Source #
Constructors
UnknownIdentifier | |
CoreError | |
Fields |
Instances
Eq OpenIdError Source # | |
Defined in Happstack.Authenticate.OpenId.Core | |
Data OpenIdError Source # | |
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 :: forall r r'. (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 # | |
Defined in Happstack.Authenticate.OpenId.Core Methods compare :: OpenIdError -> OpenIdError -> Ordering (<) :: OpenIdError -> OpenIdError -> Bool (<=) :: OpenIdError -> OpenIdError -> Bool (>) :: OpenIdError -> OpenIdError -> Bool (>=) :: OpenIdError -> OpenIdError -> Bool max :: OpenIdError -> OpenIdError -> OpenIdError min :: OpenIdError -> OpenIdError -> OpenIdError | |
Read OpenIdError Source # | |
Defined in Happstack.Authenticate.OpenId.Core Methods readsPrec :: Int -> ReadS OpenIdError readList :: ReadS [OpenIdError] readPrec :: ReadPrec OpenIdError readListPrec :: ReadPrec [OpenIdError] | |
Show OpenIdError Source # | |
Defined in Happstack.Authenticate.OpenId.Core Methods showsPrec :: Int -> OpenIdError -> ShowS show :: OpenIdError -> String showList :: [OpenIdError] -> ShowS | |
Generic OpenIdError Source # | |
Defined in Happstack.Authenticate.OpenId.Core Associated Types type Rep OpenIdError :: Type -> Type | |
ToJSON OpenIdError Source # | |
Defined in Happstack.Authenticate.OpenId.Core Methods toJSON :: OpenIdError -> Value Source # toEncoding :: OpenIdError -> Encoding Source # toJSONList :: [OpenIdError] -> Value Source # toEncodingList :: [OpenIdError] -> Encoding Source # | |
FromJSON OpenIdError Source # | |
Defined in Happstack.Authenticate.OpenId.Core Methods parseJSON :: Value -> Parser OpenIdError Source # parseJSONList :: Value -> Parser [OpenIdError] Source # | |
ToJExpr OpenIdError Source # | |
Defined in Happstack.Authenticate.OpenId.Core | |
RenderMessage HappstackAuthenticateI18N OpenIdError Source # | |
Defined in Happstack.Authenticate.OpenId.Core Methods renderMessage :: HappstackAuthenticateI18N -> [Lang] -> OpenIdError -> Text Source # | |
type Rep OpenIdError Source # | |
Defined in Happstack.Authenticate.OpenId.Core type Rep OpenIdError = D1 ('MetaData "OpenIdError" "Happstack.Authenticate.OpenId.Core" "happstack-authenticate-2.4.0.3-LsRNcj541rmGlo9PY5iVqO" 'False) (C1 ('MetaCons "UnknownIdentifier" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CoreError" 'PrefixI 'True) (S1 ('MetaSel ('Just "openIdErrorMessageE") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CoreError))) |
data OpenIdState_1 Source #
Constructors
OpenIdState_1 | |
Fields
|
Instances
Eq OpenIdState_1 Source # | |
Defined in Happstack.Authenticate.OpenId.Core | |
Data OpenIdState_1 Source # | |
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 :: forall r r'. (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 # | |
Defined in Happstack.Authenticate.OpenId.Core Methods compare :: OpenIdState_1 -> OpenIdState_1 -> Ordering (<) :: OpenIdState_1 -> OpenIdState_1 -> Bool (<=) :: OpenIdState_1 -> OpenIdState_1 -> Bool (>) :: OpenIdState_1 -> OpenIdState_1 -> Bool (>=) :: OpenIdState_1 -> OpenIdState_1 -> Bool max :: OpenIdState_1 -> OpenIdState_1 -> OpenIdState_1 min :: OpenIdState_1 -> OpenIdState_1 -> OpenIdState_1 | |
Read OpenIdState_1 Source # | |
Defined in Happstack.Authenticate.OpenId.Core Methods readsPrec :: Int -> ReadS OpenIdState_1 readList :: ReadS [OpenIdState_1] readPrec :: ReadPrec OpenIdState_1 readListPrec :: ReadPrec [OpenIdState_1] | |
Show OpenIdState_1 Source # | |
Defined in Happstack.Authenticate.OpenId.Core Methods showsPrec :: Int -> OpenIdState_1 -> ShowS show :: OpenIdState_1 -> String showList :: [OpenIdState_1] -> ShowS | |
Generic OpenIdState_1 Source # | |
Defined in Happstack.Authenticate.OpenId.Core Associated Types type Rep OpenIdState_1 :: Type -> Type | |
SafeCopy OpenIdState_1 Source # | |
Defined in Happstack.Authenticate.OpenId.Core Methods version :: Version OpenIdState_1 Source # kind :: Kind OpenIdState_1 Source # getCopy :: Contained (Get OpenIdState_1) Source # putCopy :: OpenIdState_1 -> Contained Put Source # internalConsistency :: Consistency OpenIdState_1 Source # objectProfile :: Profile OpenIdState_1 Source # errorTypeName :: Proxy OpenIdState_1 -> String Source # | |
type Rep OpenIdState_1 Source # | |
Defined in Happstack.Authenticate.OpenId.Core type Rep OpenIdState_1 = D1 ('MetaData "OpenIdState_1" "Happstack.Authenticate.OpenId.Core" "happstack-authenticate-2.4.0.3-LsRNcj541rmGlo9PY5iVqO" 'False) (C1 ('MetaCons "OpenIdState_1" 'PrefixI 'True) (S1 ('MetaSel ('Just "_identifiers_1") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map Identifier UserId)))) |
identifiers_1 :: Iso' OpenIdState_1 (Map Identifier UserId) Source #
data OpenIdState Source #
Constructors
OpenIdState | |
Fields
|
Instances
Eq OpenIdState Source # | |
Defined in Happstack.Authenticate.OpenId.Core | |
Data OpenIdState Source # | |
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 :: forall r r'. (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 # | |
Defined in Happstack.Authenticate.OpenId.Core Methods compare :: OpenIdState -> OpenIdState -> Ordering (<) :: OpenIdState -> OpenIdState -> Bool (<=) :: OpenIdState -> OpenIdState -> Bool (>) :: OpenIdState -> OpenIdState -> Bool (>=) :: OpenIdState -> OpenIdState -> Bool max :: OpenIdState -> OpenIdState -> OpenIdState min :: OpenIdState -> OpenIdState -> OpenIdState | |
Read OpenIdState Source # | |
Defined in Happstack.Authenticate.OpenId.Core Methods readsPrec :: Int -> ReadS OpenIdState readList :: ReadS [OpenIdState] readPrec :: ReadPrec OpenIdState readListPrec :: ReadPrec [OpenIdState] | |
Show OpenIdState Source # | |
Defined in Happstack.Authenticate.OpenId.Core Methods showsPrec :: Int -> OpenIdState -> ShowS show :: OpenIdState -> String showList :: [OpenIdState] -> ShowS | |
Generic OpenIdState Source # | |
Defined in Happstack.Authenticate.OpenId.Core Associated Types type Rep OpenIdState :: Type -> Type | |
SafeCopy OpenIdState Source # | |
Defined in Happstack.Authenticate.OpenId.Core Methods version :: Version OpenIdState Source # kind :: Kind OpenIdState Source # getCopy :: Contained (Get OpenIdState) Source # putCopy :: OpenIdState -> Contained Put Source # internalConsistency :: Consistency OpenIdState Source # objectProfile :: Profile OpenIdState Source # errorTypeName :: Proxy OpenIdState -> String Source # | |
IsAcidic OpenIdState Source # | |
Defined in Happstack.Authenticate.OpenId.Core Methods acidEvents :: [Event OpenIdState] Source # | |
Migrate OpenIdState Source # | |
Defined in Happstack.Authenticate.OpenId.Core Associated Types type MigrateFrom OpenIdState Source # Methods | |
type Rep OpenIdState Source # | |
Defined in Happstack.Authenticate.OpenId.Core type Rep OpenIdState = D1 ('MetaData "OpenIdState" "Happstack.Authenticate.OpenId.Core" "happstack-authenticate-2.4.0.3-LsRNcj541rmGlo9PY5iVqO" '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 # | |
Defined in Happstack.Authenticate.OpenId.Core |
openIdRealm :: Lens' OpenIdState (Maybe Text) Source #
identifiers :: Lens' OpenIdState (Map Identifier UserId) Source #
identifierToUserId :: Identifier -> Query OpenIdState (Maybe UserId) Source #
associateIdentifierWithUserId :: Identifier -> UserId -> Update OpenIdState () Source #
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 #
Constructors
IdentifierToUserId Identifier |
Instances
SafeCopy IdentifierToUserId Source # | |
Defined in Happstack.Authenticate.OpenId.Core Methods version :: Version IdentifierToUserId Source # kind :: Kind IdentifierToUserId Source # getCopy :: Contained (Get IdentifierToUserId) Source # putCopy :: IdentifierToUserId -> Contained Put Source # internalConsistency :: Consistency IdentifierToUserId Source # objectProfile :: Profile IdentifierToUserId Source # errorTypeName :: Proxy IdentifierToUserId -> String Source # | |
QueryEvent IdentifierToUserId Source # | |
Defined in Happstack.Authenticate.OpenId.Core | |
Method IdentifierToUserId Source # | |
Defined in Happstack.Authenticate.OpenId.Core Associated Types Methods methodTag :: IdentifierToUserId -> Tag Source # | |
type MethodState IdentifierToUserId Source # | |
Defined in Happstack.Authenticate.OpenId.Core | |
type MethodResult IdentifierToUserId Source # | |
Defined in Happstack.Authenticate.OpenId.Core |
data AssociateIdentifierWithUserId Source #
Constructors
AssociateIdentifierWithUserId Identifier UserId |
Instances
data GetOpenIdRealm Source #
Constructors
GetOpenIdRealm |
Instances
SafeCopy GetOpenIdRealm Source # | |
Defined in Happstack.Authenticate.OpenId.Core Methods version :: Version GetOpenIdRealm Source # kind :: Kind GetOpenIdRealm Source # getCopy :: Contained (Get GetOpenIdRealm) Source # putCopy :: GetOpenIdRealm -> Contained Put Source # internalConsistency :: Consistency GetOpenIdRealm Source # objectProfile :: Profile GetOpenIdRealm Source # errorTypeName :: Proxy GetOpenIdRealm -> String Source # | |
QueryEvent GetOpenIdRealm Source # | |
Defined in Happstack.Authenticate.OpenId.Core | |
Method GetOpenIdRealm Source # | |
Defined in Happstack.Authenticate.OpenId.Core Methods methodTag :: GetOpenIdRealm -> Tag Source # | |
type MethodState GetOpenIdRealm Source # | |
Defined in Happstack.Authenticate.OpenId.Core | |
type MethodResult GetOpenIdRealm Source # | |
Defined in Happstack.Authenticate.OpenId.Core |
newtype SetOpenIdRealm Source #
Constructors
SetOpenIdRealm (Maybe Text) |
Instances
SafeCopy SetOpenIdRealm Source # | |
Defined in Happstack.Authenticate.OpenId.Core Methods version :: Version SetOpenIdRealm Source # kind :: Kind SetOpenIdRealm Source # getCopy :: Contained (Get SetOpenIdRealm) Source # putCopy :: SetOpenIdRealm -> Contained Put Source # internalConsistency :: Consistency SetOpenIdRealm Source # objectProfile :: Profile SetOpenIdRealm Source # errorTypeName :: Proxy SetOpenIdRealm -> String Source # | |
UpdateEvent SetOpenIdRealm Source # | |
Defined in Happstack.Authenticate.OpenId.Core | |
Method SetOpenIdRealm Source # | |
Defined in Happstack.Authenticate.OpenId.Core Methods methodTag :: SetOpenIdRealm -> Tag Source # | |
type MethodState SetOpenIdRealm Source # | |
Defined in Happstack.Authenticate.OpenId.Core | |
type MethodResult SetOpenIdRealm Source # | |
Defined in Happstack.Authenticate.OpenId.Core |
data SetRealmData Source #
Constructors
SetRealmData | |
Fields
|
Instances
Eq SetRealmData Source # | |
Defined in Happstack.Authenticate.OpenId.Core | |
Data SetRealmData Source # | |
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 :: forall r r'. (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 # | |
Defined in Happstack.Authenticate.OpenId.Core Methods compare :: SetRealmData -> SetRealmData -> Ordering (<) :: SetRealmData -> SetRealmData -> Bool (<=) :: SetRealmData -> SetRealmData -> Bool (>) :: SetRealmData -> SetRealmData -> Bool (>=) :: SetRealmData -> SetRealmData -> Bool max :: SetRealmData -> SetRealmData -> SetRealmData min :: SetRealmData -> SetRealmData -> SetRealmData | |
Read SetRealmData Source # | |
Defined in Happstack.Authenticate.OpenId.Core Methods readsPrec :: Int -> ReadS SetRealmData readList :: ReadS [SetRealmData] readPrec :: ReadPrec SetRealmData readListPrec :: ReadPrec [SetRealmData] | |
Show SetRealmData Source # | |
Defined in Happstack.Authenticate.OpenId.Core Methods showsPrec :: Int -> SetRealmData -> ShowS show :: SetRealmData -> String showList :: [SetRealmData] -> ShowS | |
Generic SetRealmData Source # | |
Defined in Happstack.Authenticate.OpenId.Core Associated Types type Rep SetRealmData :: Type -> Type | |
ToJSON SetRealmData Source # | |
Defined in Happstack.Authenticate.OpenId.Core Methods toJSON :: SetRealmData -> Value Source # toEncoding :: SetRealmData -> Encoding Source # toJSONList :: [SetRealmData] -> Value Source # toEncodingList :: [SetRealmData] -> Encoding Source # | |
FromJSON SetRealmData Source # | |
Defined in Happstack.Authenticate.OpenId.Core Methods parseJSON :: Value -> Parser SetRealmData Source # parseJSONList :: Value -> Parser [SetRealmData] Source # | |
type Rep SetRealmData Source # | |
Defined in Happstack.Authenticate.OpenId.Core type Rep SetRealmData = D1 ('MetaData "SetRealmData" "Happstack.Authenticate.OpenId.Core" "happstack-authenticate-2.4.0.3-LsRNcj541rmGlo9PY5iVqO" 'False) (C1 ('MetaCons "SetRealmData" 'PrefixI 'True) (S1 ('MetaSel ('Just "_srOpenIdRealm") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)))) |
srOpenIdRealm :: Iso' SetRealmData (Maybe Text) Source #
realm :: Happstack m => AcidState AuthenticateState -> AcidState OpenIdState -> m Response Source #
getIdentifier :: Happstack m => m Identifier Source #
token :: (Alternative m, Happstack m) => AcidState AuthenticateState -> AuthenticateConfig -> AcidState OpenIdState -> m Response Source #
Orphan instances
SafeCopy Identifier Source # | |
Methods version :: Version Identifier Source # kind :: Kind Identifier Source # getCopy :: Contained (Get Identifier) Source # putCopy :: Identifier -> Contained Put Source # internalConsistency :: Consistency Identifier Source # objectProfile :: Profile Identifier Source # errorTypeName :: Proxy Identifier -> String Source # |