Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
data ChannelRequestData Source #
ChannelRequest | |
|
Instances
Show ChannelRequestData Source # | |
Defined in Erebos.Channel showsPrec :: Int -> ChannelRequestData -> ShowS # show :: ChannelRequestData -> String # showList :: [ChannelRequestData] -> ShowS # | |
Storable ChannelRequestData Source # | |
Defined in Erebos.Channel store' :: ChannelRequestData -> Store Source # load' :: Load ChannelRequestData Source # store :: forall (c :: Type -> Type). StorageCompleteness c => Storage' c -> ChannelRequestData -> IO (Ref' c) Source # load :: Ref -> ChannelRequestData Source # |
type ChannelAccept = Signed ChannelAcceptData Source #
data ChannelAcceptData Source #
Instances
Storable ChannelAcceptData Source # | |
Defined in Erebos.Channel store' :: ChannelAcceptData -> Store Source # load' :: Load ChannelAcceptData Source # store :: forall (c :: Type -> Type). StorageCompleteness c => Storage' c -> ChannelAcceptData -> IO (Ref' c) Source # load :: Ref -> ChannelAcceptData Source # |
createChannelRequest :: (MonadStorage m, MonadIO m, MonadError String m) => UnifiedIdentity -> UnifiedIdentity -> m (Stored ChannelRequest) Source #
acceptChannelRequest :: (MonadStorage m, MonadIO m, MonadError String m) => UnifiedIdentity -> UnifiedIdentity -> Stored ChannelRequest -> m (Stored ChannelAccept, Channel) Source #
acceptedChannel :: (MonadIO m, MonadError String m) => UnifiedIdentity -> UnifiedIdentity -> Stored ChannelAccept -> m Channel Source #
channelEncrypt :: (ByteArray ba, MonadIO m, MonadError String m) => Channel -> ba -> m (ba, Word64) Source #
channelDecrypt :: (ByteArray ba, MonadIO m, MonadError String m) => Channel -> ba -> m (ba, Word64) Source #