Safe Haskell	None
Language	Haskell2010

Clckwrks.ProfileData.Acid

Documentation

data ProfileDataState Source #

Constructors

ProfileDataState
Fields profileData :: IxSet ProfileData

Instances

Eq ProfileDataState Source #
Instance details Defined in Clckwrks.ProfileData.Acid Methods (==) :: ProfileDataState -> ProfileDataState -> Bool # (/=) :: ProfileDataState -> ProfileDataState -> Bool #
Data ProfileDataState Source #
Instance details Defined in Clckwrks.ProfileData.Acid Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ProfileDataState -> c ProfileDataState # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ProfileDataState # toConstr :: ProfileDataState -> Constr # dataTypeOf :: ProfileDataState -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ProfileDataState) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ProfileDataState) # gmapT :: (forall b. Data b => b -> b) -> ProfileDataState -> ProfileDataState # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ProfileDataState -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ProfileDataState -> r # gmapQ :: (forall d. Data d => d -> u) -> ProfileDataState -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ProfileDataState -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ProfileDataState -> m ProfileDataState # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ProfileDataState -> m ProfileDataState # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ProfileDataState -> m ProfileDataState #
Ord ProfileDataState Source #
Instance details Defined in Clckwrks.ProfileData.Acid Methods compare :: ProfileDataState -> ProfileDataState -> Ordering # (<) :: ProfileDataState -> ProfileDataState -> Bool # (<=) :: ProfileDataState -> ProfileDataState -> Bool # (>) :: ProfileDataState -> ProfileDataState -> Bool # (>=) :: ProfileDataState -> ProfileDataState -> Bool # max :: ProfileDataState -> ProfileDataState -> ProfileDataState # min :: ProfileDataState -> ProfileDataState -> ProfileDataState #
Read ProfileDataState Source #
Instance details Defined in Clckwrks.ProfileData.Acid Methods readsPrec :: Int -> ReadS ProfileDataState # readList :: ReadS [ProfileDataState] # readPrec :: ReadPrec ProfileDataState # readListPrec :: ReadPrec [ProfileDataState] #
Show ProfileDataState Source #
Instance details Defined in Clckwrks.ProfileData.Acid Methods showsPrec :: Int -> ProfileDataState -> ShowS # show :: ProfileDataState -> String # showList :: [ProfileDataState] -> ShowS #
IsAcidic ProfileDataState Source #
Instance details Defined in Clckwrks.ProfileData.Acid Methods acidEvents :: [Event ProfileDataState] #
SafeCopy ProfileDataState Source #
Instance details Defined in Clckwrks.ProfileData.Acid Methods version :: Version ProfileDataState # kind :: Kind ProfileDataState # getCopy :: Contained (Get ProfileDataState) # putCopy :: ProfileDataState -> Contained Put # internalConsistency :: Consistency ProfileDataState # objectProfile :: Profile ProfileDataState # errorTypeName :: Proxy ProfileDataState -> String #
(Functor m, Monad m) => GetAcidState (ClckT url m) ProfileDataState Source #
Instance details Defined in Clckwrks.Monad Methods getAcidState :: ClckT url m (AcidState ProfileDataState) Source #

initialProfileDataState :: ProfileDataState Source #

data ProfileDataError Source #

Constructors

UsernameAlreadyInUse

Instances

Eq ProfileDataError Source #
Instance details Defined in Clckwrks.ProfileData.Acid Methods (==) :: ProfileDataError -> ProfileDataError -> Bool # (/=) :: ProfileDataError -> ProfileDataError -> Bool #
Data ProfileDataError Source #
Instance details Defined in Clckwrks.ProfileData.Acid Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ProfileDataError -> c ProfileDataError # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ProfileDataError # toConstr :: ProfileDataError -> Constr # dataTypeOf :: ProfileDataError -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ProfileDataError) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ProfileDataError) # gmapT :: (forall b. Data b => b -> b) -> ProfileDataError -> ProfileDataError # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ProfileDataError -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ProfileDataError -> r # gmapQ :: (forall d. Data d => d -> u) -> ProfileDataError -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ProfileDataError -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ProfileDataError -> m ProfileDataError # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ProfileDataError -> m ProfileDataError # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ProfileDataError -> m ProfileDataError #
Ord ProfileDataError Source #
Instance details Defined in Clckwrks.ProfileData.Acid Methods compare :: ProfileDataError -> ProfileDataError -> Ordering # (<) :: ProfileDataError -> ProfileDataError -> Bool # (<=) :: ProfileDataError -> ProfileDataError -> Bool # (>) :: ProfileDataError -> ProfileDataError -> Bool # (>=) :: ProfileDataError -> ProfileDataError -> Bool # max :: ProfileDataError -> ProfileDataError -> ProfileDataError # min :: ProfileDataError -> ProfileDataError -> ProfileDataError #
Read ProfileDataError Source #
Instance details Defined in Clckwrks.ProfileData.Acid Methods readsPrec :: Int -> ReadS ProfileDataError # readList :: ReadS [ProfileDataError] # readPrec :: ReadPrec ProfileDataError # readListPrec :: ReadPrec [ProfileDataError] #
Show ProfileDataError Source #
Instance details Defined in Clckwrks.ProfileData.Acid Methods showsPrec :: Int -> ProfileDataError -> ShowS # show :: ProfileDataError -> String # showList :: [ProfileDataError] -> ShowS #
SafeCopy ProfileDataError Source #
Instance details Defined in Clckwrks.ProfileData.Acid Methods version :: Version ProfileDataError # kind :: Kind ProfileDataError # getCopy :: Contained (Get ProfileDataError) # putCopy :: ProfileDataError -> Contained Put # internalConsistency :: Consistency ProfileDataError # objectProfile :: Profile ProfileDataError # errorTypeName :: Proxy ProfileDataError -> String #

profileDataErrorStr :: ProfileDataError -> String Source #

newtype SetProfileData Source #

Constructors

SetProfileData ProfileData

Instances

UpdateEvent SetProfileData Source #
Instance details Defined in Clckwrks.ProfileData.Acid
Method SetProfileData Source #
Instance details Defined in Clckwrks.ProfileData.Acid Associated Types type MethodResult SetProfileData :: Type # type MethodState SetProfileData :: Type # Methods methodTag :: SetProfileData -> Tag #
SafeCopy SetProfileData Source #
Instance details Defined in Clckwrks.ProfileData.Acid Methods version :: Version SetProfileData # kind :: Kind SetProfileData # getCopy :: Contained (Get SetProfileData) # putCopy :: SetProfileData -> Contained Put # internalConsistency :: Consistency SetProfileData # objectProfile :: Profile SetProfileData # errorTypeName :: Proxy SetProfileData -> String #
type MethodState SetProfileData Source #
Instance details Defined in Clckwrks.ProfileData.Acid type MethodState SetProfileData = ProfileDataState
type MethodResult SetProfileData Source #
Instance details Defined in Clckwrks.ProfileData.Acid type MethodResult SetProfileData = Maybe ProfileDataError

newtype GetProfileData Source #

Constructors

GetProfileData UserId

Instances

QueryEvent GetProfileData Source #
Instance details Defined in Clckwrks.ProfileData.Acid
Method GetProfileData Source #
Instance details Defined in Clckwrks.ProfileData.Acid Associated Types type MethodResult GetProfileData :: Type # type MethodState GetProfileData :: Type # Methods methodTag :: GetProfileData -> Tag #
SafeCopy GetProfileData Source #
Instance details Defined in Clckwrks.ProfileData.Acid Methods version :: Version GetProfileData # kind :: Kind GetProfileData # getCopy :: Contained (Get GetProfileData) # putCopy :: GetProfileData -> Contained Put # internalConsistency :: Consistency GetProfileData # objectProfile :: Profile GetProfileData # errorTypeName :: Proxy GetProfileData -> String #
type MethodState GetProfileData Source #
Instance details Defined in Clckwrks.ProfileData.Acid type MethodState GetProfileData = ProfileDataState
type MethodResult GetProfileData Source #
Instance details Defined in Clckwrks.ProfileData.Acid type MethodResult GetProfileData = ProfileData

newtype NewProfileData Source #

Constructors

NewProfileData ProfileData

Instances

UpdateEvent NewProfileData Source #
Instance details Defined in Clckwrks.ProfileData.Acid
Method NewProfileData Source #
Instance details Defined in Clckwrks.ProfileData.Acid Associated Types type MethodResult NewProfileData :: Type # type MethodState NewProfileData :: Type # Methods methodTag :: NewProfileData -> Tag #
SafeCopy NewProfileData Source #
Instance details Defined in Clckwrks.ProfileData.Acid Methods version :: Version NewProfileData # kind :: Kind NewProfileData # getCopy :: Contained (Get NewProfileData) # putCopy :: NewProfileData -> Contained Put # internalConsistency :: Consistency NewProfileData # objectProfile :: Profile NewProfileData # errorTypeName :: Proxy NewProfileData -> String #
type MethodState NewProfileData Source #
Instance details Defined in Clckwrks.ProfileData.Acid type MethodState NewProfileData = ProfileDataState
type MethodResult NewProfileData Source #
Instance details Defined in Clckwrks.ProfileData.Acid type MethodResult NewProfileData = (ProfileData, Bool)

newtype GetUsername Source #

Constructors

GetUsername UserId

Instances

QueryEvent GetUsername Source #
Instance details Defined in Clckwrks.ProfileData.Acid
Method GetUsername Source #
Instance details Defined in Clckwrks.ProfileData.Acid Associated Types type MethodResult GetUsername :: Type # type MethodState GetUsername :: Type # Methods methodTag :: GetUsername -> Tag #
SafeCopy GetUsername Source #
Instance details Defined in Clckwrks.ProfileData.Acid Methods version :: Version GetUsername # kind :: Kind GetUsername # getCopy :: Contained (Get GetUsername) # putCopy :: GetUsername -> Contained Put # internalConsistency :: Consistency GetUsername # objectProfile :: Profile GetUsername # errorTypeName :: Proxy GetUsername -> String #
type MethodState GetUsername Source #
Instance details Defined in Clckwrks.ProfileData.Acid type MethodState GetUsername = ProfileDataState
type MethodResult GetUsername Source #
Instance details Defined in Clckwrks.ProfileData.Acid type MethodResult GetUsername = Text

data GetUserIdUsernames Source #

Constructors

GetUserIdUsernames

Instances

QueryEvent GetUserIdUsernames Source #
Instance details Defined in Clckwrks.ProfileData.Acid
Method GetUserIdUsernames Source #
Instance details Defined in Clckwrks.ProfileData.Acid Associated Types type MethodResult GetUserIdUsernames :: Type # type MethodState GetUserIdUsernames :: Type # Methods methodTag :: GetUserIdUsernames -> Tag #
SafeCopy GetUserIdUsernames Source #
Instance details Defined in Clckwrks.ProfileData.Acid Methods version :: Version GetUserIdUsernames # kind :: Kind GetUserIdUsernames # getCopy :: Contained (Get GetUserIdUsernames) # putCopy :: GetUserIdUsernames -> Contained Put # internalConsistency :: Consistency GetUserIdUsernames # objectProfile :: Profile GetUserIdUsernames # errorTypeName :: Proxy GetUserIdUsernames -> String #
type MethodState GetUserIdUsernames Source #
Instance details Defined in Clckwrks.ProfileData.Acid type MethodState GetUserIdUsernames = ProfileDataState
type MethodResult GetUserIdUsernames Source #
Instance details Defined in Clckwrks.ProfileData.Acid type MethodResult GetUserIdUsernames = [(UserId, Text)]

data HasRole Source #

Constructors

HasRole UserId (Set Role)

Instances

QueryEvent HasRole Source #
Instance details Defined in Clckwrks.ProfileData.Acid
Method HasRole Source #
Instance details Defined in Clckwrks.ProfileData.Acid Associated Types type MethodResult HasRole :: Type # type MethodState HasRole :: Type # Methods methodTag :: HasRole -> Tag #
SafeCopy HasRole Source #
Instance details Defined in Clckwrks.ProfileData.Acid Methods version :: Version HasRole # kind :: Kind HasRole # getCopy :: Contained (Get HasRole) # putCopy :: HasRole -> Contained Put # internalConsistency :: Consistency HasRole # objectProfile :: Profile HasRole # errorTypeName :: Proxy HasRole -> String #
type MethodState HasRole Source #
Instance details Defined in Clckwrks.ProfileData.Acid type MethodState HasRole = ProfileDataState
type MethodResult HasRole Source #
Instance details Defined in Clckwrks.ProfileData.Acid type MethodResult HasRole = Bool

newtype GetRoles Source #

Constructors

GetRoles UserId

Instances

QueryEvent GetRoles Source #
Instance details Defined in Clckwrks.ProfileData.Acid
Method GetRoles Source #
Instance details Defined in Clckwrks.ProfileData.Acid Associated Types type MethodResult GetRoles :: Type # type MethodState GetRoles :: Type # Methods methodTag :: GetRoles -> Tag #
SafeCopy GetRoles Source #
Instance details Defined in Clckwrks.ProfileData.Acid Methods version :: Version GetRoles # kind :: Kind GetRoles # getCopy :: Contained (Get GetRoles) # putCopy :: GetRoles -> Contained Put # internalConsistency :: Consistency GetRoles # objectProfile :: Profile GetRoles # errorTypeName :: Proxy GetRoles -> String #
type MethodState GetRoles Source #
Instance details Defined in Clckwrks.ProfileData.Acid type MethodState GetRoles = ProfileDataState
type MethodResult GetRoles Source #
Instance details Defined in Clckwrks.ProfileData.Acid type MethodResult GetRoles = Set Role

data AddRole Source #

Constructors

AddRole UserId Role

Instances

UpdateEvent AddRole Source #
Instance details Defined in Clckwrks.ProfileData.Acid
Method AddRole Source #
Instance details Defined in Clckwrks.ProfileData.Acid Associated Types type MethodResult AddRole :: Type # type MethodState AddRole :: Type # Methods methodTag :: AddRole -> Tag #
SafeCopy AddRole Source #
Instance details Defined in Clckwrks.ProfileData.Acid Methods version :: Version AddRole # kind :: Kind AddRole # getCopy :: Contained (Get AddRole) # putCopy :: AddRole -> Contained Put # internalConsistency :: Consistency AddRole # objectProfile :: Profile AddRole # errorTypeName :: Proxy AddRole -> String #
type MethodState AddRole Source #
Instance details Defined in Clckwrks.ProfileData.Acid type MethodState AddRole = ProfileDataState
type MethodResult AddRole Source #
Instance details Defined in Clckwrks.ProfileData.Acid type MethodResult AddRole = ()

data RemoveRole Source #

Constructors

RemoveRole UserId Role

Instances

UpdateEvent RemoveRole Source #
Instance details Defined in Clckwrks.ProfileData.Acid
Method RemoveRole Source #
Instance details Defined in Clckwrks.ProfileData.Acid Associated Types type MethodResult RemoveRole :: Type # type MethodState RemoveRole :: Type # Methods methodTag :: RemoveRole -> Tag #
SafeCopy RemoveRole Source #
Instance details Defined in Clckwrks.ProfileData.Acid Methods version :: Version RemoveRole # kind :: Kind RemoveRole # getCopy :: Contained (Get RemoveRole) # putCopy :: RemoveRole -> Contained Put # internalConsistency :: Consistency RemoveRole # objectProfile :: Profile RemoveRole # errorTypeName :: Proxy RemoveRole -> String #
type MethodState RemoveRole Source #
Instance details Defined in Clckwrks.ProfileData.Acid type MethodState RemoveRole = ProfileDataState
type MethodResult RemoveRole Source #
Instance details Defined in Clckwrks.ProfileData.Acid type MethodResult RemoveRole = ()

newtype UsernameForId Source #

Constructors

UsernameForId UserId

Instances

QueryEvent UsernameForId Source #
Instance details Defined in Clckwrks.ProfileData.Acid
Method UsernameForId Source #
Instance details Defined in Clckwrks.ProfileData.Acid Associated Types type MethodResult UsernameForId :: Type # type MethodState UsernameForId :: Type # Methods methodTag :: UsernameForId -> Tag #
SafeCopy UsernameForId Source #
Instance details Defined in Clckwrks.ProfileData.Acid Methods version :: Version UsernameForId # kind :: Kind UsernameForId # getCopy :: Contained (Get UsernameForId) # putCopy :: UsernameForId -> Contained Put # internalConsistency :: Consistency UsernameForId # objectProfile :: Profile UsernameForId # errorTypeName :: Proxy UsernameForId -> String #
type MethodState UsernameForId Source #
Instance details Defined in Clckwrks.ProfileData.Acid type MethodState UsernameForId = ProfileDataState
type MethodResult UsernameForId Source #
Instance details Defined in Clckwrks.ProfileData.Acid type MethodResult UsernameForId = Maybe Text