Hoogle Search

Within LTS Haskell 24.66 (ghc-9.10.3)

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

  1. noSingletonProduct :: PrimQueryFoldP a (PrimQuery' a) (PrimQuery' a)

    opaleye Opaleye.Internal.Optimize

    No documentation available.

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

    ral Data.RAVec.NonEmpty

    No documentation available.

  3. equalsSingletonChar :: ShortText# -> Char# -> Int#

    unlifted Data.Text.Short.Unlifted

    Is the short text a single character? Only works for ascii characters.

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

    Ranged-sets Data.Ranged.RangedSet

    Create a Ranged Set from a single element.

  5. prop_emptyNonSingleton :: Bool

    Ranged-sets Data.Ranged.Ranges

    The empty range is not a singleton. 

    prop_emptyNonSingleton = rangeSingletonValue emptyRange == Nothing

  6. prop_fullNonSingleton :: Bool

    Ranged-sets Data.Ranged.Ranges

    The full range is not a singleton. 

    prop_fullNonSingleton = rangeSingletonValue fullRange == Nothing

  7. 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.

  8. 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.

  9. 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

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

    Ranged-sets Data.Ranged.Ranges

    Range Singleton has its member. 

    prop_singletonRangeHas v = singletonRange v `rangeHas` v

Page 73 of many | Previous | Next