Erebos.Set

Documentation

data Set a

Instances

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))]

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)

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