Hoogle Search

Within LTS Haskell 24.27 (ghc-9.10.3)

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

  1. nonEmpty :: forall (n :: Natural) a . Vector n a -> LeqProof 1 n

    parameterized-utils Data.Parameterized.Vector

    Proof that the length of this vector is not 0.

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

    checkers Test.QuickCheck.Instances.List

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

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

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

  5. nonEmpty :: HasNonEmpty s => s -> Maybe (NE s)

    nonempty-containers Data.Containers.NonEmpty

    "Smart constructor" for NE s given a (potentailly empty) s. Will return Nothing if the s was empty, and Just n if the s was not empty, with n :: NE s. Should form an isomorphism with maybe empty fromNonEmpty.

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

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

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

    No documentation available.

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

    No documentation available.

Page 2 of many | Previous | Next