copilot-language-4.6.1: A Haskell-embedded DSL for monitoring hard real-time distributed systems.

Safe Haskell | Safe
Language | Haskell2010

Copilot.Language.Operators.Temporal

Description

Temporal stream transformations.

Synopsis

- (++) :: Typed a => [a] -> Stream a -> Stream a
- drop :: Typed a => Int -> Stream a -> Stream a

# Documentation

(++) :: Typed a => [a] -> Stream a -> Stream a infixr 1 Source #

Prepend a fixed number of samples to a stream.

The elements to be appended at the beginning of the stream must be limited, that is, the list must have finite length.

Prepending elements to a stream may increase the memory requirements of the generated programs (which now must hold the same number of elements in memory for future processing).

drop :: Typed a => Int -> Stream a -> Stream a Source #

Drop a number of samples from a stream.

The elements must be realizable at the present time to be able to drop elements. For most kinds of streams, you cannot drop elements without prepending an equal or greater number of elements to them first, as it could result in undefined samples.