Safe Haskell	None
Language	Haskell98

Happstack.Authenticate.OpenId.Core

Contents

Orphan instances

Synopsis

Documentation

data OpenIdError Source #

Constructors

UnknownIdentifier
CoreError
Fields openIdErrorMessageE :: CoreError

Instances

Eq OpenIdError Source #
Methods (==) :: OpenIdError -> OpenIdError -> Bool # (/=) :: OpenIdError -> OpenIdError -> Bool #
Data OpenIdError Source #
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 #
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 #
Methods readsPrec :: Int -> ReadS OpenIdError # readList :: ReadS [OpenIdError] # readPrec :: ReadPrec OpenIdError # readListPrec :: ReadPrec [OpenIdError] #
Show OpenIdError Source #
Methods showsPrec :: Int -> OpenIdError -> ShowS # show :: OpenIdError -> String # showList :: [OpenIdError] -> ShowS #
Generic OpenIdError Source #
Associated Types type Rep OpenIdError :: * -> * # Methods from :: OpenIdError -> Rep OpenIdError x # to :: Rep OpenIdError x -> OpenIdError #
ToJSON OpenIdError Source #
Methods toJSON :: OpenIdError -> Value # toEncoding :: OpenIdError -> Encoding # toJSONList :: [OpenIdError] -> Value # toEncodingList :: [OpenIdError] -> Encoding #
FromJSON OpenIdError Source #
Methods parseJSON :: Value -> Parser OpenIdError # parseJSONList :: Value -> Parser [OpenIdError] #
ToJExpr OpenIdError Source #
Methods toJExpr :: OpenIdError -> JExpr toJExprFromList :: [OpenIdError] -> JExpr
RenderMessage HappstackAuthenticateI18N OpenIdError Source #
Methods renderMessage :: HappstackAuthenticateI18N -> [Lang] -> OpenIdError -> Text #
type Rep OpenIdError Source #
type Rep OpenIdError = D1 (MetaData "OpenIdError" "Happstack.Authenticate.OpenId.Core" "happstack-authenticate-2.3.4.7-l7rUuT6UH1CSRTdIkri8G" False) ((:+:) (C1 (MetaCons "UnknownIdentifier" PrefixI False) U1) (C1 (MetaCons "CoreError" PrefixI True) (S1 (MetaSel (Just Symbol "openIdErrorMessageE") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 CoreError))))

data OpenIdState_1 Source #

Constructors

OpenIdState_1
Fields _identifiers_1 :: Map Identifier UserId

Instances

Eq OpenIdState_1 Source #
Methods (==) :: OpenIdState_1 -> OpenIdState_1 -> Bool # (/=) :: OpenIdState_1 -> OpenIdState_1 -> Bool #
Data OpenIdState_1 Source #
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 #
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 #
Methods readsPrec :: Int -> ReadS OpenIdState_1 # readList :: ReadS [OpenIdState_1] # readPrec :: ReadPrec OpenIdState_1 # readListPrec :: ReadPrec [OpenIdState_1] #
Show OpenIdState_1 Source #
Methods showsPrec :: Int -> OpenIdState_1 -> ShowS # show :: OpenIdState_1 -> String # showList :: [OpenIdState_1] -> ShowS #
Generic OpenIdState_1 Source #
Associated Types type Rep OpenIdState_1 :: * -> * # Methods from :: OpenIdState_1 -> Rep OpenIdState_1 x # to :: Rep OpenIdState_1 x -> OpenIdState_1 #
SafeCopy OpenIdState_1 Source #
Methods version :: Version OpenIdState_1 # kind :: Kind OpenIdState_1 # getCopy :: Contained (Get OpenIdState_1) # putCopy :: OpenIdState_1 -> Contained Put # internalConsistency :: Consistency OpenIdState_1 # objectProfile :: Profile OpenIdState_1 # errorTypeName :: Proxy OpenIdState_1 -> String #
type Rep OpenIdState_1 Source #
type Rep OpenIdState_1 = D1 (MetaData "OpenIdState_1" "Happstack.Authenticate.OpenId.Core" "happstack-authenticate-2.3.4.7-l7rUuT6UH1CSRTdIkri8G" False) (C1 (MetaCons "OpenIdState_1" PrefixI True) (S1 (MetaSel (Just Symbol "_identifiers_1") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Map Identifier UserId))))

identifiers_1 :: Iso' OpenIdState_1 (Map Identifier UserId) Source #

data OpenIdState Source #

Constructors

OpenIdState
Fields _identifiers :: Map Identifier UserId _openIdRealm :: Maybe Text

Instances

Eq OpenIdState Source #
Methods (==) :: OpenIdState -> OpenIdState -> Bool # (/=) :: OpenIdState -> OpenIdState -> Bool #
Data OpenIdState Source #
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 #
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 #
Methods readsPrec :: Int -> ReadS OpenIdState # readList :: ReadS [OpenIdState] # readPrec :: ReadPrec OpenIdState # readListPrec :: ReadPrec [OpenIdState] #
Show OpenIdState Source #
Methods showsPrec :: Int -> OpenIdState -> ShowS # show :: OpenIdState -> String # showList :: [OpenIdState] -> ShowS #
Generic OpenIdState Source #
Associated Types type Rep OpenIdState :: * -> * # Methods from :: OpenIdState -> Rep OpenIdState x # to :: Rep OpenIdState x -> OpenIdState #
Migrate OpenIdState Source #
Associated Types type MigrateFrom OpenIdState :: * # Methods migrate :: MigrateFrom OpenIdState -> OpenIdState #
SafeCopy OpenIdState Source #
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 #
IsAcidic OpenIdState Source #
Methods acidEvents :: [Event OpenIdState]
type Rep OpenIdState Source #
type Rep OpenIdState = D1 (MetaData "OpenIdState" "Happstack.Authenticate.OpenId.Core" "happstack-authenticate-2.3.4.7-l7rUuT6UH1CSRTdIkri8G" False) (C1 (MetaCons "OpenIdState" PrefixI True) ((:*:) (S1 (MetaSel (Just Symbol "_identifiers") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Map Identifier UserId))) (S1 (MetaSel (Just Symbol "_openIdRealm") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Text)))))
type MigrateFrom OpenIdState Source #
type MigrateFrom OpenIdState = OpenIdState_1

openIdRealm :: Lens' OpenIdState (Maybe Text) Source #

identifiers :: Lens' OpenIdState (Map Identifier UserId) Source #

initialOpenIdState :: OpenIdState 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 #
Methods version :: Version IdentifierToUserId # kind :: Kind IdentifierToUserId # getCopy :: Contained (Get IdentifierToUserId) # putCopy :: IdentifierToUserId -> Contained Put # internalConsistency :: Consistency IdentifierToUserId # objectProfile :: Profile IdentifierToUserId # errorTypeName :: Proxy IdentifierToUserId -> String #
QueryEvent IdentifierToUserId Source #

Method IdentifierToUserId Source #
Associated Types type MethodResult IdentifierToUserId :: * type MethodState IdentifierToUserId :: * Methods methodTag :: IdentifierToUserId -> Tag
type MethodState IdentifierToUserId Source #
type MethodState IdentifierToUserId = OpenIdState
type MethodResult IdentifierToUserId Source #
type MethodResult IdentifierToUserId = Maybe UserId

data AssociateIdentifierWithUserId Source #

Constructors

AssociateIdentifierWithUserId Identifier UserId

Instances

SafeCopy AssociateIdentifierWithUserId Source #
Methods version :: Version AssociateIdentifierWithUserId # kind :: Kind AssociateIdentifierWithUserId # getCopy :: Contained (Get AssociateIdentifierWithUserId) # putCopy :: AssociateIdentifierWithUserId -> Contained Put # internalConsistency :: Consistency AssociateIdentifierWithUserId # objectProfile :: Profile AssociateIdentifierWithUserId # errorTypeName :: Proxy AssociateIdentifierWithUserId -> String #
UpdateEvent AssociateIdentifierWithUserId Source #

Method AssociateIdentifierWithUserId Source #
Associated Types type MethodResult AssociateIdentifierWithUserId :: * type MethodState AssociateIdentifierWithUserId :: * Methods methodTag :: AssociateIdentifierWithUserId -> Tag
type MethodState AssociateIdentifierWithUserId Source #
type MethodState AssociateIdentifierWithUserId = OpenIdState
type MethodResult AssociateIdentifierWithUserId Source #
type MethodResult AssociateIdentifierWithUserId = ()

data GetOpenIdRealm Source #

Constructors

GetOpenIdRealm

Instances

SafeCopy GetOpenIdRealm Source #
Methods version :: Version GetOpenIdRealm # kind :: Kind GetOpenIdRealm # getCopy :: Contained (Get GetOpenIdRealm) # putCopy :: GetOpenIdRealm -> Contained Put # internalConsistency :: Consistency GetOpenIdRealm # objectProfile :: Profile GetOpenIdRealm # errorTypeName :: Proxy GetOpenIdRealm -> String #
QueryEvent GetOpenIdRealm Source #

Method GetOpenIdRealm Source #
Associated Types type MethodResult GetOpenIdRealm :: * type MethodState GetOpenIdRealm :: * Methods methodTag :: GetOpenIdRealm -> Tag
type MethodState GetOpenIdRealm Source #
type MethodState GetOpenIdRealm = OpenIdState
type MethodResult GetOpenIdRealm Source #
type MethodResult GetOpenIdRealm = Maybe Text

newtype SetOpenIdRealm Source #

Constructors

SetOpenIdRealm (Maybe Text)

Instances

SafeCopy SetOpenIdRealm Source #
Methods version :: Version SetOpenIdRealm # kind :: Kind SetOpenIdRealm # getCopy :: Contained (Get SetOpenIdRealm) # putCopy :: SetOpenIdRealm -> Contained Put # internalConsistency :: Consistency SetOpenIdRealm # objectProfile :: Profile SetOpenIdRealm # errorTypeName :: Proxy SetOpenIdRealm -> String #
UpdateEvent SetOpenIdRealm Source #

Method SetOpenIdRealm Source #
Associated Types type MethodResult SetOpenIdRealm :: * type MethodState SetOpenIdRealm :: * Methods methodTag :: SetOpenIdRealm -> Tag
type MethodState SetOpenIdRealm Source #
type MethodState SetOpenIdRealm = OpenIdState
type MethodResult SetOpenIdRealm Source #
type MethodResult SetOpenIdRealm = ()

data SetRealmData Source #

Constructors

SetRealmData
Fields _srOpenIdRealm :: Maybe Text

Instances

Eq SetRealmData Source #
Methods (==) :: SetRealmData -> SetRealmData -> Bool # (/=) :: SetRealmData -> SetRealmData -> Bool #
Data SetRealmData Source #
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 #
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 #
Methods readsPrec :: Int -> ReadS SetRealmData # readList :: ReadS [SetRealmData] # readPrec :: ReadPrec SetRealmData # readListPrec :: ReadPrec [SetRealmData] #
Show SetRealmData Source #
Methods showsPrec :: Int -> SetRealmData -> ShowS # show :: SetRealmData -> String # showList :: [SetRealmData] -> ShowS #
Generic SetRealmData Source #
Associated Types type Rep SetRealmData :: * -> * # Methods from :: SetRealmData -> Rep SetRealmData x # to :: Rep SetRealmData x -> SetRealmData #
ToJSON SetRealmData Source #
Methods toJSON :: SetRealmData -> Value # toEncoding :: SetRealmData -> Encoding # toJSONList :: [SetRealmData] -> Value # toEncodingList :: [SetRealmData] -> Encoding #
FromJSON SetRealmData Source #
Methods parseJSON :: Value -> Parser SetRealmData # parseJSONList :: Value -> Parser [SetRealmData] #
type Rep SetRealmData Source #
type Rep SetRealmData = D1 (MetaData "SetRealmData" "Happstack.Authenticate.OpenId.Core" "happstack-authenticate-2.3.4.7-l7rUuT6UH1CSRTdIkri8G" False) (C1 (MetaCons "SetRealmData" PrefixI True) (S1 (MetaSel (Just Symbol "_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 # kind :: Kind Identifier # getCopy :: Contained (Get Identifier) # putCopy :: Identifier -> Contained Put # internalConsistency :: Consistency Identifier # objectProfile :: Profile Identifier # errorTypeName :: Proxy Identifier -> String #