Hoogle Search

Within LTS Haskell 24.55 (ghc-9.10.3)

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

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

    leancheck Test.LeanCheck.Utils.TypeBinding

    Forces the result type of a 10-argument function.

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

    leancheck Test.LeanCheck.Utils.TypeBinding

    Forces the type of the 11th argument.

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

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

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

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

    relude Relude.Monad.Maybe

    Similar to fromMaybe but with flipped arguments. 

    >>> readMaybe "True" ?: False
True

    >>> readMaybe "Tru" ?: False
False

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

  8. (/:) :: (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

  9. (=:) :: 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).

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

    vinyl Data.Vinyl.Derived

    Shorthand for a FieldRec with a single field.

Page 81 of many | Previous | Next