Hoogle Search
Within LTS Haskell 24.32 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
ppEnumMapWith :: Enum k => (k -> Doc ann) -> (v -> Doc ann) -> EnumMap k v -> Doc annprettyprinter-combinators Prettyprinter.Combinators No documentation available.
ppEnumSet :: (Enum a, Pretty a) => EnumSet a -> Doc annprettyprinter-combinators Prettyprinter.Combinators No documentation available.
ppEnumSetWith :: Enum a => (a -> Doc ann) -> EnumSet a -> Doc annprettyprinter-combinators Prettyprinter.Combinators No documentation available.
traceNumber :: Trace -> Maybe Stringratel Ratel No documentation available.
getLineNumber :: Line s -> LineNoregex Text.RE.Tools the LineNo for this line
getLineNumber :: Line s -> LineNoregex Text.RE.Tools.Grep the LineNo for this line
mkSymbolicEnumeration :: Name -> Q [Dec]sbv Data.SBV Make an enumeration a symbolic type.
svEnumFromThenTo :: SVal -> Maybe SVal -> SVal -> Maybe [SVal]sbv Data.SBV.Dynamic Constructing [x, y, .. z] and [x .. y]. Only works when all arguments are concrete and integral and the result is guaranteed finite Note that the it isn't "obviously" clear why the following works; after all we're doing the construction over Integer's and mapping it back to other types such as SIntN/SWordN. The reason is that the values we receive are guaranteed to be in their domains; and thus the lifting to Integers preserves the bounds; and then going back is just fine. So, things like [1, 5 .. 200] :: [SInt8] work just fine (end evaluate to empty list), since we see [1, 5 .. -56] in the Integer domain. Also note the explicit check for s /= f below to make sure we don't stutter and produce an infinite list.
showNegativeNumber :: (Show a, Num a, Ord a) => a -> Stringsbv Data.SBV.Internals When we show a negative number in SMTLib, we must properly parenthesize.
mkSymbolicEnumeration :: Name -> Q [Dec]sbv Data.SBV.Trans Make an enumeration a symbolic type.