Hoogle Search

Within LTS Haskell 24.45 (ghc-9.10.3)

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

Exact lookup

1. mapExcept :: (Either e a -> Either e' b) -> Except e a -> Except e' b

   selective	Control.Selective.Trans.Except

   No documentation available.

2. mapExceptT :: (m (Either e a) -> n (Either e' b)) -> ExceptT e m a -> ExceptT e' n b

   selective	Control.Selective.Trans.Except

   No documentation available.

3. mapSigma :: forall a b (f :: a ~> b) (p :: a ~> Type) (q :: b ~> Type) . Sing f -> (forall (x :: a) . () => (p @@ x) -> q @@ (f @@ x)) -> Sigma a p -> Sigma b q

   singletons	Data.Singletons.Sigma

   Map across a Sigma value in a dependent fashion.

4. mapSome :: (forall (t :: k) . () => f t -> g t) -> Some f -> Some g

   some	Data.Some

   Map over argument.

5. mapSome :: (forall (x :: k) . () => f x -> g x) -> Some f -> Some g

   some	Data.Some.Church

   Map over argument.

6. mapSome :: (forall (x :: k) . () => f x -> g x) -> Some f -> Some g

   some	Data.Some.GADT

   Map over argument.

7. mapSome :: (forall (t :: k) . () => f t -> g t) -> Some f -> Some g

   some	Data.Some.Newtype

   Map over argument.

8. mapII :: (a -> b) -> I a -> I b

   sop-core	Data.SOP

   Lift the given function.

9. mapIII :: (a -> b -> c) -> I a -> I b -> I c

   sop-core	Data.SOP

   Lift the given function.

10. mapII :: (a -> b) -> I a -> I b

    sop-core	Data.SOP.BasicFunctors

    Lift the given function.

Page 137 of many | Previous | Next