Hoogle Search

Within LTS Haskell 22.23 (ghc-9.6.5)

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

  1. nonEmpty :: Gen a -> Gen [a]

    checkers Test.QuickCheck.Instances.List

    Generates a non-empty list with the contents generated using its argument.

  2. nonEmpty :: (MonoFoldable t, Show t) => Predicate t

    explainable-predicates Test.Predicates

    A Predicate that accepts non-empty data structures. 

    >>> accept nonEmpty ([] :: [Int])
False

>>> accept nonEmpty [1, 2, 3]
True

>>> accept nonEmpty ""
False

>>> accept nonEmpty "gas tank"
True

  3. nonEmpty :: Vector n a -> LeqProof 1 n

    parameterized-utils Data.Parameterized.Vector

    Proof that the length of this vector is not 0.

  4. nonEmpty :: Collection c => c -> Maybe (NonEmpty c)

    foundation Foundation

    Smart constructor to create a NonEmpty collection If the collection is empty, then Nothing is returned Otherwise, the collection is wrapped in the NonEmpty property

  5. nonEmpty :: Collection c => c -> Maybe (NonEmpty c)

    foundation Foundation.Collection

    Smart constructor to create a NonEmpty collection If the collection is empty, then Nothing is returned Otherwise, the collection is wrapped in the NonEmpty property

  6. nonEmpty :: DUALTree d u a l -> Maybe (u, DUALTreeNE d u a l)

    dual-tree Data.Tree.DUAL.Internal

    Decompose a DUAL-tree into either Nothing (if empty) or a top-level cached u annotation paired with a non-empty DUAL-tree.

  7. nonempty :: (AsEmpty e, IsString s) => Reader e s

    envparse Env

    The reader that accepts only non-empty strings

  8. nonempty :: (AsEmpty e, IsString s) => Reader e s

    envparse Env.Internal.Parser

    The reader that accepts only non-empty strings

  9. nonEmpty :: forall c p t . (ADTNonEmpty t, Constraints t c, GenericNonEmptyProfunctor p) => (forall s . c s => p s s) -> p t t

    one-liner Generics.OneLiner

    No documentation available.

  10. nonEmpty :: forall c p t t' . (ADTNonEmpty t t', Constraints t t' c, GenericNonEmptyProfunctor p) => (forall s s' . c s s' => p s s') -> p t t'

    one-liner Generics.OneLiner.Binary

    No documentation available.

Page 2 of many | Previous | Next