copilot-libraries-0.2: A Haskell-embedded DSL for monitoring hard real-time distributed systems.

Copilot.Library.Utils

Synopsis

Documentation

take :: (Integral a, Typed b) => a -> Stream b -> [Stream b]Source

tails :: Typed a => Stream a -> [Stream a]Source

functions similar to the Prelude functions on lists

nfoldl :: (Typed a, Typed b) => Int -> (Stream a -> Stream b -> Stream a) -> Stream a -> Stream b -> Stream aSource

nfoldl1 :: Typed a => Int -> (Stream a -> Stream a -> Stream a) -> Stream a -> Stream aSource

nfoldr :: (Typed a, Typed b) => Int -> (Stream a -> Stream b -> Stream b) -> Stream b -> Stream a -> Stream bSource

nfoldr1 :: Typed a => Int -> (Stream a -> Stream a -> Stream a) -> Stream a -> Stream aSource

nscanl :: (Typed a, Typed b) => Int -> (Stream a -> Stream b -> Stream a) -> Stream a -> Stream b -> [Stream a]Source

nscanr :: Typed a => Int -> (Stream a -> Stream b -> Stream b) -> Stream b -> Stream a -> [Stream b]Source

nscanl1 :: Typed a => Int -> (Stream a -> Stream a -> Stream a) -> Stream a -> [Stream a]Source

nscanr1 :: Typed a => Int -> (Stream a -> Stream a -> Stream a) -> Stream a -> [Stream a]Source

case' :: Typed a => [Stream Bool] -> [Stream a] -> Stream aSource

(!!) :: (Typed a, Integral a) => [Stream a] -> Stream a -> Stream aSource

Index. WARNING: very expensive! Consider using this only for very short lists.

cycle :: Typed a => [a] -> Stream aSource