Hoogle Search

Within LTS Haskell 24.4 (ghc-9.10.2)

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

Exact lookup

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

   containers	Data.Sequence.Internal

   A bidirectional pattern synonym viewing the rear of a non-empty sequence.

2. (:*:) :: a -> b -> StrictPair a b

   containers	Utils.Containers.Internal.StrictPair

   No documentation available.

3. data a :-> c

   QuickCheck	Test.QuickCheck.Function

   The type of possibly partial concrete functions

4. data (a :: k) :~: (b :: k)

   lens	Control.Lens.Combinators

   Propositional equality. If a :~: b is inhabited by some terminating value, then the type a is the same as the type b. To use this equality in practice, pattern-match on the a :~: b to get out the Refl constructor; in the body of the pattern-match, the compiler knows that a ~ b.

5. pattern (:<) :: Cons b b a a => a -> b -> b

   lens	Control.Lens.Cons

   No documentation available.

6. pattern (:>) :: Snoc a a b b => a -> b -> a

   lens	Control.Lens.Cons

   No documentation available.

7. data (a :: k) :~: (b :: k)

   lens	Control.Lens.Equality

   Propositional equality. If a :~: b is inhabited by some terminating value, then the type a is the same as the type b. To use this equality in practice, pattern-match on the a :~: b to get out the Refl constructor; in the body of the pattern-match, the compiler knows that a ~ b.

8. data i :~> f

   test-framework	Test.Framework.Providers.API

   No documentation available.

9. type family (mode :: k) :- api

   gogol-core	Gogol.Prelude

   No documentation available.

10. data a :<|> b

    gogol-core	Gogol.Prelude

    Union of two APIs, first takes precedence in case of overlap. Example:

    >>> :{
    type MyApi = "books" :> Get '[JSON] [Book] -- GET /books
    :<|> "books" :> ReqBody '[JSON] Book :> Post '[JSON] () -- POST /books
    :}
    

Page 4 of many | Previous | Next