Hoogle Search

Within LTS Haskell 24.33 (ghc-9.10.3)

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

Exact lookup

1. mapProp :: (IsList c, IsList d, Eq d, Show d, Show b, Item c ~ a, Item d ~ b, Arbitrary c, Arbitrary b, Show c, Show a, CoArbitrary a, Function a) => Proxy a -> Proxy b -> ((a -> b) -> c -> d) -> Property

   quickcheck-classes-base	Test.QuickCheck.Classes.Base.IsList

   No documentation available.

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

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

   some	Data.Some

   Map over argument.

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

   some	Data.Some.Church

   Map over argument.

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

   some	Data.Some.GADT

   Map over argument.

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

   some	Data.Some.Newtype

   Map over argument.

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

   sop-core	Data.SOP

   Lift the given function.

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

   sop-core	Data.SOP

   Lift the given function.

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

   sop-core	Data.SOP.BasicFunctors

   Lift the given function.

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

    sop-core	Data.SOP.BasicFunctors

    Lift the given function.

Page 173 of many | Previous | Next