Safe Haskell | Safe-Inferred |
---|---|
Language | GHC2021 |
Documentation
data PropertyStore m a where Source #
InsertProperty :: UserId -> PropertyKey -> RawPropertyValue -> PropertyStore m () | |
LookupProperty :: UserId -> PropertyKey -> PropertyStore m (Maybe RawPropertyValue) | |
CountProperties :: UserId -> PropertyStore m Int | |
DeleteProperty :: UserId -> PropertyKey -> PropertyStore m () | |
ClearProperties :: UserId -> PropertyStore m () | |
GetPropertyKeys :: UserId -> PropertyStore m [PropertyKey] | |
GetAllProperties :: UserId -> PropertyStore m [(PropertyKey, RawPropertyValue)] |
getAllProperties :: forall r. Member PropertyStore r => UserId -> Sem r [(PropertyKey, RawPropertyValue)] Source #
getPropertyKeys :: forall r. Member PropertyStore r => UserId -> Sem r [PropertyKey] Source #
clearProperties :: forall r. Member PropertyStore r => UserId -> Sem r () Source #
deleteProperty :: forall r. Member PropertyStore r => UserId -> PropertyKey -> Sem r () Source #
countProperties :: forall r. Member PropertyStore r => UserId -> Sem r Int Source #
lookupProperty :: forall r. Member PropertyStore r => UserId -> PropertyKey -> Sem r (Maybe RawPropertyValue) Source #
insertProperty :: forall r. Member PropertyStore r => UserId -> PropertyKey -> RawPropertyValue -> Sem r () Source #