| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Data.SBV.Program.SimpleLibrary
Synopsis
- inc :: (SymVal a, Ord a, Num a) => SimpleComponent a
- dec :: (SymVal a, Ord a, Num a) => SimpleComponent a
- add :: (SymVal a, Ord a, Num a) => SimpleComponent a
- sub :: (SymVal a, Ord a, Num a) => SimpleComponent a
- mul :: (SymVal a, Ord a, Num a) => SimpleComponent a
- and :: (SymVal a, Ord a, Num a, Bits a) => SimpleComponent a
- or :: (SymVal a, Ord a, Num a, Bits a) => SimpleComponent a
- not :: (SymVal a, Ord a, Num a, Bits a) => SimpleComponent a
- bXor :: SimpleComponent Bool
- bEquiv :: SimpleComponent Bool
Arithmetic components
Bitwise logic components
Logic components
bEquiv :: SimpleComponent Bool Source #
Logical equivalence implemented in "tabular" style