Happstack.Authenticate.OpenId.Core

Documentation

data OpenIdError

Constructors

UnknownIdentifier

CoreError

Fields

• openIdErrorMessageE :: CoreError

Instances

Eq OpenIdError

Defined in Happstack.Authenticate.OpenId.Core

Methods

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

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

Data OpenIdError

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

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

Defined in Happstack.Authenticate.OpenId.Core

Methods

readsPrec :: Int -> ReadS OpenIdError

readList :: ReadS [OpenIdError]

readPrec :: ReadPrec OpenIdError

readListPrec :: ReadPrec [OpenIdError]

Show OpenIdError

Defined in Happstack.Authenticate.OpenId.Core

Methods

showsPrec :: Int -> OpenIdError -> ShowS

show :: OpenIdError -> String

showList :: [OpenIdError] -> ShowS

Generic OpenIdError

Defined in Happstack.Authenticate.OpenId.Core

Associated Types

type Rep OpenIdError :: Type -> Type

Methods

from :: OpenIdError -> Rep OpenIdError x

to :: Rep OpenIdError x -> OpenIdError

ToJSON OpenIdError

Defined in Happstack.Authenticate.OpenId.Core

Methods

toJSON :: OpenIdError -> Value

toEncoding :: OpenIdError -> Encoding

toJSONList :: [OpenIdError] -> Value

toEncodingList :: [OpenIdError] -> Encoding

FromJSON OpenIdError

Defined in Happstack.Authenticate.OpenId.Core

Methods

parseJSON :: Value -> Parser OpenIdError

parseJSONList :: Value -> Parser [OpenIdError]

ToJExpr OpenIdError

Defined in Happstack.Authenticate.OpenId.Core

Methods

toJExpr :: OpenIdError -> JExpr

toJExprFromList :: [OpenIdError] -> JExpr

RenderMessage HappstackAuthenticateI18N OpenIdError

Defined in Happstack.Authenticate.OpenId.Core

Methods

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

type Rep OpenIdError

Defined in Happstack.Authenticate.OpenId.Core

type Rep OpenIdError = D1 ('MetaData "OpenIdError" "Happstack.Authenticate.OpenId.Core" "happstack-authenticate-2.4.2-21TYVXxdvqkFERg6EPWUnd" '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

Constructors

OpenIdState_1

Fields

• _identifiers_1 :: Map Identifier UserId

Instances

Eq OpenIdState_1

Defined in Happstack.Authenticate.OpenId.Core

Methods

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

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

Data OpenIdState_1

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

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

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

Defined in Happstack.Authenticate.OpenId.Core

Methods

showsPrec :: Int -> OpenIdState_1 -> ShowS

show :: OpenIdState_1 -> String

showList :: [OpenIdState_1] -> ShowS

Generic OpenIdState_1

Defined in Happstack.Authenticate.OpenId.Core

Associated Types

type Rep OpenIdState_1 :: Type -> Type

Methods

from :: OpenIdState_1 -> Rep OpenIdState_1 x

to :: Rep OpenIdState_1 x -> OpenIdState_1

SafeCopy OpenIdState_1

Defined in Happstack.Authenticate.OpenId.Core

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

Defined in Happstack.Authenticate.OpenId.Core

type Rep OpenIdState_1 = D1 ('MetaData "OpenIdState_1" "Happstack.Authenticate.OpenId.Core" "happstack-authenticate-2.4.2-21TYVXxdvqkFERg6EPWUnd" '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)

data OpenIdState

Constructors

OpenIdState

Fields

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

Instances

Eq OpenIdState

Defined in Happstack.Authenticate.OpenId.Core

Methods

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

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

Data OpenIdState

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

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

Defined in Happstack.Authenticate.OpenId.Core

Methods

readsPrec :: Int -> ReadS OpenIdState

readList :: ReadS [OpenIdState]

readPrec :: ReadPrec OpenIdState

readListPrec :: ReadPrec [OpenIdState]

Show OpenIdState

Defined in Happstack.Authenticate.OpenId.Core

Methods

showsPrec :: Int -> OpenIdState -> ShowS

show :: OpenIdState -> String

showList :: [OpenIdState] -> ShowS

Generic OpenIdState

Defined in Happstack.Authenticate.OpenId.Core

Associated Types

type Rep OpenIdState :: Type -> Type

Methods

from :: OpenIdState -> Rep OpenIdState x

to :: Rep OpenIdState x -> OpenIdState

SafeCopy OpenIdState

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

IsAcidic OpenIdState

Defined in Happstack.Authenticate.OpenId.Core

Methods

acidEvents :: [Event OpenIdState]

Migrate OpenIdState

Defined in Happstack.Authenticate.OpenId.Core

Associated Types

type MigrateFrom OpenIdState

Methods

migrate :: MigrateFrom OpenIdState -> OpenIdState

type Rep OpenIdState

Defined in Happstack.Authenticate.OpenId.Core

type Rep OpenIdState = D1 ('MetaData "OpenIdState" "Happstack.Authenticate.OpenId.Core" "happstack-authenticate-2.4.2-21TYVXxdvqkFERg6EPWUnd" '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

Defined in Happstack.Authenticate.OpenId.Core

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

SafeCopy IdentifierToUserId

Defined in Happstack.Authenticate.OpenId.Core

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

Defined in Happstack.Authenticate.OpenId.Core

Method IdentifierToUserId

Defined in Happstack.Authenticate.OpenId.Core

Associated Types

type MethodResult IdentifierToUserId

type MethodState IdentifierToUserId

Methods

methodTag :: IdentifierToUserId -> Tag

type MethodState IdentifierToUserId

Defined in Happstack.Authenticate.OpenId.Core

type MethodState IdentifierToUserId = OpenIdState

type MethodResult IdentifierToUserId

Defined in Happstack.Authenticate.OpenId.Core

type MethodResult IdentifierToUserId = Maybe UserId

data AssociateIdentifierWithUserId

Constructors

AssociateIdentifierWithUserId Identifier UserId

Instances

SafeCopy AssociateIdentifierWithUserId

Defined in Happstack.Authenticate.OpenId.Core

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

Defined in Happstack.Authenticate.OpenId.Core

Method AssociateIdentifierWithUserId

Defined in Happstack.Authenticate.OpenId.Core

Associated Types

type MethodResult AssociateIdentifierWithUserId

type MethodState AssociateIdentifierWithUserId

Methods

methodTag :: AssociateIdentifierWithUserId -> Tag

type MethodState AssociateIdentifierWithUserId

Defined in Happstack.Authenticate.OpenId.Core

type MethodState AssociateIdentifierWithUserId = OpenIdState

type MethodResult AssociateIdentifierWithUserId

Defined in Happstack.Authenticate.OpenId.Core

type MethodResult AssociateIdentifierWithUserId = ()

data GetOpenIdRealm

Constructors

GetOpenIdRealm

Instances

SafeCopy GetOpenIdRealm

Defined in Happstack.Authenticate.OpenId.Core

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

Defined in Happstack.Authenticate.OpenId.Core

Method GetOpenIdRealm

Defined in Happstack.Authenticate.OpenId.Core

Associated Types

type MethodResult GetOpenIdRealm

type MethodState GetOpenIdRealm

Methods

methodTag :: GetOpenIdRealm -> Tag

type MethodState GetOpenIdRealm

Defined in Happstack.Authenticate.OpenId.Core

type MethodState GetOpenIdRealm = OpenIdState

type MethodResult GetOpenIdRealm

Defined in Happstack.Authenticate.OpenId.Core

type MethodResult GetOpenIdRealm = Maybe Text

newtype SetOpenIdRealm

Constructors

SetOpenIdRealm (Maybe Text)

Instances

SafeCopy SetOpenIdRealm

Defined in Happstack.Authenticate.OpenId.Core

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

Defined in Happstack.Authenticate.OpenId.Core

Method SetOpenIdRealm

Defined in Happstack.Authenticate.OpenId.Core

Associated Types

type MethodResult SetOpenIdRealm

type MethodState SetOpenIdRealm

Methods

methodTag :: SetOpenIdRealm -> Tag

type MethodState SetOpenIdRealm

Defined in Happstack.Authenticate.OpenId.Core

type MethodState SetOpenIdRealm = OpenIdState

type MethodResult SetOpenIdRealm

Defined in Happstack.Authenticate.OpenId.Core

type MethodResult SetOpenIdRealm = ()

data SetRealmData

Constructors

SetRealmData

Fields

• _srOpenIdRealm :: Maybe Text

Instances

Eq SetRealmData

Defined in Happstack.Authenticate.OpenId.Core

Methods

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

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

Data SetRealmData

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

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

Defined in Happstack.Authenticate.OpenId.Core

Methods

readsPrec :: Int -> ReadS SetRealmData

readList :: ReadS [SetRealmData]

readPrec :: ReadPrec SetRealmData

readListPrec :: ReadPrec [SetRealmData]

Show SetRealmData

Defined in Happstack.Authenticate.OpenId.Core

Methods

showsPrec :: Int -> SetRealmData -> ShowS

show :: SetRealmData -> String

showList :: [SetRealmData] -> ShowS

Generic SetRealmData

Defined in Happstack.Authenticate.OpenId.Core

Associated Types

type Rep SetRealmData :: Type -> Type

Methods

from :: SetRealmData -> Rep SetRealmData x

to :: Rep SetRealmData x -> SetRealmData

ToJSON SetRealmData

Defined in Happstack.Authenticate.OpenId.Core

Methods

toJSON :: SetRealmData -> Value

toEncoding :: SetRealmData -> Encoding

toJSONList :: [SetRealmData] -> Value

toEncodingList :: [SetRealmData] -> Encoding

FromJSON SetRealmData

Defined in Happstack.Authenticate.OpenId.Core

Methods

parseJSON :: Value -> Parser SetRealmData

parseJSONList :: Value -> Parser [SetRealmData]

type Rep SetRealmData

Defined in Happstack.Authenticate.OpenId.Core

type Rep SetRealmData = D1 ('MetaData "SetRealmData" "Happstack.Authenticate.OpenId.Core" "happstack-authenticate-2.4.2-21TYVXxdvqkFERg6EPWUnd" 'False) (C1 ('MetaCons "SetRealmData" 'PrefixI 'True) (S1 ('MetaSel ('Just "_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