Hoogle Search

Within LTS Haskell 24.40 (ghc-9.10.3)

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

Exact lookup

1. 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.

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

   some	Data.Some

   Map over argument.

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

   some	Data.Some.Church

   Map over argument.

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

   some	Data.Some.GADT

   Map over argument.

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

   some	Data.Some.Newtype

   Map over argument.

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

   sop-core	Data.SOP

   Lift the given function.

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

   sop-core	Data.SOP

   Lift the given function.

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

   sop-core	Data.SOP.BasicFunctors

   Lift the given function.

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

   sop-core	Data.SOP.BasicFunctors

   Lift the given function.

10. mapAccumLWithKey :: (forall (v :: k1) . () => a -> k2 v -> f v -> (a, g v)) -> a -> DMap k2 f -> (a, DMap k2 g)

    dependent-map	Data.Dependent.Map

    O(n). The function mapAccumLWithKey threads an accumulating argument through the map in ascending order of keys.

Page 137 of many | Previous | Next