Hoogle Search

Within LTS Haskell 24.22 (ghc-9.10.3)

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

Exact lookup

1. (:&:) :: forall s (a :: s ~> Type) (fst :: s) . Sing fst -> (a @@ fst) -> Sigma s a

   singletons	Data.Singletons.Sigma

   No documentation available.

2. (<&>) :: Functor f => f a -> (a -> b) -> f b

   relude	Relude.Functor.Fmap

   Flipped version of <$>.

   (<&>) = flip fmap
   

   Examples

   Apply (+1) to a list, a Just and a Right:

   >>> Just 2 <&> (+1)
   Just 3
   

   >>> [1,2,3] <&> (+1)
   [2,3,4]
   

   >>> Right 3 <&> (+1)
   Right 4
   

3. (<&&>) :: Selective f => f Bool -> f Bool -> f Bool

   selective	Control.Selective

   A lifted version of lazy Boolean AND.

4. (<&?>) :: Filterable f => f a -> (a -> Maybe b) -> f b

   witherable	Witherable

   Flipped version of <$?>, the Filterable version of <&>. It has the same fixity as <&>.

   (<&?>) = flip mapMaybe
   

5. (<&) :: LogAction m msg -> msg -> m ()

   co-log-core	Colog.Core.Action

   Operator version of unLogAction. Note that because of the types, something like:

   action <& msg1 <& msg2
   

   doesn't make sense. Instead you want:

   action <& msg1 >> action <& msg2
   

   In addition, because <& has higher precedence than the other operators in this module, the following:

   f >$< action <& msg
   

   is equivalent to:

   (f >$< action) <& msg
   

6. (%&&) :: forall (a :: Bool) (b :: Bool) . Sing a -> Sing b -> Sing (a && b)

   singletons-base	Data.Bool.Singletons

   Conjunction of singletons

7. (%&) :: forall a b (t1 :: a) (t2 :: a ~> b) . Sing t1 -> Sing t2 -> Sing (Apply (Apply ((&@#@$) :: TyFun a ((a ~> b) ~> b) -> Type) t1) t2)

   singletons-base	Data.Function.Singletons

   No documentation available.

8. (%<&>) :: forall (f :: Type -> Type) a b (t1 :: f a) (t2 :: a ~> b) . SFunctor f => Sing t1 -> Sing t2 -> Sing (Apply (Apply ((<&>@#@$) :: TyFun (f a) ((a ~> b) ~> f b) -> Type) t1) t2)

   singletons-base	Data.Functor.Singletons

   No documentation available.

9. type family (a1 :: f a) <&> (a2 :: a ~> b) :: f b

   singletons-base	Data.Functor.Singletons

   No documentation available.

10. data (a6989586621679541705 :: f a) <&>@#@$$ (b1 :: TyFun a ~> b f b)

    singletons-base	Data.Functor.Singletons

    No documentation available.

Page 30 of many | Previous | Next