Language.Copilot.Language.Casting
Description
Safe casting of values.
Documentation
cast :: (Castable a, Castable b, Streamable b) => Spec b -> Spec aSource
copilot-1.0: A stream DSL for writing embedded C monitors.
Language.Copilot.Language.Casting
Description
Safe casting of values.
cast :: (Castable a, Castable b, Streamable b) => Spec b -> Spec aSource