Happstack.Authenticate.OpenId.Core

Documentation

data OpenIdError

Constructors

UnknownIdentifier

CoreError

Fields

• openIdErrorMessageE :: CoreError

Instances

Eq OpenIdError

Methods

(==) :: OpenIdError -> OpenIdError -> Bool

(/=) :: OpenIdError -> OpenIdError -> Bool

Data OpenIdError

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

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

Methods

readsPrec :: Int -> ReadS OpenIdError

readList :: ReadS [OpenIdError]

readPrec :: ReadPrec OpenIdError

readListPrec :: ReadPrec [OpenIdError]

Show OpenIdError

Methods

showsPrec :: Int -> OpenIdError -> ShowS

show :: OpenIdError -> String

showList :: [OpenIdError] -> ShowS

Generic OpenIdError

Associated Types

type Rep OpenIdError :: * -> *

Methods

from :: OpenIdError -> Rep OpenIdError x

to :: Rep OpenIdError x -> OpenIdError

ToJSON OpenIdError

Methods

toJSON :: OpenIdError -> Value

toEncoding :: OpenIdError -> Encoding

toJSONList :: [OpenIdError] -> Value

toEncodingList :: [OpenIdError] -> Encoding

FromJSON OpenIdError

Methods

parseJSON :: Value -> Parser OpenIdError

parseJSONList :: Value -> Parser [OpenIdError]

ToJExpr OpenIdError

Methods

toJExpr :: OpenIdError -> JExpr

toJExprFromList :: [OpenIdError] -> JExpr

RenderMessage HappstackAuthenticateI18N OpenIdError

Methods

renderMessage :: HappstackAuthenticateI18N -> [Lang] -> OpenIdError -> Text

type Rep OpenIdError

type Rep OpenIdError = D1 * (MetaData "OpenIdError" "Happstack.Authenticate.OpenId.Core" "happstack-authenticate-2.3.4.10-KOaQ65BcddsFX2pXVA6rju" 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

Constructors

OpenIdState_1

Fields

• _identifiers_1 :: Map Identifier UserId

Instances

Eq OpenIdState_1

Methods

(==) :: OpenIdState_1 -> OpenIdState_1 -> Bool

(/=) :: OpenIdState_1 -> OpenIdState_1 -> Bool

Data OpenIdState_1

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

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

Methods

readsPrec :: Int -> ReadS OpenIdState_1

readList :: ReadS [OpenIdState_1]

readPrec :: ReadPrec OpenIdState_1

readListPrec :: ReadPrec [OpenIdState_1]

Show OpenIdState_1

Methods

showsPrec :: Int -> OpenIdState_1 -> ShowS

show :: OpenIdState_1 -> String

showList :: [OpenIdState_1] -> ShowS

Generic OpenIdState_1

Associated Types

type Rep OpenIdState_1 :: * -> *

Methods

from :: OpenIdState_1 -> Rep OpenIdState_1 x

to :: Rep OpenIdState_1 x -> OpenIdState_1

SafeCopy OpenIdState_1

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

type Rep OpenIdState_1 = D1 * (MetaData "OpenIdState_1" "Happstack.Authenticate.OpenId.Core" "happstack-authenticate-2.3.4.10-KOaQ65BcddsFX2pXVA6rju" 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)

data OpenIdState

Constructors

OpenIdState

Fields

• _identifiers :: Map Identifier UserId
• _openIdRealm :: Maybe Text

Instances

Eq OpenIdState

Methods

(==) :: OpenIdState -> OpenIdState -> Bool

(/=) :: OpenIdState -> OpenIdState -> Bool

Data OpenIdState

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

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

Methods

readsPrec :: Int -> ReadS OpenIdState

readList :: ReadS [OpenIdState]

readPrec :: ReadPrec OpenIdState

readListPrec :: ReadPrec [OpenIdState]

Show OpenIdState

Methods

showsPrec :: Int -> OpenIdState -> ShowS

show :: OpenIdState -> String

showList :: [OpenIdState] -> ShowS

Generic OpenIdState

Associated Types

type Rep OpenIdState :: * -> *

Methods

from :: OpenIdState -> Rep OpenIdState x

to :: Rep OpenIdState x -> OpenIdState

IsAcidic OpenIdState

Methods

acidEvents :: [Event OpenIdState]

Migrate OpenIdState

Associated Types

type MigrateFrom OpenIdState :: *

Methods

migrate :: MigrateFrom OpenIdState -> OpenIdState

SafeCopy OpenIdState

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

type Rep OpenIdState = D1 * (MetaData "OpenIdState" "Happstack.Authenticate.OpenId.Core" "happstack-authenticate-2.3.4.10-KOaQ65BcddsFX2pXVA6rju" 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

type MigrateFrom OpenIdState = OpenIdState_1

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)

Get the OpenId realm to use for authentication

setOpenIdRealm :: Maybe Text -> Update OpenIdState ()

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

Constructors

IdentifierToUserId Identifier

Instances

QueryEvent IdentifierToUserId

Method IdentifierToUserId

Associated Types

type MethodResult IdentifierToUserId :: *

type MethodState IdentifierToUserId :: *

Methods

methodTag :: IdentifierToUserId -> Tag

SafeCopy IdentifierToUserId

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

type MethodState IdentifierToUserId

type MethodState IdentifierToUserId = OpenIdState

type MethodResult IdentifierToUserId

type MethodResult IdentifierToUserId = Maybe UserId

data AssociateIdentifierWithUserId

Constructors

AssociateIdentifierWithUserId Identifier UserId

Instances

UpdateEvent AssociateIdentifierWithUserId

Method AssociateIdentifierWithUserId

Associated Types

type MethodResult AssociateIdentifierWithUserId :: *

type MethodState AssociateIdentifierWithUserId :: *

Methods

methodTag :: AssociateIdentifierWithUserId -> Tag

SafeCopy AssociateIdentifierWithUserId

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

type MethodState AssociateIdentifierWithUserId

type MethodState AssociateIdentifierWithUserId = OpenIdState

type MethodResult AssociateIdentifierWithUserId

type MethodResult AssociateIdentifierWithUserId = ()

data GetOpenIdRealm

Constructors

GetOpenIdRealm

Instances

QueryEvent GetOpenIdRealm

Method GetOpenIdRealm

Associated Types

type MethodResult GetOpenIdRealm :: *

type MethodState GetOpenIdRealm :: *

Methods

methodTag :: GetOpenIdRealm -> Tag

SafeCopy GetOpenIdRealm

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

type MethodState GetOpenIdRealm

type MethodState GetOpenIdRealm = OpenIdState

type MethodResult GetOpenIdRealm

type MethodResult GetOpenIdRealm = Maybe Text

newtype SetOpenIdRealm

Constructors

SetOpenIdRealm (Maybe Text)

Instances

UpdateEvent SetOpenIdRealm

Method SetOpenIdRealm

Associated Types

type MethodResult SetOpenIdRealm :: *

type MethodState SetOpenIdRealm :: *

Methods

methodTag :: SetOpenIdRealm -> Tag

SafeCopy SetOpenIdRealm

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

type MethodState SetOpenIdRealm

type MethodState SetOpenIdRealm = OpenIdState

type MethodResult SetOpenIdRealm

type MethodResult SetOpenIdRealm = ()

data SetRealmData

Constructors

SetRealmData

Fields

• _srOpenIdRealm :: Maybe Text

Instances

Eq SetRealmData

Methods

(==) :: SetRealmData -> SetRealmData -> Bool

(/=) :: SetRealmData -> SetRealmData -> Bool

Data SetRealmData

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

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

Methods

readsPrec :: Int -> ReadS SetRealmData

readList :: ReadS [SetRealmData]

readPrec :: ReadPrec SetRealmData

readListPrec :: ReadPrec [SetRealmData]

Show SetRealmData

Methods

showsPrec :: Int -> SetRealmData -> ShowS

show :: SetRealmData -> String

showList :: [SetRealmData] -> ShowS

Generic SetRealmData

Associated Types

type Rep SetRealmData :: * -> *

Methods

from :: SetRealmData -> Rep SetRealmData x

to :: Rep SetRealmData x -> SetRealmData

ToJSON SetRealmData

Methods

toJSON :: SetRealmData -> Value

toEncoding :: SetRealmData -> Encoding

toJSONList :: [SetRealmData] -> Value

toEncodingList :: [SetRealmData] -> Encoding

FromJSON SetRealmData

Methods

parseJSON :: Value -> Parser SetRealmData

parseJSONList :: Value -> Parser [SetRealmData]

type Rep SetRealmData

type Rep SetRealmData = D1 * (MetaData "SetRealmData" "Happstack.Authenticate.OpenId.Core" "happstack-authenticate-2.3.4.10-KOaQ65BcddsFX2pXVA6rju" False) (C1 * (MetaCons "SetRealmData" PrefixI True) (S1 * (MetaSel (Just Symbol "_srOpenIdRealm") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (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

Orphan instances

SafeCopy Identifier

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