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

Index - M

MDocumentation.SBV.Examples.Strings.SQLInjection
m 
1 (Function)Documentation.SBV.Examples.Crypto.Prince
2 (Function)Documentation.SBV.Examples.ProofTools.Fibonacci
3 (Function)Documentation.SBV.Examples.WeakestPreconditions.Fib
m'Documentation.SBV.Examples.Crypto.Prince
magicDocumentation.SBV.Examples.Puzzles.MagicSquare
majDocumentation.SBV.Examples.Crypto.SHA
MaleDocumentation.SBV.Examples.Puzzles.Murder
map 
1 (Function)Data.SBV.Maybe
2 (Function)Data.SBV.List
map2Data.SBV.Maybe
mapCVData.SBV.Internals
mapCV2Data.SBV.Internals
mapiData.SBV.List
matDocumentation.SBV.Examples.Crypto.Prince
matchData.SBV.RegExp
MathSATData.SBV.Internals, Data.SBV.Trans, Data.SBV, Data.SBV.Dynamic
mathSATData.SBV.Trans, Data.SBV, Data.SBV.Dynamic
maxBVData.SBV.Tools.BVOptimize
maxBVWithData.SBV.Tools.BVOptimize
maxEDocumentation.SBV.Examples.Misc.Enumerate
MaximizeData.SBV.Internals, Data.SBV.Trans, Data.SBV
maximizeData.SBV
MayDocumentation.SBV.Examples.Puzzles.Birthday
maybeData.SBV.Maybe
MaybeAccessData.SBV.Internals
MaybeConstructorData.SBV.Internals
MaybeIsData.SBV.Internals
mdpData.SBV.Tools.Polynomial
MeasureData.SBV.Tools.WeakestPreconditions
measure 
1 (Function)Documentation.SBV.Examples.WeakestPreconditions.IntDiv
2 (Function)Documentation.SBV.Examples.WeakestPreconditions.IntSqrt
3 (Function)Documentation.SBV.Examples.WeakestPreconditions.Length
MeasureBoundData.SBV.Tools.WeakestPreconditions
MeasureDecreaseData.SBV.Tools.WeakestPreconditions
memberData.SBV.Set
MemoryDocumentation.SBV.Examples.BitPrecise.Legato
memoryDocumentation.SBV.Examples.BitPrecise.Legato
memsetDocumentation.SBV.Examples.Misc.LambdaArray
memsetExampleDocumentation.SBV.Examples.Misc.LambdaArray
MerahDocumentation.SBV.Examples.Puzzles.Orangutans
mergeDocumentation.SBV.Examples.BitPrecise.MergeSort
MergeableData.SBV.Trans, Data.SBV
mergeArraysData.SBV.Internals, Data.SBV.Trans, Data.SBV
mergeSArrData.SBV.Dynamic
mergeSortDocumentation.SBV.Examples.BitPrecise.MergeSort
Metres 
1 (Type/Class)Documentation.SBV.Examples.Misc.Newtypes
2 (Data Constructor)Documentation.SBV.Examples.Misc.Newtypes
MetricData.SBV
MetricSpaceData.SBV
midPointAlternativeDocumentation.SBV.Examples.BitPrecise.BrokenSearch
midPointBrokenDocumentation.SBV.Examples.BitPrecise.BrokenSearch
midPointFixedDocumentation.SBV.Examples.BitPrecise.BrokenSearch
MilkDocumentation.SBV.Examples.Puzzles.Fish
minBVData.SBV.Tools.BVOptimize
minBVWithData.SBV.Tools.BVOptimize
minEDocumentation.SBV.Examples.Misc.Enumerate
MinimizeData.SBV.Internals, Data.SBV.Trans, Data.SBV
minimizeData.SBV
Minus 
1 (Data Constructor)Data.SBV.Internals
2 (Data Constructor)Documentation.SBV.Examples.Queries.FourFours
mInvDocumentation.SBV.Examples.Crypto.Prince
MkAssignmentDocumentation.SBV.Examples.Puzzles.Orangutans
mkBirthdayDocumentation.SBV.Examples.Puzzles.Birthday
mkCoinDocumentation.SBV.Examples.Puzzles.Coins
mkConstCVData.SBV.Internals
mkConstraintData.SBV.Internals
mkFibsDocumentation.SBV.Examples.Lists.Fibonacci
mkFreeVars 
1 (Function)Data.SBV.Internals, Data.SBV.Trans
2 (Function)Data.SBV
mkLambdaData.SBV.Internals
mkNewStateData.SBV.Internals
mkQueryDocumentation.SBV.Examples.Transformers.SymbolicEval
mkResultDocumentation.SBV.Examples.Transformers.SymbolicEval
mkSMTResult 
1 (Function)Data.SBV.Trans.Control
2 (Function)Data.SBV.Control
mkSTreeData.SBV.Tools.STree
mkSymDocumentation.SBV.Examples.Puzzles.Orangutans
mkSymbolicEnumerationData.SBV.Trans, Data.SBV
mkSymSBVData.SBV.Internals
mkSymVal 
1 (Function)Data.SBV.Internals, Data.SBV.Trans
2 (Function)Data.SBV
mkTransitiveClosureData.SBV
mkUninterpretedSortData.SBV.Trans, Data.SBV
mMultDocumentation.SBV.Examples.Crypto.Prince
modDocumentation.SBV.Examples.Puzzles.AOC_2021_24
ModelableData.SBV.Trans, Data.SBV
modelAssocsData.SBV.Internals
modelBindingsData.SBV.Internals
modelExistsData.SBV.Trans, Data.SBV
modelObjectivesData.SBV.Internals
modelsWithYAuxDocumentation.SBV.Examples.Misc.Auxiliary
modelUIFunsData.SBV.Internals
MonDocumentation.SBV.Examples.Optimization.Enumerate
monadDocumentation.SBV.Examples.Puzzles.AOC_2021_24
MonadQueryData.SBV.Trans.Control, Data.SBV.Control
MonadSymbolicData.SBV.Trans, Data.SBV
MondayDocumentation.SBV.Examples.Queries.Enums
MonthDocumentation.SBV.Examples.Puzzles.Birthday
Mostek 
1 (Type/Class)Documentation.SBV.Examples.BitPrecise.Legato
2 (Data Constructor)Documentation.SBV.Examples.BitPrecise.Legato
MoveDocumentation.SBV.Examples.Puzzles.U2Bridge
move1Documentation.SBV.Examples.Puzzles.U2Bridge
move2Documentation.SBV.Examples.Puzzles.U2Bridge
movesDocumentation.SBV.Examples.Puzzles.Jugs
msbData.SBV.Trans, Data.SBV
msMaximizeData.SBV
msMinimizeData.SBV
mulDocumentation.SBV.Examples.Puzzles.AOC_2021_24
mul22Documentation.SBV.Examples.Uninterpreted.Multiply
MulExtCVData.SBV.Internals, Data.SBV.Trans, Data.SBV
MulOvData.SBV.Internals
multAssocDocumentation.SBV.Examples.Misc.Polynomials
multCommDocumentation.SBV.Examples.Misc.Polynomials
multInverseDocumentation.SBV.Examples.Misc.Floating
multUnitDocumentation.SBV.Examples.Misc.Polynomials
mutexDocumentation.SBV.Examples.Lists.BoundedMutex