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

Erebos.Contact

Documentation

data Contact Source #

Instances

Instances details
Mergeable Contact Source # 
Instance details

Defined in Erebos.Contact

Associated Types

type Component Contact Source #

Methods

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

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

SharedType (Set Contact) Source # 
Instance details

Defined in Erebos.Contact

Methods

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

type Component Contact Source # 
Instance details

Defined in Erebos.Contact

type Component Contact

contactIdentity :: Contact -> Maybe ComposedIdentity Source #

contactCustomName :: Contact -> Maybe Text Source #

contactName :: Contact -> Text Source #

contactSetName :: MonadHead LocalState m => Contact -> Text -> Set Contact -> m (Set Contact) Source #

type ContactService = PairingService ContactAccepted Source #

contactRequest :: (MonadIO m, MonadError String m) => Peer -> m () Source #

contactAccept :: (MonadIO m, MonadError String m) => Peer -> m () Source #

contactReject :: (MonadIO m, MonadError String m) => Peer -> m () Source #