Hoogle Search
Within LTS Haskell 24.52 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
data
Person (f :: Type -> Type)sbv Documentation.SBV.Examples.Puzzles.Murder A person has a name, age, together with location and sex. We parameterize over a function so we can use this struct both in a concrete context and a symbolic context. Note that the name is always concrete.
Person :: String -> f Integer -> f Location -> f Sex -> f Role -> Person (f :: Type -> Type)sbv Documentation.SBV.Examples.Puzzles.Murder No documentation available.
-
sbv Documentation.SBV.Examples.Puzzles.Sudoku A puzzle is simply a list of rows. Put 0 to indicate blanks.
type
Problem a = (Count a, Count a, Count a, Count a, Grid a)sbv Documentation.SBV.Examples.Puzzles.Tower The problem has 4 counts, from top, left, bottom, and right. And the grid itself.
-
sbv Documentation.SBV.Examples.Queries.FourFours No documentation available.
Plus :: Term Integer -> Term Integer -> Term Integersbv Documentation.SBV.Examples.Transformers.SymbolicEval No documentation available.
-
sbv Documentation.SBV.Examples.Transformers.SymbolicEval A program that can reference two input variables, x and y.
Program :: Term a -> Program asbv Documentation.SBV.Examples.Transformers.SymbolicEval No documentation available.
-
sbv Documentation.SBV.Examples.Transformers.SymbolicEval A property describes a quality of a Program. It is a Term yields a boolean value.
Property :: Term Bool -> Propertysbv Documentation.SBV.Examples.Transformers.SymbolicEval No documentation available.