Hircine API

hircine.hs

-- Module is a Category and Profunctor and Monoid
data Module a b
    ~ (b -> IO ()) -> Codensity IO (a -> IO ())

-- Action is a Functor and Monad
data Action b r
    ~ ReaderT (b -> IO ()) IO r
    ~ (b -> IO ()) -> IO r

connect :: String -> Int -> Module Message [Command] -> IO a

module :: (a -> Action b ()) -> Module a b
blockingModule :: (a -> Action b ()) -> Module a b

liftIO :: IO r -> Action b r

send :: IsCommand c => c -> Action [Command] ()
sendList :: [Command] -> Action [Command] ()