Safe Haskell | None |
---|
- newtype UserId = UserId {
- unUserId :: Integer
- succUserId :: UserId -> UserId
- data Profile = Profile {}
- type Profiles = IxSet Profile
- data ProfileState = ProfileState {
- profiles :: Profiles
- authUserMap :: Map AuthId UserId
- nextUserId :: UserId
- initialProfileState :: ProfileState
- getProfileState :: Query ProfileState ProfileState
- genUserId :: Update ProfileState UserId
- authIdUserId :: AuthId -> Query ProfileState (Maybe UserId)
- authIdProfiles :: AuthId -> Query ProfileState (Set Profile)
- setAuthIdUserId :: AuthId -> UserId -> Update ProfileState ()
- createNewProfile :: Set AuthId -> Update ProfileState UserId
- newtype AuthIdUserId = AuthIdUserId AuthId
- newtype AuthIdProfiles = AuthIdProfiles AuthId
- data SetAuthIdUserId = SetAuthIdUserId AuthId UserId
- newtype CreateNewProfile = CreateNewProfile (Set AuthId)
- data GenUserId = GenUserId
- data GetProfileState = GetProfileState
- getUserId :: (Alternative m, Happstack m) => AcidState AuthState -> AcidState ProfileState -> m (Maybe UserId)
Documentation
succUserId :: UserId -> UserIdSource
data ProfileState Source
ProfileState | |
|
Eq ProfileState | |
Data ProfileState | |
Ord ProfileState | |
Read ProfileState | |
Show ProfileState | |
Typeable ProfileState | |
IsAcidic ProfileState | |
SafeCopy ProfileState |
initialProfileState :: ProfileStateSource
a reasonable initial ProfileState
getProfileState :: Query ProfileState ProfileStateSource
Retrieve the entire ProfileState Warning, this is an admin level function?
authIdUserId :: AuthId -> Query ProfileState (Maybe UserId)Source
authIdProfiles :: AuthId -> Query ProfileState (Set Profile)Source
setAuthIdUserId :: AuthId -> UserId -> Update ProfileState ()Source
createNewProfile :: Set AuthId -> Update ProfileState UserIdSource
newtype AuthIdUserId Source
newtype AuthIdProfiles Source
data SetAuthIdUserId Source
newtype CreateNewProfile Source
CreateNewProfile (Set AuthId) |
data GetProfileState Source