Hoogle Search
Within LTS Haskell 24.42 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
-
sbv Documentation.SBV.Examples.Optimization.VM Computer allocation problem:
- We have three virtual machines (VMs) which require 100, 50 and 15 GB hard disk respectively.
- There are three servers with capabilities 100, 75 and 200 GB in that order.
- Find out a way to place VMs into servers in order
to
- Minimize the number of servers used
- Minimize the operation cost (the servers have fixed daily costs 10, 5 and 20 USD respectively.)
>>> optimize Lexicographic allocate Optimal model: x11 = False :: Bool x12 = False :: Bool x13 = True :: Bool x21 = False :: Bool x22 = False :: Bool x23 = True :: Bool x31 = False :: Bool x32 = False :: Bool x33 = True :: Bool noOfServers = 1 :: Integer cost = 20 :: Integer
That is, we should put all the jobs on the third server, for a total cost of 20. -
sbv Documentation.SBV.Examples.Puzzles.Sudoku Solve them all, this takes a fraction of a second to run for each case
-
sbv Documentation.SBV.Examples.Queries.FourFours Construct all possible tree shapes. The argument here follows the logic in http://www.gigamonkeys.com/trees/: We simply construct all possible shapes and extend with the operators. The number of such trees is:
>>> length allPossibleTrees 640
Note that this is a lot smaller than what is generated by http://www.gigamonkeys.com/trees/. (There, the number of trees is 10240000: 16000 times more than what we have to consider!) alloc :: String -> Alloc (SBV Integer)sbv Documentation.SBV.Examples.Transformers.SymbolicEval Allocate an integer variable with the provided name.
-
sbv Documentation.SBV.Examples.Transformers.SymbolicEval Allocate an Env holding all input variables for the program.
allContentType :: AllAccept cs => Proxy cs -> [MediaType]servant-openapi3 Servant.OpenApi.Internal No documentation available.
allContentType :: AllAccept cs => Proxy cs -> [MediaType]servant-swagger Servant.Swagger.Internal No documentation available.
allOrientations :: (Num a, Ord a) => [Coords a] -> [[Coords a]]set-cover Math.SetCover.Cuboid No documentation available.
allOrientationsGen :: (Num a, Ord a) => Coords (Coords a -> Coords a) -> [Coords a] -> [[Coords a]]set-cover Math.SetCover.Cuboid No documentation available.
allPositions :: Size -> [Coords Int] -> [[Coords Int]]set-cover Math.SetCover.Cuboid No documentation available.