sbv-7.13: SMT Based Verification: Symbolic Haskell theorem prover using SMT solving.

Index - B

B 
1 (Data Constructor)Documentation.SBV.Examples.Misc.Enumerate
2 (Data Constructor)Documentation.SBV.Examples.Queries.FourFours
3 (Type/Class)Documentation.SBV.Examples.Uninterpreted.Deduce
4 (Data Constructor)Documentation.SBV.Examples.Uninterpreted.Deduce
bAllData.SBV
ballData.SBV.List.Bounded
bAndData.SBV
bandData.SBV.List.Bounded
bAnyData.SBV
banyData.SBV.List.Bounded
BaseballDocumentation.SBV.Examples.Puzzles.Fish
basisDocumentation.SBV.Examples.Existentials.Diophantine
bccDocumentation.SBV.Examples.BitPrecise.Legato
BeerDocumentation.SBV.Examples.Puzzles.Fish
belemData.SBV.List.Bounded
BeverageDocumentation.SBV.Examples.Puzzles.Fish
bfilterData.SBV.List.Bounded
bfixData.SBV.Tools.BoundedFix
bfoldlData.SBV.List.Bounded
bfoldlMData.SBV.List.Bounded
bfoldrData.SBV.List.Bounded
bfoldrMData.SBV.List.Bounded
binData.SBV.Internals
BinaryDocumentation.SBV.Examples.Uninterpreted.Shannon
BinOpDocumentation.SBV.Examples.Queries.FourFours
binSData.SBV.Internals
BirdDocumentation.SBV.Examples.Puzzles.Fish
BitDocumentation.SBV.Examples.BitPrecise.Legato
bitData.SBV
bitDefaultData.SBV
BitsData.SBV
bitSizeData.SBV
bitSizeMaybeData.SBV
BlackDocumentation.SBV.Examples.Puzzles.HexPuzzle
blastBEData.SBV
blastLEData.SBV
blastSDoubleData.SBV
blastSFloatData.SBV
Blue 
1 (Data Constructor)Documentation.SBV.Examples.Puzzles.Fish
2 (Data Constructor)Documentation.SBV.Examples.Puzzles.Garden
3 (Data Constructor)Documentation.SBV.Examples.Puzzles.HexPuzzle
bmapData.SBV.List.Bounded
bmapMData.SBV.List.Bounded
bmaximumData.SBV.List.Bounded
bminimumData.SBV.List.Bounded
bneDocumentation.SBV.Examples.BitPrecise.Legato
bnotData.SBV
Board 
1 (Type/Class)Documentation.SBV.Examples.Puzzles.MagicSquare
2 (Type/Class)Documentation.SBV.Examples.Puzzles.Sudoku
BonoDocumentation.SBV.Examples.Puzzles.U2Bridge
bonoDocumentation.SBV.Examples.Puzzles.U2Bridge
BooleanData.SBV
BoolectorData.SBV.Internals, Data.SBV, Data.SBV.Dynamic
boolectorData.SBV, Data.SBV.Dynamic
bOrData.SBV
borData.SBV.List.Bounded
BoundaryData.SBV.Tools.Range
BoundedCWData.SBV.Internals, Data.SBV
bprodData.SBV.List.Bounded
breverseData.SBV.List.Bounded
BritonDocumentation.SBV.Examples.Puzzles.Fish
bsortData.SBV.List.Bounded
bsumData.SBV.List.Bounded
bumpTime1Documentation.SBV.Examples.Puzzles.U2Bridge
bumpTime2Documentation.SBV.Examples.Puzzles.U2Bridge
ButtonDocumentation.SBV.Examples.Puzzles.HexPuzzle
bvAddOData.SBV.Tools.Overflow
bvDivOData.SBV.Tools.Overflow
bvMulOData.SBV.Tools.Overflow
bvMulOFastData.SBV.Tools.Overflow
bvNegOData.SBV.Tools.Overflow
bvSubOData.SBV.Tools.Overflow
byteSwap16Data.SBV
byteSwap32Data.SBV
byteSwap64Data.SBV
bzipWithData.SBV.List.Bounded