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
- 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
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
newtype AuthIdUserId Source
newtype AuthIdProfiles Source
data SetAuthIdUserId Source
newtype CreateNewProfile Source
data GetProfileState Source
getUserId :: (Alternative m, Happstack m) => AcidState AuthState -> AcidState ProfileState -> m (Maybe UserId)Source