Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
data PairingService a Source #
PairingRequest (Stored (Signed IdentityData)) (Stored (Signed IdentityData)) RefDigest | |
PairingResponse Bytes | |
PairingRequestNonce Bytes | |
PairingAccept a | |
PairingReject |
Instances
data PairingState a Source #
data PairingAttributes a Source #
PairingAttributes | |
|
class (Typeable a, Storable a) => PairingResult a where Source #
type PairingVerifiedResult a :: Type Source #
type PairingVerifiedResult a = a
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 #
pairingRequest :: forall a m proxy. (PairingResult a, MonadIO m, MonadError String m) => proxy a -> Peer -> m () Source #
pairingAccept :: forall a m proxy. (PairingResult a, MonadIO m, MonadError String m) => proxy a -> Peer -> m () Source #
pairingReject :: forall a m proxy. (PairingResult a, MonadIO m, MonadError String m) => proxy a -> Peer -> m () Source #