Hoogle Search

Within LTS Haskell 24.34 (ghc-9.10.3)

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

Exact lookup

1. mapMaybeMProp :: (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 -> (forall s . () => (a -> ST s (Maybe b)) -> c -> ST s d) -> Property

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

   No documentation available.

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

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

   Property for the mapMaybe function, which keeps elements for which the predicate holds true.

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

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

   selective	Control.Selective.Trans.Except

   No documentation available.

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

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

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

   some	Data.Some

   Map over argument.

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

   some	Data.Some.Church

   Map over argument.

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

   some	Data.Some.GADT

   Map over argument.

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

    some	Data.Some.Newtype

    Map over argument.

Page 176 of many | Previous | Next