Hoogle Search

Within LTS Haskell 24.31 (ghc-9.10.3)

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

  1. pattern (:||>) :: Seq a -> a -> NESeq a

    nonempty-containers Data.Sequence.NonEmpty

    O(1). An abstract constructor for an NESeq that consists of a "init" Seq a and a "last" a. Similar to :| for NonEmpty, but at the end of the list instead of at the beginning. Can be used to match on the init and last of an NESeq, and also used to construct an NESeq by snocing an item to the end of a Seq, ensuring that the result is non-empty.

  2. pattern (:<||) :: a -> Seq a -> NESeq a

    nonempty-containers Data.Sequence.NonEmpty.Internal

    O(1). An abstract constructor for an NESeq that consists of a "head" a and a "tail" Seq a. Similar to :| for NonEmpty. Can be used to match on the head and tail of an NESeq, and also used to construct an NESeq by consing an item to the beginnong of a Seq, ensuring that the result is non-empty.

  3. pattern (:||>) :: Seq a -> a -> NESeq a

    nonempty-containers Data.Sequence.NonEmpty.Internal

    O(1). An abstract constructor for an NESeq that consists of a "init" Seq a and a "last" a. Similar to :| for NonEmpty, but at the end of the list instead of at the beginning. Can be used to match on the init and last of an NESeq, and also used to construct an NESeq by snocing an item to the end of a Seq, ensuring that the result is non-empty.

  4. type family wrap ::: wrapped

    optparse-generic Options.Generic

    A type family to extract fields wrapped using (<?>)

  5. type (p :: k -> k1 -> Type) :-> (q :: k -> k1 -> Type) = forall (a :: k) (b :: k1) . () => p a b -> q a b

    rebase Rebase.Prelude

    (:->) has a polymorphic kind since 5.6.

  6. (:|) :: a -> [a] -> NonEmpty a

    rebase Rebase.Prelude

    No documentation available.

  7. (:+) :: Integer -> Integer -> EisensteinInteger

    arithmoi Math.NumberTheory.Quadratic.EisensteinIntegers

    No documentation available.

  8. (:+) :: Integer -> Integer -> GaussianInteger

    arithmoi Math.NumberTheory.Quadratic.GaussianIntegers

    No documentation available.

  9. data ((f :: k -> Type) :*: (g :: k -> Type)) (p :: k)

    barbies Barbies.Internal

    Products: encode multiple arguments to constructors

  10. (:*:) :: f p -> g p -> (:*:) (f :: k -> Type) (g :: k -> Type) (p :: k)

    barbies Barbies.Internal

    No documentation available.

Page 33 of many | Previous | Next