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

Language.Copilot.Language.Casting

Description

Safe casting of values.

Documentation

cast :: (Castable a, Castable b, Streamable b) => Spec b -> Spec aSource