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 #
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 #
IsAcidic ProfileDataState Source #
Instance details Defined in Clckwrks.ProfileData.Acid Methods acidEvents :: [Event ProfileDataState] #
(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 #

newtype SetProfileData Source #

Constructors

SetProfileData ProfileData

Instances

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 #
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 #
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 = ()

newtype GetProfileData Source #

Constructors

GetProfileData UserId

Instances

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 #
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 #
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

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 #
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 #
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)

data HasRole Source #

Constructors

HasRole UserId (Set Role)

Instances

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 #
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 #
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

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 #
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 #
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

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 #
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 #
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

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 #
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 #
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 = ()