Hoogle Search

Within LTS Haskell 24.54 (ghc-9.10.3)

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

  1. isSingleton :: NonEmptyText -> Bool

    non-empty-text Data.NonEmptyText

    O(1) Check if the string is composed of only one character

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

    opaleye Opaleye.Internal.Optimize

    No documentation available.

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

    ral Data.RAVec.NonEmpty

    No documentation available.

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

    unlifted Data.Text.Short.Unlifted

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

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

    Ranged-sets Data.Ranged.RangedSet

    Create a Ranged Set from a single element.

  6. prop_emptyNonSingleton :: Bool

    Ranged-sets Data.Ranged.Ranges

    The empty range is not a singleton. 

    prop_emptyNonSingleton = rangeSingletonValue emptyRange == Nothing

  7. prop_fullNonSingleton :: Bool

    Ranged-sets Data.Ranged.Ranges

    The full range is not a singleton. 

    prop_fullNonSingleton = rangeSingletonValue fullRange == Nothing

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

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

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

Page 73 of many | Previous | Next