Erebos.Pairing

Documentation

data PairingService a

Constructors

PairingRequest (Stored (Signed IdentityData)) (Stored (Signed IdentityData)) RefDigest

PairingResponse Bytes

PairingRequestNonce Bytes

PairingAccept a

PairingReject

Instances

PairingResult a => Service (PairingService a)

Defined in Erebos.Pairing

Associated Types

type ServiceAttributes (PairingService a) = (attr :: Type)

type ServiceState (PairingService a)

type ServiceGlobalState (PairingService a)

Methods

serviceID :: proxy (PairingService a) -> ServiceID

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

serviceNewPeer :: ServiceHandler (PairingService a) ()

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

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

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

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

Storable a => Storable (PairingService a)

Defined in Erebos.Pairing

Methods

store' :: PairingService a -> Store

load' :: Load (PairingService a)

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

load :: Ref -> PairingService a

type ServiceAttributes (PairingService a)

Defined in Erebos.Pairing

type ServiceAttributes (PairingService a) = PairingAttributes a

type ServiceGlobalState (PairingService a)

Defined in Erebos.Pairing

type ServiceGlobalState (PairingService a) = ()

type ServiceState (PairingService a)

Defined in Erebos.Pairing

type ServiceState (PairingService a) = PairingState a

data PairingState a

Constructors

NoPairing

OurRequest UnifiedIdentity UnifiedIdentity Bytes

OurRequestConfirm (Maybe (PairingVerifiedResult a))

OurRequestReady

PeerRequest UnifiedIdentity UnifiedIdentity Bytes RefDigest

PeerRequestConfirm

PairingDone

data PairingAttributes a

Constructors

PairingAttributes

Fields

• pairingHookRequest :: ServiceHandler (PairingService a) ()
• pairingHookResponse :: String -> ServiceHandler (PairingService a) ()
• pairingHookRequestNonce :: String -> ServiceHandler (PairingService a) ()
• pairingHookRequestNonceFailed :: ServiceHandler (PairingService a) ()
• pairingHookConfirmedResponse :: ServiceHandler (PairingService a) ()
• pairingHookConfirmedRequest :: ServiceHandler (PairingService a) ()
• pairingHookAcceptedResponse :: ServiceHandler (PairingService a) ()
• pairingHookAcceptedRequest :: ServiceHandler (PairingService a) ()
• pairingHookVerifyFailed :: ServiceHandler (PairingService a) ()
• pairingHookRejected :: ServiceHandler (PairingService a) ()
• pairingHookFailed :: PairingFailureReason a -> ServiceHandler (PairingService a) ()

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

Associated Types

type PairingVerifiedResult a :: Type

type PairingVerifiedResult a = a

Methods

pairingServiceID :: proxy a -> ServiceID

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

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

pairingFinalizeResponse :: ServiceHandler (PairingService a) a

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

data PairingFailureReason a

Constructors

PairingUserRejected

PairingUnexpectedMessage (PairingState a) (PairingService a)

PairingFailedOther String

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

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

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