Sound.Osc.Transport.Monad · hosc-0.20

classclass Monad m => SendOsc (m :: Type -> Type) where

#

Sender monad.

Methods

sendPacket :: Packet -> m ()
Encode and send an Osc packet.

Instances1SendOsc

(Transport t, MonadIO io) => SendOsc (ReaderT t io)Defined in hosc-0.20 · Sound.Osc.Transport.Monad
SendOsc over ReaderT.

classclass Monad m => RecvOsc (m :: Type -> Type) where

#

Receiver monad.

Methods

recvPacket :: m Packet
Receive and decode an Osc packet.

Instances1RecvOsc

(Transport t, MonadIO io) => RecvOsc (ReaderT t io)Defined in hosc-0.20 · Sound.Osc.Transport.Monad
RecvOsc over ReaderT.

classclass (SendOsc m, RecvOsc m) => DuplexOsc (m :: Type -> Type)

#

DuplexOsc is the union of SendOsc and RecvOsc.

Instances1DuplexOsc

(Transport t, MonadIO io) => DuplexOsc (ReaderT t io)Defined in hosc-0.20 · Sound.Osc.Transport.Monad
DuplexOsc over ReaderT.

classclass (DuplexOsc m, MonadIO m) => Transport (m :: Type -> Type)

#

Transport is DuplexOsc with a MonadIO constraint.

Instances1Transport

(Transport t, MonadIO io) => Transport (ReaderT t io)Defined in hosc-0.20 · Sound.Osc.Transport.Monad
Transport over ReaderT.

typetype Connection t a = ReaderT t IO a

#

Transport connection.

valuewithTransport :: Transport t => IO t -> Connection t r -> IO r

#

Bracket Open Sound Control communication.

valuewithTransport_ :: Transport t => IO t -> Connection t r -> IO ()

#

void of withTransport.

Send

2 declarations

valuesendMessage :: SendOsc m => Message -> m ()

#

Type restricted synonym for sendOsc.

valuesendBundle :: SendOsc m => Bundle -> m ()

#

Type restricted synonym for sendOsc.

Receive

4 declarations

valuerecvBundle :: RecvOsc m => m Bundle

#

Variant of recvPacket that runs packet_to_bundle.

valuerecvMessage :: RecvOsc m => m (Maybe Message)

#

Variant of recvPacket that runs packet_to_message.

valuerecvMessage_err :: RecvOsc m => m Message

#

Erroring variant.

valuerecvMessages :: RecvOsc m => m [Message]

#

Variant of recvPacket that runs packetMessages.

Wait

7 declarations

valuewaitUntil :: RecvOsc m => (Packet -> Bool) -> m Packet

#

Wait for a Packet where the supplied predicate is True, discarding intervening packets.

valuewaitFor :: RecvOsc m => (Packet -> Maybe a) -> m a

#

Wait for a Packet where the supplied function does not give Nothing, discarding intervening packets.

valuewaitImmediate :: RecvOsc m => m Packet

#

waitUntil packet_is_immediate.

valuewaitMessage :: RecvOsc m => m Message

#

waitFor packet_to_message, ie. an incoming Message or immediate mode Bundle with one element.

valuewaitAddress :: RecvOsc m => Address_Pattern -> m Packet

#

A waitFor for variant using packet_has_address to match on the Address_Pattern of incoming Packets.

valuewaitReply :: RecvOsc m => Address_Pattern -> m Message

#

Variant on waitAddress that returns matching Message.

valuewaitDatum :: RecvOsc m => Address_Pattern -> m [Datum]

#

Variant of waitReply that runs messageDatum.