sbv-program-1.1.0.0: Component-based program synthesis using SBV

Safe Haskell	Safe-Inferred
Language	Haskell2010

Data.SBV.Program.SimpleLibrary

Contents

Arithmetic components
Bitwise logic components
Logic components

Synopsis

const :: SimpleComponent a
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
bNand :: SimpleComponent Bool
bEquiv :: SimpleComponent Bool

Documentation

const :: SimpleComponent a Source #

Arithmetic components

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

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

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

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

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

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

bXor :: SimpleComponent Bool Source #

bNand :: SimpleComponent Bool Source #

bEquiv :: SimpleComponent Bool Source #

Logical equivalence implemented in "tabular" style