erebos-0.1.8.1: Decentralized messaging and synchronization
Safe HaskellSafe-Inferred
LanguageHaskell2010

Erebos.Set

Documentation

data Set a Source #

Instances

Instances details
SharedType (Set ChatroomState) Source # 
Instance details

Defined in Erebos.Chatroom

Methods

sharedTypeID :: proxy (Set ChatroomState) -> SharedTypeID Source #

SharedType (Set Contact) Source # 
Instance details

Defined in Erebos.Contact

Methods

sharedTypeID :: proxy (Set Contact) -> SharedTypeID Source #

Mergeable a => Mergeable (Set a) Source # 
Instance details

Defined in Erebos.Set

Associated Types

type Component (Set a) Source #

Methods

mergeSorted :: [Stored (Component (Set a))] -> Set a Source #

toComponents :: Set a -> [Stored (Component (Set a))] Source #

Eq (Set a) Source # 
Instance details

Defined in Erebos.Set

Methods

(==) :: Set a -> Set a -> Bool #

(/=) :: Set a -> Set a -> Bool #

type Component (Set a) Source # 
Instance details

Defined in Erebos.Set

type Component (Set a)

emptySet :: Set a Source #

loadSet :: Mergeable a => Ref -> Set a Source #

storeSetAdd :: (Mergeable a, MonadIO m) => Storage -> a -> Set a -> m (Set a) Source #

storeSetAddComponent :: (Mergeable a, MonadStorage m, MonadIO m) => Stored (Component a) -> Set a -> m (Set a) Source #

fromSetBy :: forall a. Mergeable a => (a -> a -> Ordering) -> Set a -> [a] Source #