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. (:<|>) :: a -> b -> (:<|>) a b

   gogol-core	Gogol.Prelude

   No documentation available.

2. data (path :: k) :> a

   gogol-core	Gogol.Prelude

   The contained API (second argument) can be found under ("/" ++ path) (path being the first argument). Example:

   >>> -- GET /hello/world
   
   >>> -- returning a JSON encoded World value
   
   >>> type MyApi = "hello" :> "world" :> Get '[JSON] World
   

3. (:.) :: forall a (n1 :: Nat) . a -> Vec n1 a -> Vec ('S n1) a

   hedgehog	Hedgehog.Internal.Gen

   No documentation available.

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

   profunctors	Data.Profunctor

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

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

   profunctors	Data.Profunctor.Types

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

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

   base-compat	Data.List.NonEmpty.Compat

   No documentation available.

7. (:|) :: a -> DList a -> DNonEmpty a

   dlist	Data.DList.DNonEmpty

   No documentation available.

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

   bifunctors	Data.Bifunctor.Functor

   Using parametricity as an approximation of a natural transformation in two arguments.

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

   servant	Servant.API

   No documentation available.

10. data a :<|> b

    servant	Servant.API.Alternative

    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 5 of many | Previous | Next