Erebos.Channel

Documentation

data Channel

type ChannelRequest = Signed ChannelRequestData

data ChannelRequestData

Constructors

ChannelRequest

Fields

• crPeers :: [Stored (Signed IdentityData)]
• crKey :: Stored PublicKexKey

Instances

Show ChannelRequestData

Defined in Erebos.Channel

Methods

showsPrec :: Int -> ChannelRequestData -> ShowS

show :: ChannelRequestData -> String

showList :: [ChannelRequestData] -> ShowS

Storable ChannelRequestData

Defined in Erebos.Channel

Methods

store' :: ChannelRequestData -> Store

load' :: Load ChannelRequestData

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

load :: Ref -> ChannelRequestData

type ChannelAccept = Signed ChannelAcceptData

data ChannelAcceptData

Constructors

ChannelAccept

Fields

• caRequest :: Stored ChannelRequest
• caKey :: Stored PublicKexKey

Instances

Storable ChannelAcceptData

Defined in Erebos.Channel

Methods

store' :: ChannelAcceptData -> Store

load' :: Load ChannelAcceptData

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

load :: Ref -> ChannelAcceptData

createChannelRequest :: (MonadStorage m, MonadIO m, MonadError String m) => UnifiedIdentity -> UnifiedIdentity -> m (Stored ChannelRequest)

acceptChannelRequest :: (MonadStorage m, MonadIO m, MonadError String m) => UnifiedIdentity -> UnifiedIdentity -> Stored ChannelRequest -> m (Stored ChannelAccept, Channel)

acceptedChannel :: (MonadIO m, MonadError String m) => UnifiedIdentity -> UnifiedIdentity -> Stored ChannelAccept -> m Channel

channelEncrypt :: (ByteArray ba, MonadIO m, MonadError String m) => Channel -> ba -> m (ba, Word64)

channelDecrypt :: (ByteArray ba, MonadIO m, MonadError String m) => Channel -> ba -> m (ba, Word64)