erebos-0.1.9: Decentralized messaging and synchronization
Safe HaskellNone
LanguageHaskell2010

Erebos.Pairing

Documentation

data PairingService a Source #

Constructors

PairingRequest (Stored (Signed IdentityData)) (Stored (Signed IdentityData)) RefDigest 
PairingResponse Bytes 
PairingRequestNonce Bytes 
PairingAccept a 
PairingReject 

Instances

Instances details
PairingResult a => Service (PairingService a) Source # 
Instance details

Defined in Erebos.Pairing

Associated Types

type ServiceAttributes (PairingService a) 
Instance details

Defined in Erebos.Pairing

type ServiceAttributes (PairingService a) = PairingAttributes a
type ServiceState (PairingService a) 
Instance details

Defined in Erebos.Pairing

type ServiceState (PairingService a) = PairingState a
type ServiceGlobalState (PairingService a) 
Instance details

Defined in Erebos.Pairing

type ServiceGlobalState (PairingService a) = ()

Methods

serviceID :: proxy (PairingService a) -> ServiceID Source #

serviceHandler :: Stored (PairingService a) -> ServiceHandler (PairingService a) () Source #

serviceNewPeer :: ServiceHandler (PairingService a) () Source #

defaultServiceAttributes :: proxy (PairingService a) -> ServiceAttributes (PairingService a) Source #

emptyServiceState :: proxy (PairingService a) -> ServiceState (PairingService a) Source #

emptyServiceGlobalState :: proxy (PairingService a) -> ServiceGlobalState (PairingService a) Source #

serviceStorageWatchers :: proxy (PairingService a) -> [SomeStorageWatcher (PairingService a)] Source #

serviceStopServer :: proxy (PairingService a) -> Server -> ServiceGlobalState (PairingService a) -> [(Peer, ServiceState (PairingService a))] -> IO () Source #

Storable a => Storable (PairingService a) Source # 
Instance details

Defined in Erebos.Pairing

Methods

store' :: PairingService a -> Store Source #

load' :: Load (PairingService a) Source #

store :: forall (c :: Type -> Type). StorageCompleteness c => Storage' c -> PairingService a -> IO (Ref' c) Source #

load :: Ref -> PairingService a Source #

type ServiceAttributes (PairingService a) Source # 
Instance details

Defined in Erebos.Pairing

type ServiceAttributes (PairingService a) = PairingAttributes a
type ServiceGlobalState (PairingService a) Source # 
Instance details

Defined in Erebos.Pairing

type ServiceGlobalState (PairingService a) = ()
type ServiceState (PairingService a) Source # 
Instance details

Defined in Erebos.Pairing

type ServiceState (PairingService a) = PairingState a

data PairingState a Source #

Constructors

NoPairing 
OurRequest UnifiedIdentity UnifiedIdentity Bytes 
OurRequestConfirm (Maybe (PairingVerifiedResult a)) 
OurRequestReady 
PeerRequest UnifiedIdentity UnifiedIdentity Bytes RefDigest 
PeerRequestConfirm 
PairingDone 

data PairingAttributes a Source #

Constructors

PairingAttributes 

Fields

class (Typeable a, Storable a) => PairingResult a where Source #

Associated Types

type PairingVerifiedResult a Source #

type PairingVerifiedResult a = a

Methods

pairingServiceID :: proxy a -> ServiceID Source #

pairingVerifyResult :: a -> ServiceHandler (PairingService a) (Maybe (PairingVerifiedResult a)) Source #

pairingFinalizeRequest :: PairingVerifiedResult a -> ServiceHandler (PairingService a) () Source #

pairingFinalizeResponse :: ServiceHandler (PairingService a) a Source #

defaultPairingAttributes :: proxy (PairingService a) -> PairingAttributes a Source #

data PairingFailureReason a Source #

Constructors

PairingUserRejected 
PairingUnexpectedMessage (PairingState a) (PairingService a) 
PairingFailedOther String 

pairingRequest :: (PairingResult a, MonadIO m, MonadError String m) => proxy a -> Peer -> m () Source #

pairingAccept :: (PairingResult a, MonadIO m, MonadError String m) => proxy a -> Peer -> m () Source #

pairingReject :: (PairingResult a, MonadIO m, MonadError String m) => proxy a -> Peer -> m () Source #