Hoogle Search

Within LTS Haskell 24.38 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

  1. pattern IsJust :: forall (l :: Symbol) r . (AllUniqueLabels r, KnownSymbol l) => Label l -> (r .! l) -> Var r

    row-types Data.Row.Variants

    A pattern for variants; can be used to both destruct a variant when in a pattern position or construct one in an expression position.

  2. fromJust :: SymVal a => SMaybe a -> SBV a

    sbv Data.SBV.Maybe

    Return the value of an optional value. The behavior is undefined if passed Nothing, i.e., it can return any value. Compare to fromMaybe. 

    >>> fromJust (sJust (literal 'a'))
'a' :: SChar

>>> prove $ \x -> fromJust (sJust x) .== (x :: SChar)
Q.E.D.

>>> sat $ \x -> x .== (fromJust sNothing :: SChar)
Satisfiable. Model:
s0 = 'A' :: Char
    Note how we get a satisfying assignment in the last case: The behavior is unspecified, thus the SMT solver picks whatever satisfies the constraints, if there is one.

  3. isJust :: SymVal a => SMaybe a -> SBool

    sbv Data.SBV.Maybe

    Check if the symbolic value is not nothing. 

    >>> isJust (sNothing :: SMaybe Integer)
False

>>> isJust (sJust (literal "yep"))
True

>>> prove $ \x -> isJust (sJust (x :: SInteger))
Q.E.D.

  4. sJust :: SymVal a => SBV a -> SMaybe a

    sbv Data.SBV.Maybe

    Construct an SMaybe a from an SBV a. 

    >>> sJust (3 :: SInteger)
Just 3 :: SMaybe Integer

  5. weekendJustOver :: IO OptimizeResult

    sbv Documentation.SBV.Examples.Optimization.Enumerate

    Using optimization, find the first day after the weekend. We have: 

    >>> weekendJustOver
Optimal model:
weekendJustOver       = Mon :: Day
DayAsWord8(first-day) =   0 :: Word8
first-day             = Mon :: Day

  6. getJustify :: Justify -> Bool

    simple-pango Graphics.Pango.Basic.LayoutObjects.PangoLayout

    No documentation available.

  7. getJustify :: Justify -> Bool

    simple-pango Graphics.Pango.Basic.LayoutObjects.PangoLayout.Internal

    No documentation available.

  8. fromJust' :: Maybe' a -> a

    streamly-core Streamly.Internal.Data.Maybe.Strict

    Extract the element out of a Just' and throws an error if its argument is Nothing'.

  9. isJust' :: Maybe' a -> Bool

    streamly-core Streamly.Internal.Data.Maybe.Strict

    Returns True iff its argument is of the form "Just' _".

  10. rangedParamAdjuster :: (Enum a, Ord a, MonadIO m) => String -> (String -> Maybe a) -> (a -> a -> Bool) -> Maybe a -> CUBE -> [Sweets] -> m [Sweets]

    tasty-sugar Test.Tasty.Sugar

    Given a Parameter Name and a boolean that indicates valid/not-valid for a Parameter Value, update the expectations in the Sweets to treat the parameter as a ranged value. This provides the functionality described by the rangedParam function and is intended for use via the sweetAdjuster field of the CUBE structure.

Page 115 of many | Previous | Next