Erebos.Set

Documentation

data Set a

Instances

SharedType (Set ChatroomState)

Defined in Erebos.Chatroom

Methods

sharedTypeID :: proxy (Set ChatroomState) -> SharedTypeID

SharedType (Set Contact)

Defined in Erebos.Contact

Methods

sharedTypeID :: proxy (Set Contact) -> SharedTypeID

Mergeable a => Mergeable (Set a)

Defined in Erebos.Set

Associated Types

type Component (Set a)

Methods

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

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

Eq (Set a)

Defined in Erebos.Set

Methods

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

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

type Component (Set a)

Defined in Erebos.Set

type Component (Set a)

emptySet :: Set a

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

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

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

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