copilot-0.21: A lazy-list language for generating constant-time and constant-space C programs. Uses Atom as a backend.

Language.Copilot.Tests.Random

Documentation

randomStreams :: RandomGen g => Operators -> Operators -> Operators -> g -> (StreamableMaps Spec, Vars)Source

data Operator a Source

Constructors

Operator (forall g. RandomGen g => (forall a' g'. (Streamable a', Random a', RandomGen g') => g' -> SpecSet -> (Spec a', g')) -> g -> (Spec a, g)) 

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