Hoogle Search

Within LTS Haskell 24.41 (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) -> 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. (=:) :: 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