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

M.IO

Description

Provides high-level IO operations and types for handling Minecraft protocol connections, including socket management and data streaming.

Synopsis

data Connection = Connection {
- cxkey :: TVar (Maybe ByteString)
- cxcompth :: TVar Int
- cxinput :: InputStream Uninterpreted
- cxoutput :: OutputStream Uninterpreted
}
data Uninterpreted = Uninterpreted {
- pkcode :: !Word8
- pkdata :: !ByteString
}
module M.IO.Internal.EffectTypes
withtalkingserver :: forall (es :: [Effect]) a. (IOE :> es, State ParserState :> es, Concurrent :> es, NonDet :> es) => UnliftStrategy -> Maybe String -> String -> Eff (Talking ': es) a -> Eff es a
withtalkingclient :: forall (es :: [Effect]) a. (IOE :> es, State ParserState :> es, Concurrent :> es, NonDet :> es) => UnliftStrategy -> String -> String -> Eff (Talking ': es) a -> Eff es a
withcxfromsocket :: Socket -> (Connection -> IO a) -> IO a

Documentation

data Connection Source #

a connection to either a server or a client

Constructors

Connection
Fields cxkey :: TVar (Maybe ByteString) encryption key, AES-128-CFB8; doubles as IV cxcompth :: TVar Int compression threshold; negative = off, non-negative = on with threshold cxinput :: InputStream Uninterpreted input stream cxoutput :: OutputStream Uninterpreted output stream

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)))

define communication effects

module M.IO.Internal.EffectTypes

withtalkingserver Source #

Arguments

:: forall (es :: [Effect]) a. (IOE :> es, State ParserState :> es, Concurrent :> es, NonDet :> es)
=> UnliftStrategy	unlift strategy
-> Maybe String	host (Nothing = all interfaces)
-> String	port
-> Eff (Talking ': es) a	per-connection handler
-> Eff es a	final result

run server accepting multiple connections

withtalkingclient Source #

Arguments

:: forall (es :: [Effect]) a. (IOE :> es, State ParserState :> es, Concurrent :> es, NonDet :> es)
=> UnliftStrategy	unlift strategy
-> String	host
-> String	port
-> Eff (Talking ': es) a	handler
-> Eff es a	result

run client with single connection

withcxfromsocket :: Socket -> (Connection -> IO a) -> IO a Source #

create a connection from a socket