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. invmap2Bifunctor :: Bifunctor f => (a -> c) -> (c -> a) -> (b -> d) -> (d -> b) -> f a b -> f c d

   invariant	Data.Functor.Invariant

   Every Bifunctor is also an Invariant2 functor.

2. invmap2Profunctor :: Profunctor f => (a -> c) -> (c -> a) -> (b -> d) -> (d -> b) -> f a b -> f c d

   invariant	Data.Functor.Invariant

   Every Profunctor is also an Invariant2 functor.

3. invmapArrow :: Arrow arr => (a -> b) -> (b -> a) -> arr a a -> arr b b

   invariant	Data.Functor.Invariant

   An Arrow with the same input and output types can be seen as an Invariant functor.

4. invmapContravariant :: Contravariant f => (a -> b) -> (b -> a) -> f a -> f b

   invariant	Data.Functor.Invariant

   Every Contravariant functor is also an Invariant functor.

5. invmapFunctor :: Functor f => (a -> b) -> (b -> a) -> f a -> f b

   invariant	Data.Functor.Invariant

   Every Functor is also an Invariant functor.

6. invmapProfunctor :: Profunctor p => (a -> b) -> (b -> a) -> p a a -> p b b

   invariant	Data.Functor.Invariant

   A Profunctor with the same input and output types can be seen as an Invariant functor.

7. makeInvmap :: Name -> Q Exp

   invariant	Data.Functor.Invariant.TH

   Generates a lambda expression which behaves like invmap (without requiring an Invariant instance).

8. makeInvmap2 :: Name -> Q Exp

   invariant	Data.Functor.Invariant.TH

   Generates a lambda expression which behaves like invmap2 (without requiring an Invariant2 instance).

9. makeInvmap2Options :: Options -> Name -> Q Exp

   invariant	Data.Functor.Invariant.TH

   Like makeInvmap2, but takes an Options argument.

10. makeInvmapOptions :: Options -> Name -> Q Exp

    invariant	Data.Functor.Invariant.TH

    Like makeInvmap, but takes an Options argument.

Page 527 of many | Previous | Next