Hoogle Search

Within LTS Haskell 24.32 (ghc-9.10.3)

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

Exact lookup

1. (->>>>>>>>>>>:) :: (a -> b -> c -> d -> e -> f -> g -> h -> i -> j -> k -> l) -> l -> a -> b -> c -> d -> e -> f -> g -> h -> i -> j -> k -> l

   leancheck	Test.LeanCheck.Utils.TypeBinding

   Forces the result type of a 11-argument function.

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

   leancheck	Test.LeanCheck.Utils.TypeBinding

   Forces the type of the 12th argument.

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

   leancheck	Test.LeanCheck.Utils.TypeBinding

   Forces the result type of a 12-argument function.

4. (?:) :: Maybe a -> a -> a

   relude	Relude.Monad.Maybe

   Similar to fromMaybe but with flipped arguments.

   >>> readMaybe "True" ?: False
   True
   

   >>> readMaybe "Tru" ?: False
   False
   

5. (/:) :: (a -> b -> c) -> b -> a -> c

   servant-client-core	Servant.Client.Core.HasClient

   Convenience function for supplying arguments to client functions when working with records of clients. Intended to be used in conjunction with (//). Example:

   type Api = NamedRoutes RootApi
   
   data RootApi mode = RootApi
   { subApi :: mode :- Capture "token" String :> NamedRoutes SubApi
   , hello :: mode :- Capture "name" String :> Get '[JSON] String
   , …
   } deriving Generic
   
   data SubApi mode = SubApi
   { endpoint :: mode :- Get '[JSON] Person
   , …
   } deriving Generic
   
   api :: Proxy API
   api = Proxy
   
   rootClient :: RootApi (AsClientT ClientM)
   rootClient = client api
   
   hello :: String -> ClientM String
   hello name = rootClient // hello /: name
   
   endpointClient :: ClientM Person
   endpointClient = client // subApi /: "foobar123" // endpoint
   

6. (/:) :: (a -> b -> c) -> b -> a -> c

   servant-client-core	Servant.Client.Core.Reexport

   Convenience function for supplying arguments to client functions when working with records of clients. Intended to be used in conjunction with (//). Example:

   type Api = NamedRoutes RootApi
   
   data RootApi mode = RootApi
   { subApi :: mode :- Capture "token" String :> NamedRoutes SubApi
   , hello :: mode :- Capture "name" String :> Get '[JSON] String
   , …
   } deriving Generic
   
   data SubApi mode = SubApi
   { endpoint :: mode :- Get '[JSON] Person
   , …
   } deriving Generic
   
   api :: Proxy API
   api = Proxy
   
   rootClient :: RootApi (AsClientT ClientM)
   rootClient = client api
   
   hello :: String -> ClientM String
   hello name = rootClient // hello /: name
   
   endpointClient :: ClientM Person
   endpointClient = client // subApi /: "foobar123" // endpoint
   

7. (=:) :: forall (l :: Symbol) v . KnownSymbol l => Label l -> v -> ElField (l ::: v)

   vinyl	Data.Vinyl.Derived

   Operator for creating an ElField. With the -XOverloadedLabels extension, this permits usage such as, #foo =: 23 to produce a value of type ElField ("foo" ::: Int).

8. (=:=) :: forall (s :: Symbol) a . KnownSymbol s => Label s -> a -> FieldRec '['(s, a)]

   vinyl	Data.Vinyl.Derived

   Shorthand for a FieldRec with a single field.

9. type (rs :: [k]) <: (ss :: [k]) = rs ⊆ ss

   vinyl	Data.Vinyl.Lens

   A non-unicode equivalent of (⊆).

10. type (rs :: [k]) <: (ss :: [k]) = rs ⊆ ss

    vinyl	Data.Vinyl.Notation

    A non-unicode equivalent of (⊆).

Page 81 of many | Previous | Next