Safe Haskell | None |
---|
- newtype UserId = UserId {}
- succUserId :: UserId -> UserId
- data Profile = Profile {}
- type Profiles = IxSet Profile
- data ProfileState = ProfileState {}
- 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
- data AuthIdUserId = AuthIdUserId AuthId
- data AuthIdProfiles = AuthIdProfiles AuthId
- data SetAuthIdUserId = SetAuthIdUserId AuthId UserId
- data 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
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
setAuthIdUserId :: AuthId -> UserId -> Update ProfileState ()Source
data AuthIdUserId Source
data AuthIdProfiles Source
data SetAuthIdUserId Source
data CreateNewProfile Source
data GetProfileState Source
getUserId :: (Alternative m, Happstack m) => AcidState AuthState -> AcidState ProfileState -> m (Maybe UserId)Source