| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Hardware.KansasLava.Chunker
- waitForIt :: forall c sig a b t x y. (Clock c, sig ~ Signal c, Rep a, b ~ Unsigned x, Size x, Size t) => b -> Witness t -> Patch (sig (Enabled a)) (sig (Enabled b)) (sig Ack) (sig Ack)
- chunkCounter :: forall c sig x y. (Clock c, sig ~ Signal c, Size x, Num x, Rep x, Size y, Rep y, Num y) => Witness x -> Patch (sig (Enabled (Unsigned y))) (sig (Enabled Bool)) (sig Ack) (sig Ack)
- chunkJoinHeader :: forall c sig x y a. (Clock c, sig ~ Signal c, Rep a, Rep x, Size x, Num x, Enum x, Rep y, Size y, Num y) => (forall comb. Signal comb (Matrix x a) -> Signal comb (Unsigned y)) -> Patch (sig (Enabled (Matrix x a)) :> sig (Enabled a)) (sig (Enabled a)) (sig Ack :> sig Ack) (sig Ack)
- chunkSplitHeader :: forall c sig x y a. (Clock c, sig ~ Signal c, Rep a, Rep x, Size x, Num x, Enum x, Rep y, Size y, Num y) => (forall comb. Signal comb (Matrix x a) -> Signal comb (Unsigned y)) -> Patch (sig (Enabled a)) (sig (Enabled (Matrix x a)) :> sig (Enabled a)) (sig Ack) (sig Ack :> sig Ack)
- chunker :: forall c sig t w. (Size t, Clock c, sig ~ Signal c) => Unsigned X8 -> Witness t -> (forall comb. Signal comb (Matrix X1 U8) -> Signal comb U8) -> (forall comb. Signal comb (Unsigned X8) -> Signal comb (Matrix X1 U8)) -> Patch (sig (Enabled U8)) (sig (Enabled U8)) (sig Ack) (sig Ack)
- rdByteHeader :: Signal comb (Matrix X1 U8) -> Signal comb U8
- mkByteHeader :: forall comb. Signal comb U8 -> Signal comb (Matrix X1 U8)
Documentation
Arguments
| :: (Clock c, sig ~ Signal c, Rep a, b ~ Unsigned x, Size x, Size t) | |
| => b | The maximum size of chunk |
| -> Witness t | 2^t is the timeout time between elements |
| -> Patch (sig (Enabled a)) (sig (Enabled b)) (sig Ack) (sig Ack) |
We use network byte order http://en.wikipedia.org/wiki/Endianness#Endianness_in_networking
chunkCounter :: forall c sig x y. (Clock c, sig ~ Signal c, Size x, Num x, Rep x, Size y, Rep y, Num y) => Witness x -> Patch (sig (Enabled (Unsigned y))) (sig (Enabled Bool)) (sig Ack) (sig Ack) Source
Count a (fixed-sized) header with 1's, and a payload with 0's. The fixed sized header counting is done before reading the payload size.
chunkJoinHeader :: forall c sig x y a. (Clock c, sig ~ Signal c, Rep a, Rep x, Size x, Num x, Enum x, Rep y, Size y, Num y) => (forall comb. Signal comb (Matrix x a) -> Signal comb (Unsigned y)) -> Patch (sig (Enabled (Matrix x a)) :> sig (Enabled a)) (sig (Enabled a)) (sig Ack :> sig Ack) (sig Ack) Source
chunkSplitHeader :: forall c sig x y a. (Clock c, sig ~ Signal c, Rep a, Rep x, Size x, Num x, Enum x, Rep y, Size y, Num y) => (forall comb. Signal comb (Matrix x a) -> Signal comb (Unsigned y)) -> Patch (sig (Enabled a)) (sig (Enabled (Matrix x a)) :> sig (Enabled a)) (sig Ack) (sig Ack :> sig Ack) Source
chunker :: forall c sig t w. (Size t, Clock c, sig ~ Signal c) => Unsigned X8 -> Witness t -> (forall comb. Signal comb (Matrix X1 U8) -> Signal comb U8) -> (forall comb. Signal comb (Unsigned X8) -> Signal comb (Matrix X1 U8)) -> Patch (sig (Enabled U8)) (sig (Enabled U8)) (sig Ack) (sig Ack) Source