BufConn

Definitions

Overflow : Type

Visibility: public export

record BufConSt : Type -> Type

Totality: total
Visibility: public export
Constructor: 

MkBufConSt : Overflow -> queuedElem -> BufConSt queuedElem

Projections:

.overflow : BufConSt queuedElem -> Overflow

.queuedToSend : BufConSt queuedElem -> queuedElem

.overflow : BufConSt queuedElem -> Overflow

Visibility: public export

overflow : BufConSt queuedElem -> Overflow

Visibility: public export

.queuedToSend : BufConSt queuedElem -> queuedElem

Visibility: public export

queuedToSend : BufConSt queuedElem -> queuedElem

Visibility: public export

DBufferedConn : Type -> Type -> Type -> Type -> Type -> Type

Visibility: public export

send : List Bits8 -> DBufferedConn r a () altOut altIn

Visibility: export

result : r -> DBufferedConn r a b altOut altIn

Visibility: export

sendAlt : b -> DBufferedConn r a rows rows b

Visibility: export

read : (n : Nat) -> DBufferedConn r a (Vect n Bits8) altOut altIn

Visibility: export

iteratorFromBufConn : BufConSt a -> DBufferedConn r a r altOut altIn -> DIterator (List Bits8) (List Bits8) altOut altIn r

Visibility: export