Processing math: 100%
sbv-program-1.0.0.0: Component-based program synthesis using SBV
Safe HaskellSafe-Inferred
LanguageHaskell2010

Data.SBV.Program.Examples

Synopsis

Reset most significant set bit

paperRunningExampleSpec :: SimpleSpec Word8 Source #

A running example from the original paper. The function should reset the least significant set bit of a 8-byte word: >>> 0001 0010 -> 0000 0010

paperRunningExample :: IO (Either SynthesisError (Program Location (SimpleComponent Word8))) Source #

Quadratic equation

quadEquExampleSpec :: SimpleSpec Int32 Source #

Synthesizes a formula for the quadratic equation x2−2∗x+1=0

quadEquExample :: IO (Either SynthesisError (Program Location (SimpleComponent Int32))) Source #