| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Data.SBV.Program.Examples
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 \(x^2 - 2*x + 1 = 0\)