Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
data ChatroomData Source #
Instances
Storable ChatroomData Source # | |
Defined in Erebos.Chatroom store' :: ChatroomData -> Store Source # load' :: Load ChatroomData Source # store :: forall (c :: Type -> Type). StorageCompleteness c => Storage' c -> ChatroomData -> IO (Ref' c) Source # load :: Ref -> ChatroomData Source # |
validateChatroom :: [Stored (Signed ChatroomData)] -> Except String Chatroom Source #
data ChatroomState Source #
Instances
Mergeable ChatroomState Source # | |
Defined in Erebos.Chatroom type Component ChatroomState Source # mergeSorted :: [Stored (Component ChatroomState)] -> ChatroomState Source # toComponents :: ChatroomState -> [Stored (Component ChatroomState)] Source # | |
SharedType (Set ChatroomState) Source # | |
type Component ChatroomState Source # | |
Defined in Erebos.Chatroom |
data ChatroomStateData Source #
Instances
Storable ChatroomStateData Source # | |
Defined in Erebos.Chatroom store' :: ChatroomStateData -> Store Source # load' :: Load ChatroomStateData Source # store :: forall (c :: Type -> Type). StorageCompleteness c => Storage' c -> ChatroomStateData -> IO (Ref' c) Source # load :: Ref -> ChatroomStateData Source # |
createChatroom :: (MonadStorage m, MonadHead LocalState m, MonadIO m, MonadError String m) => Maybe Text -> Maybe Text -> m ChatroomState Source #
updateChatroomByStateData :: (MonadStorage m, MonadHead LocalState m, MonadError String m) => Stored ChatroomStateData -> Maybe Text -> Maybe Text -> m (Maybe ChatroomState) Source #
listChatrooms :: MonadHead LocalState m => m [ChatroomState] Source #
findChatroomByRoomData :: MonadHead LocalState m => Stored (Signed ChatroomData) -> m (Maybe ChatroomState) Source #
findChatroomByStateData :: MonadHead LocalState m => Stored ChatroomStateData -> m (Maybe ChatroomState) Source #
data ChatroomSetChange Source #
watchChatrooms :: MonadIO m => Head LocalState -> (Set ChatroomState -> Maybe [ChatroomSetChange] -> IO ()) -> m WatchedHead Source #
data ChatroomService Source #