ContAction

Definitions

data Act : Type

Totality: total
Visibility: public export
Constructors:

ActSend : List Bits8 -> Act

ActReceive : Act

Hint: 

Show Act

data Response : Type

Totality: total
Visibility: public export
Constructors:

RSent : Response

RReceived : List Bits8 -> Response

Hint: 

Show Response

collectSends : DIterator Response Act i2 o2 r -> (List Bits8, DIterator Response Act i2 o2 r)

Visibility: export

sendMuchM : Monad m => (List Bits8 -> m ()) -> DIterator Response Act i2 o2 r -> m (DIterator Response Act i2 o2 r)

Visibility: export

mkSendRecvIterator : DIterator (List Bits8) (List Bits8) altOut altIn a -> DIterator Response Act altOut altIn a

Visibility: export