Copyright	(c) axionbuster 2025
License	BSD-3-Clause
Safe Haskell	None
Language	GHC2021

M.IO.Internal.Datagram

Contents

Types
Streams

Description

Internal module for handling low-level packet parsing and building, including uninterpreted packets and stream transformations.

Synopsis

data Uninterpreted = Uninterpreted {
- pkcode :: !Word8
- pkdata :: !ByteString
}
data EOF = EOF
makepacketstreami :: TVar Int -> InputStream ByteString -> IO (InputStream Uninterpreted)
makepacketstreamo :: TVar Int -> OutputStream ByteString -> IO (OutputStream Uninterpreted)
makedecrypting :: TVar (ByteString -> IO ByteString) -> InputStream ByteString -> IO (InputStream ByteString)
makeencrypting :: TVar (ByteString -> IO ByteString) -> OutputStream ByteString -> IO (OutputStream ByteString)

Types

data Uninterpreted Source #

uninterpreted packet

Constructors

Uninterpreted
Fields pkcode :: !Word8 pkdata :: !ByteString

Instances

Instances details

Data Uninterpreted Source #

Instance details

Defined in M.IO.Internal.Datagram

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Uninterpreted -> c Uninterpreted #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Uninterpreted #

toConstr :: Uninterpreted -> Constr #

dataTypeOf :: Uninterpreted -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Uninterpreted) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Uninterpreted) #

gmapT :: (forall b. Data b => b -> b) -> Uninterpreted -> Uninterpreted #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Uninterpreted -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Uninterpreted -> r #

gmapQ :: (forall d. Data d => d -> u) -> Uninterpreted -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Uninterpreted -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Uninterpreted -> m Uninterpreted #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Uninterpreted -> m Uninterpreted #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Uninterpreted -> m Uninterpreted #

Generic Uninterpreted Source #

Instance details

Defined in M.IO.Internal.Datagram

Associated Types

type Rep Uninterpreted

Instance details

Defined in M.IO.Internal.Datagram

type Rep Uninterpreted = D1 ('MetaData "Uninterpreted" "M.IO.Internal.Datagram" "mmm-0.1.0.0-oCDsNp3EBL2JzoyA6cTai" 'False) (C1 ('MetaCons "Uninterpreted" 'PrefixI 'True) (S1 ('MetaSel ('Just "pkcode") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word8) :*: S1 ('MetaSel ('Just "pkdata") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ByteString)))

Methods

from :: Uninterpreted -> Rep Uninterpreted x #

to :: Rep Uninterpreted x -> Uninterpreted #

Show Uninterpreted Source #

Instance details

Defined in M.IO.Internal.Datagram

Methods

showsPrec :: Int -> Uninterpreted -> ShowS #

show :: Uninterpreted -> String #

showList :: [Uninterpreted] -> ShowS #

NFData Uninterpreted Source #

Instance details

Defined in M.IO.Internal.Datagram

Methods

rnf :: Uninterpreted -> () #

Eq Uninterpreted Source #

Instance details

Defined in M.IO.Internal.Datagram

Methods

(==) :: Uninterpreted -> Uninterpreted -> Bool #

(/=) :: Uninterpreted -> Uninterpreted -> Bool #

Ord Uninterpreted Source #

Instance details

Defined in M.IO.Internal.Datagram

Methods

compare :: Uninterpreted -> Uninterpreted -> Ordering #

(<) :: Uninterpreted -> Uninterpreted -> Bool #

(<=) :: Uninterpreted -> Uninterpreted -> Bool #

(>) :: Uninterpreted -> Uninterpreted -> Bool #

(>=) :: Uninterpreted -> Uninterpreted -> Bool #

max :: Uninterpreted -> Uninterpreted -> Uninterpreted #

min :: Uninterpreted -> Uninterpreted -> Uninterpreted #

Hashable Uninterpreted Source #

Instance details

Defined in M.IO.Internal.Datagram

Methods

hashWithSalt :: Int -> Uninterpreted -> Int

hash :: Uninterpreted -> Int

Lift Uninterpreted Source #

Instance details

Defined in M.IO.Internal.Datagram

Methods

lift :: Quote m => Uninterpreted -> m Exp #

liftTyped :: forall (m :: Type -> Type). Quote m => Uninterpreted -> Code m Uninterpreted #

type Rep Uninterpreted Source #

Instance details

Defined in M.IO.Internal.Datagram

type Rep Uninterpreted = D1 ('MetaData "Uninterpreted" "M.IO.Internal.Datagram" "mmm-0.1.0.0-oCDsNp3EBL2JzoyA6cTai" 'False) (C1 ('MetaCons "Uninterpreted" 'PrefixI 'True) (S1 ('MetaSel ('Just "pkcode") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word8) :*: S1 ('MetaSel ('Just "pkdata") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ByteString)))

data EOF Source #

end of input

Constructors

EOF

Instances

Instances details

Data EOF Source #

Instance details

Defined in M.IO.Internal.Datagram

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> EOF -> c EOF #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c EOF #

toConstr :: EOF -> Constr #

dataTypeOf :: EOF -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c EOF) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c EOF) #

gmapT :: (forall b. Data b => b -> b) -> EOF -> EOF #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> EOF -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> EOF -> r #

gmapQ :: (forall d. Data d => d -> u) -> EOF -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> EOF -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> EOF -> m EOF #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> EOF -> m EOF #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> EOF -> m EOF #

Exception EOF Source #

Instance details

Defined in M.IO.Internal.Datagram

Methods

toException :: EOF -> SomeException #

fromException :: SomeException -> Maybe EOF #

displayException :: EOF -> String #

Generic EOF Source #

Instance details

Defined in M.IO.Internal.Datagram

Associated Types

type Rep EOF
Instance details Defined in M.IO.Internal.Datagram type Rep EOF = D1 ('MetaData "EOF" "M.IO.Internal.Datagram" "mmm-0.1.0.0-oCDsNp3EBL2JzoyA6cTai" 'False) (C1 ('MetaCons "EOF" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: EOF -> Rep EOF x #

to :: Rep EOF x -> EOF #

Read EOF Source #

Instance details

Defined in M.IO.Internal.Datagram

Methods

readsPrec :: Int -> ReadS EOF #

readList :: ReadS [EOF] #

readPrec :: ReadPrec EOF #

readListPrec :: ReadPrec [EOF] #

Show EOF Source #

Instance details

Defined in M.IO.Internal.Datagram

Methods

showsPrec :: Int -> EOF -> ShowS #

show :: EOF -> String #

showList :: [EOF] -> ShowS #

Lift EOF Source #

Instance details

Defined in M.IO.Internal.Datagram

Methods

lift :: Quote m => EOF -> m Exp #

liftTyped :: forall (m :: Type -> Type). Quote m => EOF -> Code m EOF #

type Rep EOF Source #

Instance details

Defined in M.IO.Internal.Datagram

type Rep EOF = D1 ('MetaData "EOF" "M.IO.Internal.Datagram" "mmm-0.1.0.0-oCDsNp3EBL2JzoyA6cTai" 'False) (C1 ('MetaCons "EOF" 'PrefixI 'False) (U1 :: Type -> Type))

Streams

makepacketstreami Source #

Arguments

:: TVar Int	compression threshold reference (negative = off, non-negative = on with threshold)
-> InputStream ByteString	input stream
-> IO (InputStream Uninterpreted)	stream of uninterpreted packets

make a stream of uninterpreted packets

makepacketstreamo :: TVar Int -> OutputStream ByteString -> IO (OutputStream Uninterpreted) Source #

make an output stream of uninterpreted packets

makedecrypting Source #

Arguments

:: TVar (ByteString -> IO ByteString)	decryptor
-> InputStream ByteString	input stream
-> IO (InputStream ByteString)	new input stream

register an octet streaming decryptor to an input stream

makeencrypting Source #

Arguments

:: TVar (ByteString -> IO ByteString)	encryptor
-> OutputStream ByteString	output stream
-> IO (OutputStream ByteString)	new output stream

register an octet stremaing encryptor to an output stream