copilot-0.22: A stream DSL for writing embedded C.
Language.Copilot.Tests.Random
randomStreams :: RandomGen g => Operators -> Operators -> Operators -> g -> (StreamableMaps Spec, Vars)Source
data Operator a Source
Constructors
type Operators = StreamableMaps OperatorSource
fromOp :: Operator a -> forall g. RandomGen g => (forall a' g'. (Streamable a', Random a', RandomGen g') => g' -> SpecSet -> (Spec a', g')) -> g -> (Spec a, g)Source