copilot-1.0: A stream DSL for writing embedded C monitors.

Language.Copilot.Language.Sampling

Contents

Description

Functions for sampling external variables.

Synopsis

The next functions provide easier access to typed external variables.

extB :: ExtCl a => a -> Spec BoolSource

extI8 :: ExtCl a => a -> Spec Int8Source

extI16 :: ExtCl a => a -> Spec Int16Source

extI32 :: ExtCl a => a -> Spec Int32Source

extI64 :: ExtCl a => a -> Spec Int64Source

extW8 :: ExtCl a => a -> Spec Word8Source

extW16 :: ExtCl a => a -> Spec Word16Source

extW32 :: ExtCl a => a -> Spec Word32Source

extW64 :: ExtCl a => a -> Spec Word64Source

extF :: ExtCl a => a -> Spec FloatSource

extD :: ExtCl a => a -> Spec DoubleSource

The next functions provide easier access to typed external arrays.

extArrB :: (ExtCl a, Streamable b, IntegralE b) => a -> Spec b -> Spec BoolSource

extArrI8 :: (ExtCl a, Streamable b, IntegralE b) => a -> Spec b -> Spec Int8Source

extArrI16 :: (ExtCl a, Streamable b, IntegralE b) => a -> Spec b -> Spec Int16Source

extArrI32 :: (ExtCl a, Streamable b, IntegralE b) => a -> Spec b -> Spec Int32Source

extArrI64 :: (ExtCl a, Streamable b, IntegralE b) => a -> Spec b -> Spec Int64Source

extArrW8 :: (ExtCl a, Streamable b, IntegralE b) => a -> Spec b -> Spec Word8Source

extArrW16 :: (ExtCl a, Streamable b, IntegralE b) => a -> Spec b -> Spec Word16Source

extArrW32 :: (ExtCl a, Streamable b, IntegralE b) => a -> Spec b -> Spec Word32Source

extArrW64 :: (ExtCl a, Streamable b, IntegralE b) => a -> Spec b -> Spec Word64Source

extArrF :: (ExtCl a, Streamable b, IntegralE b) => a -> Spec b -> Spec FloatSource

extArrD :: (ExtCl a, Streamable b, IntegralE b) => a -> Spec b -> Spec DoubleSource