Hoogle Search

Within LTS Haskell 24.46 (ghc-9.10.3)

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

  1. unsingleton :: NERAVec 'BE a -> a

    ral Data.RAVec.NonEmpty

    No documentation available.

  2. rSingleton :: DiscreteOrdered v => v -> RSet v

    Ranged-sets Data.Ranged.RangedSet

    Create a Ranged Set from a single element.

  3. prop_emptyNonSingleton :: Bool

    Ranged-sets Data.Ranged.Ranges

    The empty range is not a singleton. 

    prop_emptyNonSingleton = rangeSingletonValue emptyRange == Nothing

  4. prop_fullNonSingleton :: Bool

    Ranged-sets Data.Ranged.Ranges

    The full range is not a singleton. 

    prop_fullNonSingleton = rangeSingletonValue fullRange == Nothing

  5. prop_intSingleton :: Integer -> Integer -> Property

    Ranged-sets Data.Ranged.Ranges

    For all integers x and y, any range formed from boundaries on either side of x and y is a singleton iff it contains exactly one integer.

  6. prop_nonSingleton :: Double -> Double -> Property

    Ranged-sets Data.Ranged.Ranges

    For real x and y, x < y implies that any range between them is a non-singleton.

  7. prop_singletonRangeConverse :: DiscreteOrdered a => a -> Bool

    Ranged-sets Data.Ranged.Ranges

    A singleton range can have its value extracted. 

    prop_singletonRangeConverse v =
rangeSingletonValue (singletonRange v) == Just v

  8. prop_singletonRangeHas :: DiscreteOrdered a => a -> Bool

    Ranged-sets Data.Ranged.Ranges

    Range Singleton has its member. 

    prop_singletonRangeHas v = singletonRange v `rangeHas` v

  9. prop_singletonRangeHasOnly :: DiscreteOrdered a => a -> a -> Bool

    Ranged-sets Data.Ranged.Ranges

    Range Singleton has only its member. 

    prop_singletonHasOnly v1 v2 =
(v1 == v2) == (singletonRange v1 `rangeHas` v2)

  10. rangeSingletonValue :: DiscreteOrdered v => Range v -> Maybe v

    Ranged-sets Data.Ranged.Ranges

    If the range is a singleton, returns Just the value. Otherwise returns Nothing. Known bug: This always returns Nothing for ranges including BoundaryBelowAll or BoundaryAboveAll. For bounded types this can be incorrect. For instance, the following range only contains one value: 

    Range (BoundaryBelow maxBound) BoundaryAboveAll

Page 73 of many | Previous | Next