Hoogle Search

Within LTS Haskell 24.40 (ghc-9.10.3)

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

Exact lookup

1. data Pure1 (c :: a -> b) (d :: a) (e :: b)

   first-class-families	Fcf.Combinators

   No documentation available.

2. data Pure2 (d :: a -> b -> c) (e :: a) (f :: b) (g :: c)

   first-class-families	Fcf.Combinators

   No documentation available.

3. data Pure3 (e :: a -> b -> c -> d) (f :: a) (g :: b) (h :: c) (i :: d)

   first-class-families	Fcf.Combinators

   No documentation available.

4. data Pure4 (f :: a -> b -> c -> d -> e) (g :: a) (h :: b) (i :: c) (j :: d) (k :: e)

   first-class-families	Fcf.Combinators

   No documentation available.

5. data Pure5 (g :: a -> b -> c -> d -> e -> f) (h :: a) (i :: b) (j :: c) (k :: d) (l :: e) (m :: f)

   first-class-families	Fcf.Combinators

   No documentation available.

6. data Pure6 (h :: a -> b -> c -> d -> e -> f -> g) (i :: a) (j :: b) (k :: c) (l :: d) (m :: e) (n :: f) (o :: g)

   first-class-families	Fcf.Combinators

   No documentation available.

7. data Pure7 (i :: a -> b -> c -> d -> e -> f -> g -> h) (j :: a) (k :: b) (l :: c) (m :: d) (n :: e) (o :: f) (p :: g) (q :: h)

   first-class-families	Fcf.Combinators

   No documentation available.

8. data Pure8 (j :: a -> b -> c -> d -> e -> f -> g -> h -> i) (k :: a) (l :: b) (m :: c) (n :: d) (o :: e) (p :: f) (q :: g) (r :: h) (s :: i)

   first-class-families	Fcf.Combinators

   No documentation available.

9. data Pure9 (k :: a -> b -> c -> d -> e -> f -> g -> h -> i -> j) (l :: a) (m :: b) (n :: c) (o :: d) (p :: e) (q :: f) (r :: g) (s :: h) (t :: i) (u :: j)

   first-class-families	Fcf.Combinators

   No documentation available.

10. data Partition (b :: a -> Exp Bool) (c :: [a]) (d :: ([a], [a]))

    first-class-families	Fcf.Data.List

    Split a list into one where all elements satisfy a predicate, and a second where no elements satisfy it.

    Example

    >>> :kind! Eval (Partition ((>=) 35) [20, 30, 40, 50])
    Eval (Partition ((>=) 35) [20, 30, 40, 50]) :: ([Natural],
    [Natural])
    = '([20, 30], [40, 50])
    

Page 337 of many | Previous | Next