Hoogle Search
Within LTS Haskell 24.51 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
cgShowU8UsingHex :: Bool -> SBVCodeGen ()sbv Data.SBV.Internals If passed True, then we will show 'SWord 8' type in hex. Otherwise we'll show it in decimal. All signed types are shown decimal, and all unsigned larger types are shown hexadecimal otherwise.
cgShowU8UsingHex :: Bool -> SBVCodeGen ()sbv Data.SBV.Tools.CodeGen If passed True, then we will show 'SWord 8' type in hex. Otherwise we'll show it in decimal. All signed types are shown decimal, and all unsigned larger types are shown hexadecimal otherwise.
kdShowDepsHTML :: Maybe FilePath -> KDProofDeps -> Stringsbv Data.SBV.Tools.KnuckleDragger Display the tree as an html doc for rendering purposes. The first argument is Path (or URL) to external CSS file, if needed.
-
sbv Documentation.SBV.Examples.Puzzles.Fish We have:
>>> fishOwner German
It's not hard to modify this program to grab the values of all the assignments, i.e., the full solution to the puzzle. We leave that as an exercise to the interested reader! NB. We use the allSatTrackUFs configuration to indicate that the uninterpreted function changes do not matter for generating different values. All we care is that the fishOwner changes! pangoCairoShowErrorUnderline :: CairoTIO r -> CDouble -> CDouble -> CDouble -> CDouble -> IO ()simple-pango Graphics.Pango.Rendering.Cairo No documentation available.
pangoCairoShowGlyphItem :: CairoTIO r -> Text -> PangoGlyphItem -> IO ()simple-pango Graphics.Pango.Rendering.Cairo No documentation available.
pangoCairoShowLayout :: CairoTIO r -> PangoLayout -> IO ()simple-pango Graphics.Pango.Rendering.Cairo No documentation available.
pangoCairoShowLayoutLine :: CairoTIO r -> PangoLayoutLine -> IO ()simple-pango Graphics.Pango.Rendering.Cairo No documentation available.
-
sql-words Language.SQL.Keyword.Type Show Keyword
-
tasty-silver Test.Tasty.Silver.Advanced How to show a value to the user.