Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Combinators to deal with streams carrying structs.
Documentation
(#) :: (KnownSymbol s, Typed t, Typed a, Struct a) => Stream a -> (a -> Field s t) -> Stream t Source #
Create a stream that carries a field of a struct in another stream.
This function implements a projection of a field of a struct over time. For
example, if a struct of type T
has two fields, t1
of type Int
and t2
of type Word8
, and s
is a stream of type Stream T
, then s # t2
has
type Stream Word8
and contains the values of the t2
field of the structs
in s
at any point in time.