sbv-program-1.0.0.0: Component-based program synthesis using SBV
Safe HaskellSafe-Inferred
LanguageHaskell2010

Data.SBV.Program.SimpleLibrary

Synopsis

Arithmetic components

Bitwise logic components

and :: (SymVal a, Ord a, Num a, Bits a) => SimpleComponent a Source #

or :: (SymVal a, Ord a, Num a, Bits a) => SimpleComponent a Source #

not :: (SymVal a, Ord a, Num a, Bits a) => SimpleComponent a Source #

Logic components

bEquiv :: SimpleComponent Bool Source #

Logical equivalence implemented in "tabular" style