Hoogle Search

Within LTS Haskell 24.64 (ghc-9.10.3)

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

Exact lookup

1. (>>>^) :: forall (m1 :: Type -> Type) (m2 :: Type -> Type) a b c . MonadBase m1 m2 => MSF m2 a b -> MSF m1 b c -> MSF m2 a c

   dunai	Data.MonadicStreamFunction.Core

   Lift the second MSF into the monad of the first.

2. (>>>*<) :: Monoidal f => f (a, b, c) -> f d -> f (a, b, c, d)

   invertible	Control.Invertible.Monoidal

   No documentation available.

3. (>>>>*<) :: Monoidal f => f (a, b, c, d) -> f e -> f (a, b, c, d, e)

   invertible	Control.Invertible.Monoidal

   No documentation available.

4. (>>>.) :: BV -> BV -> BV

   bv	Data.BitVector

   Rotate right.

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

   leancheck	Test.LeanCheck.Utils.TypeBinding

   Type restricted version of const that forces the result of the result of the result of its first argument to have the same type as the second.

6. (->>>:>) :: (a -> b -> c -> d -> e) -> d -> a -> b -> c -> d -> e

   leancheck	Test.LeanCheck.Utils.TypeBinding

   Forces the 4th argument type.

7. (->>>>:) :: (a -> b -> c -> d -> e) -> e -> a -> b -> c -> d -> e

   leancheck	Test.LeanCheck.Utils.TypeBinding

   Forces the result type of a 4-argument function.

8. (->>>>:>) :: (a -> b -> c -> d -> e -> f) -> e -> a -> b -> c -> d -> e -> f

   leancheck	Test.LeanCheck.Utils.TypeBinding

   Forces the 5th argument type.

9. (->>>>>:) :: (a -> b -> c -> d -> e -> f) -> f -> a -> b -> c -> d -> e -> f

   leancheck	Test.LeanCheck.Utils.TypeBinding

   Forces the result type of a 5-argument function.

10. (->>>>>:>) :: (a -> b -> c -> d -> e -> f -> g) -> f -> a -> b -> c -> d -> e -> f -> g

    leancheck	Test.LeanCheck.Utils.TypeBinding

    Forces the 6th argument type.

Page 2 of many | Previous | Next