-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | Socket effect for polysemy.
--   
--   Socket effect for polysemy.
@package polysemy-socket
@version 0.0.2.0


-- | Socket effect for polysemy.
module Polysemy.Socket

data Socket s k b c m a
[Acquire] :: Socket s k b c m s
[Bind] :: s -> Socket s k b c m ()
[Release] :: s -> Socket s k b c m ()
[Listen] :: s -> Int -> Socket s k b c m ()
[Accept] :: s -> Socket s k b c m (s, k)
[Send] :: s -> c -> Socket s k b c m ()
[Receive] :: s -> Socket s k b c m b
[Close] :: s -> Socket s k b c m ()
acquire :: forall s_a6YO k_a6YP b_a6YQ c_a6YR r_a7n7. MemberWithError (Socket s_a6YO k_a6YP b_a6YQ c_a6YR) r_a7n7 => Sem r_a7n7 s_a6YO
bind :: forall s_a6YT k_a6YU b_a6YV c_a6YW r_a7n8. MemberWithError (Socket s_a6YT k_a6YU b_a6YV c_a6YW) r_a7n8 => s_a6YT -> Sem r_a7n8 ()
listen :: forall s_a6Z3 k_a6Z4 b_a6Z5 c_a6Z6 r_a7nc. MemberWithError (Socket s_a6Z3 k_a6Z4 b_a6Z5 c_a6Z6) r_a7nc => s_a6Z3 -> Int -> Sem r_a7nc ()
send :: forall s_a6Zd k_a6Zf b_a6Zg c_a6Ze r_a7nh. MemberWithError (Socket s_a6Zd k_a6Zf b_a6Zg c_a6Ze) r_a7nh => s_a6Zd -> c_a6Ze -> Sem r_a7nh ()
receive :: forall s_a6Zi k_a6Zj b_a6Zk c_a6Zl r_a7nk. MemberWithError (Socket s_a6Zi k_a6Zj b_a6Zk c_a6Zl) r_a7nk => s_a6Zi -> Sem r_a7nk b_a6Zk
release :: forall s_a6YY k_a6YZ b_a6Z0 c_a6Z1 r_a7na. MemberWithError (Socket s_a6YY k_a6YZ b_a6Z0 c_a6Z1) r_a7na => s_a6YY -> Sem r_a7na ()
accept :: forall s_a6Z8 k_a6Z9 b_a6Za c_a6Zb r_a7nf. MemberWithError (Socket s_a6Z8 k_a6Z9 b_a6Za c_a6Zb) r_a7nf => s_a6Z8 -> Sem r_a7nf (s_a6Z8, k_a6Z9)
close :: forall s_a6Zn k_a6Zo b_a6Zp c_a6Zq r_a7nm. MemberWithError (Socket s_a6Zn k_a6Zo b_a6Zp c_a6Zq) r_a7nm => s_a6Zn -> Sem r_a7nm ()

adaptSocket :: Members '[Socket s k b' c'] r => (b' -> b) -> (c -> c') -> Sem (Socket s k b c : r) a -> Sem r a

adaptSocketSem :: forall s k b c b' c' r a. Members '[Socket s k b' c'] r => (b' -> Sem r b) -> (c -> Sem r c') -> Sem (Socket s k b c : r) a -> Sem r a

runSocketTcp :: forall s r a. (Socket Inet6 Stream TCP ~ s, Members '[Resource, Embed IO, Input Inet6Port] r) => Sem (Socket s (SocketAddress Inet6) ByteString ByteString : r) a -> Sem r a

runSocketVirtual :: Members '[State p] r => (c -> p) -> (p -> b) -> Sem (Socket Virtual Virtual b c : r) a -> Sem r a
data Virtual

traceSocket :: forall s k b c r a. Members '[Socket s k b c, Trace] r => Sem r a -> Sem r a