Network.ZRE

Documentation

runZre :: ZRE a -> IO ()

runZreCfg :: ZRECfg -> ZRE a -> IO ()

runZreOpts :: ZRE a -> IO ()

readZ :: ZRE Event

writeZ :: API -> ZRE ()

unReadZ :: Event -> ZRE ()

defaultConf :: ZRECfg

data API

Constructors

DoJoin Group

DoLeave Group

DoShout Group ByteString

DoShoutMulti Group [ByteString]

DoWhisper UUID ByteString

DoDiscover UUID Endpoint

DoDebug Bool

DoQuit

Instances

Show API

Methods

showsPrec :: Int -> API -> ShowS

show :: API -> String

showList :: [API] -> ShowS

MonadReader (EventQueue, APIQueue) ZRE

Methods

ask :: ZRE (EventQueue, APIQueue)

local :: ((EventQueue, APIQueue) -> (EventQueue, APIQueue)) -> ZRE a -> ZRE a

reader :: ((EventQueue, APIQueue) -> a) -> ZRE a

data Event

Constructors

New UUID (Maybe Name) Groups Headers Endpoint

Ready UUID Name Groups Headers Endpoint

GroupJoin UUID Group

GroupLeave UUID Group

Quit UUID (Maybe Name)

Message ZREMsg

Shout UUID Group Content UTCTime

Whisper UUID Content UTCTime

Debug ByteString

Instances

Show Event

Methods

showsPrec :: Int -> Event -> ShowS

show :: Event -> String

showList :: [Event] -> ShowS

MonadReader (EventQueue, APIQueue) ZRE

Methods

ask :: ZRE (EventQueue, APIQueue)

local :: ((EventQueue, APIQueue) -> (EventQueue, APIQueue)) -> ZRE a -> ZRE a

reader :: ((EventQueue, APIQueue) -> a) -> ZRE a

data ZRE a

Instances

Monad ZRE

Methods

(>>=) :: ZRE a -> (a -> ZRE b) -> ZRE b

(>>) :: ZRE a -> ZRE b -> ZRE b

return :: a -> ZRE a

fail :: String -> ZRE a

Functor ZRE

Methods

fmap :: (a -> b) -> ZRE a -> ZRE b

(<$) :: a -> ZRE b -> ZRE a

Applicative ZRE

Methods

pure :: a -> ZRE a

(<*>) :: ZRE (a -> b) -> ZRE a -> ZRE b

liftA2 :: (a -> b -> c) -> ZRE a -> ZRE b -> ZRE c

(*>) :: ZRE a -> ZRE b -> ZRE b

(<*) :: ZRE a -> ZRE b -> ZRE a

MonadIO ZRE

Methods

liftIO :: IO a -> ZRE a

MonadBase IO ZRE

Methods

liftBase :: IO α -> ZRE α

MonadBaseControl IO ZRE

Associated Types

type StM (ZRE :: * -> *) a :: *

Methods

liftBaseWith :: (RunInBase ZRE IO -> IO a) -> ZRE a

restoreM :: StM ZRE a -> ZRE a

MonadReader (EventQueue, APIQueue) ZRE

Methods

ask :: ZRE (EventQueue, APIQueue)

local :: ((EventQueue, APIQueue) -> (EventQueue, APIQueue)) -> ZRE a -> ZRE a

reader :: ((EventQueue, APIQueue) -> a) -> ZRE a

type StM ZRE a

type StM ZRE a = a

type Group = ByteString

zjoin :: Group -> ZRE ()

zleave :: Group -> ZRE ()

zshout :: Group -> ByteString -> ZRE ()

zshout' :: Group -> [ByteString] -> ZRE ()

zwhisper :: UUID -> ByteString -> ZRE ()

zdebug :: ZRE ()

znodebug :: ZRE ()

zquit :: ZRE ()

pEndpoint :: Endpoint -> ByteString

toASCIIBytes :: UUID -> ByteString

Convert a UUID into a hyphentated string using lower-case letters, packed as ASCII bytes into ByteString.

This should be equivalent to toString with pack.

getApiQueue :: ZRE APIQueue

getEventQueue :: ZRE EventQueue