Data.Bifunctor.BiInvariant

Documentation

class BiInvariant p where

Methods

biinvmap :: (a' -> a) -> (a -> a') -> (b' -> b) -> (b -> b') -> p a b -> p a' b'

Instances

BiInvariant Either

Defined in Data.Bifunctor.BiInvariant

Methods

biinvmap :: (a' -> a) -> (a -> a') -> (b' -> b) -> (b -> b') -> Either a b -> Either a' b'

BiInvariant (,)

Defined in Data.Bifunctor.BiInvariant

Methods

biinvmap :: (a' -> a) -> (a -> a') -> (b' -> b) -> (b -> b') -> (a, b) -> (a', b')

BiInvariant Arg

Defined in Data.Bifunctor.BiInvariant

Methods

biinvmap :: (a' -> a) -> (a -> a') -> (b' -> b) -> (b -> b') -> Arg a b -> Arg a' b'

BiInvariant These

Defined in Data.Bifunctor.BiInvariant

Methods

biinvmap :: (a' -> a) -> (a -> a') -> (b' -> b) -> (b -> b') -> These a b -> These a' b'

BiInvariant ((,,) x1)

Defined in Data.Bifunctor.BiInvariant

Methods

biinvmap :: (a' -> a) -> (a -> a') -> (b' -> b) -> (b -> b') -> (x1, a, b) -> (x1, a', b')

Monad m => BiInvariant (Kleisli m)

Defined in Data.Bifunctor.BiInvariant

Methods

biinvmap :: (a' -> a) -> (a -> a') -> (b' -> b) -> (b -> b') -> Kleisli m a b -> Kleisli m a' b'

BiInvariant (Const :: Type -> Type -> Type)

Defined in Data.Bifunctor.BiInvariant

Methods

biinvmap :: (a' -> a) -> (a -> a') -> (b' -> b) -> (b -> b') -> Const a b -> Const a' b'

Bifunctor bi => BiInvariant (Biap bi)

Defined in Data.Bifunctor.BiInvariant

Methods

biinvmap :: (a' -> a) -> (a -> a') -> (b' -> b) -> (b -> b') -> Biap bi a b -> Biap bi a' b'

BiInvariant (Yoneda p)

Defined in Data.Bifunctor.BiInvariant

Methods

biinvmap :: (a' -> a) -> (a -> a') -> (b' -> b) -> (b -> b') -> Yoneda p a b -> Yoneda p a' b'

BiInvariant (Coyoneda p)

Defined in Data.Bifunctor.BiInvariant

Methods

biinvmap :: (a' -> a) -> (a -> a') -> (b' -> b) -> (b -> b') -> Coyoneda p a b -> Coyoneda p a' b'

Profunctor p => BiInvariant (CofreeMapping p)

Defined in Data.Bifunctor.BiInvariant

Methods

biinvmap :: (a' -> a) -> (a -> a') -> (b' -> b) -> (b -> b') -> CofreeMapping p a b -> CofreeMapping p a' b'

BiInvariant (FreeMapping p)

Defined in Data.Bifunctor.BiInvariant

Methods

biinvmap :: (a' -> a) -> (a -> a') -> (b' -> b) -> (b -> b') -> FreeMapping p a b -> FreeMapping p a' b'

Profunctor p => BiInvariant (CofreeTraversing p)

Defined in Data.Bifunctor.BiInvariant

Methods

biinvmap :: (a' -> a) -> (a -> a') -> (b' -> b) -> (b -> b') -> CofreeTraversing p a b -> CofreeTraversing p a' b'

BiInvariant (FreeTraversing p)

Defined in Data.Bifunctor.BiInvariant

Methods

biinvmap :: (a' -> a) -> (a -> a') -> (b' -> b) -> (b -> b') -> FreeTraversing p a b -> FreeTraversing p a' b'

Profunctor p => BiInvariant (TambaraSum p)

Defined in Data.Bifunctor.BiInvariant

Methods

biinvmap :: (a' -> a) -> (a -> a') -> (b' -> b) -> (b -> b') -> TambaraSum p a b -> TambaraSum p a' b'

BiInvariant (PastroSum p)

Defined in Data.Bifunctor.BiInvariant

Methods

biinvmap :: (a' -> a) -> (a -> a') -> (b' -> b) -> (b -> b') -> PastroSum p a b -> PastroSum p a' b'

BiInvariant (CotambaraSum p)

Defined in Data.Bifunctor.BiInvariant

Methods

biinvmap :: (a' -> a) -> (a -> a') -> (b' -> b) -> (b -> b') -> CotambaraSum p a b -> CotambaraSum p a' b'

BiInvariant (CopastroSum p)

Defined in Data.Bifunctor.BiInvariant

Methods

biinvmap :: (a' -> a) -> (a -> a') -> (b' -> b) -> (b -> b') -> CopastroSum p a b -> CopastroSum p a' b'

Profunctor p => BiInvariant (Closure p)

Defined in Data.Bifunctor.BiInvariant

Methods

biinvmap :: (a' -> a) -> (a -> a') -> (b' -> b) -> (b -> b') -> Closure p a b -> Closure p a' b'

BiInvariant (Environment p)

Defined in Data.Bifunctor.BiInvariant

Methods

biinvmap :: (a' -> a) -> (a -> a') -> (b' -> b) -> (b -> b') -> Environment p a b -> Environment p a' b'

Profunctor p => BiInvariant (Tambara p)

Defined in Data.Bifunctor.BiInvariant

Methods

biinvmap :: (a' -> a) -> (a -> a') -> (b' -> b) -> (b -> b') -> Tambara p a b -> Tambara p a' b'

BiInvariant (Pastro p)

Defined in Data.Bifunctor.BiInvariant

Methods

biinvmap :: (a' -> a) -> (a -> a') -> (b' -> b) -> (b -> b') -> Pastro p a b -> Pastro p a' b'

BiInvariant (Cotambara p)

Defined in Data.Bifunctor.BiInvariant

Methods

biinvmap :: (a' -> a) -> (a -> a') -> (b' -> b) -> (b -> b') -> Cotambara p a b -> Cotambara p a' b'

BiInvariant (Copastro p)

Defined in Data.Bifunctor.BiInvariant

Methods

biinvmap :: (a' -> a) -> (a -> a') -> (b' -> b) -> (b -> b') -> Copastro p a b -> Copastro p a' b'

BiInvariant (Tagged :: Type -> Type -> Type)

Defined in Data.Bifunctor.BiInvariant

Methods

biinvmap :: (a' -> a) -> (a -> a') -> (b' -> b) -> (b -> b') -> Tagged a b -> Tagged a' b'

Bifunctor p => BiInvariant (FromBifunctor p)

Defined in Data.Bifunctor.BiInvariant

Methods

biinvmap :: (a' -> a) -> (a -> a') -> (b' -> b) -> (b -> b') -> FromBifunctor p a b -> FromBifunctor p a' b'

Profunctor p => BiInvariant (FromProfunctor p)

Defined in Data.Bifunctor.BiInvariant

Methods

biinvmap :: (a' -> a) -> (a -> a') -> (b' -> b) -> (b -> b') -> FromProfunctor p a b -> FromProfunctor p a' b'

BiInvariant ((->) :: Type -> Type -> Type)

Defined in Data.Bifunctor.BiInvariant

Methods

biinvmap :: (a' -> a) -> (a -> a') -> (b' -> b) -> (b -> b') -> (a -> b) -> a' -> b'

BiInvariant (K1 i :: Type -> Type -> Type)

Defined in Data.Bifunctor.BiInvariant

Methods

biinvmap :: (a' -> a) -> (a -> a') -> (b' -> b) -> (b -> b') -> K1 i a b -> K1 i a' b'

BiInvariant ((,,,) x1 x2)

Defined in Data.Bifunctor.BiInvariant

Methods

biinvmap :: (a' -> a) -> (a -> a') -> (b' -> b) -> (b -> b') -> (x1, x2, a, b) -> (x1, x2, a', b')

Functor w => BiInvariant (Cokleisli w)

Defined in Data.Bifunctor.BiInvariant

Methods

biinvmap :: (a' -> a) -> (a -> a') -> (b' -> b) -> (b -> b') -> Cokleisli w a b -> Cokleisli w a' b'

Functor f => BiInvariant (Star (FromFunctor f))

Defined in Data.Bifunctor.BiInvariant

Methods

biinvmap :: (a' -> a) -> (a -> a') -> (b' -> b) -> (b -> b') -> Star (FromFunctor f) a b -> Star (FromFunctor f) a' b'

Functor f => BiInvariant (Costar f)

Defined in Data.Bifunctor.BiInvariant

Methods

biinvmap :: (a' -> a) -> (a -> a') -> (b' -> b) -> (b -> b') -> Costar f a b -> Costar f a' b'

BiInvariant (Forget r :: Type -> Type -> Type)

Defined in Data.Bifunctor.BiInvariant

Methods

biinvmap :: (a' -> a) -> (a -> a') -> (b' -> b) -> (b -> b') -> Forget r a b -> Forget r a' b'

BiInvariant ((,,,,) x1 x2 x3)

Defined in Data.Bifunctor.BiInvariant

Methods

biinvmap :: (a' -> a) -> (a -> a') -> (b' -> b) -> (b -> b') -> (x1, x2, x3, a, b) -> (x1, x2, x3, a', b')

Bifunctor p => BiInvariant (WrappedBifunctor p)

Defined in Data.Bifunctor.BiInvariant

Methods

biinvmap :: (a' -> a) -> (a -> a') -> (b' -> b) -> (b -> b') -> WrappedBifunctor p a b -> WrappedBifunctor p a' b'

Functor f => BiInvariant (Joker (FromFunctor f) :: Type -> Type -> Type)

Defined in Data.Bifunctor.BiInvariant

Methods

biinvmap :: (a' -> a) -> (a -> a') -> (b' -> b) -> (b -> b') -> Joker (FromFunctor f) a b -> Joker (FromFunctor f) a' b'

Functor f => BiInvariant (Joker (FromContra f) :: Type -> Type -> Type)

Defined in Data.Bifunctor.BiInvariant

Methods

biinvmap :: (a' -> a) -> (a -> a') -> (b' -> b) -> (b -> b') -> Joker (FromContra f) a b -> Joker (FromContra f) a' b'

Bifunctor p => BiInvariant (Flip p)

Defined in Data.Bifunctor.BiInvariant

Methods

biinvmap :: (a' -> a) -> (a -> a') -> (b' -> b) -> (b -> b') -> Flip p a b -> Flip p a' b'

Functor f => BiInvariant (Clown (FromFunctor f) :: Type -> Type -> Type)

Defined in Data.Bifunctor.BiInvariant

Methods

biinvmap :: (a' -> a) -> (a -> a') -> (b' -> b) -> (b -> b') -> Clown (FromFunctor f) a b -> Clown (FromFunctor f) a' b'

Contravariant f => BiInvariant (Clown (FromContra f) :: Type -> Type -> Type)

Defined in Data.Bifunctor.BiInvariant

Methods

biinvmap :: (a' -> a) -> (a -> a') -> (b' -> b) -> (b -> b') -> Clown (FromContra f) a b -> Clown (FromContra f) a' b'

Profunctor p => BiInvariant (Codensity p)

Defined in Data.Bifunctor.BiInvariant

Methods

biinvmap :: (a' -> a) -> (a -> a') -> (b' -> b) -> (b -> b') -> Codensity p a b -> Codensity p a' b'

Arrow p => BiInvariant (WrappedArrow p)

Defined in Data.Bifunctor.BiInvariant

Methods

biinvmap :: (a' -> a) -> (a -> a') -> (b' -> b) -> (b -> b') -> WrappedArrow p a b -> WrappedArrow p a' b'

BiInvariant ((,,,,,) x1 x2 x3 x4)

Defined in Data.Bifunctor.BiInvariant

Methods

biinvmap :: (a' -> a) -> (a -> a') -> (b' -> b) -> (b -> b') -> (x1, x2, x3, x4, a, b) -> (x1, x2, x3, x4, a', b')

(Bifunctor p, Bifunctor q) => BiInvariant (Sum (FromBifunctor p) (FromBifunctor q))

Defined in Data.Bifunctor.BiInvariant

Methods

biinvmap :: (a' -> a) -> (a -> a') -> (b' -> b) -> (b -> b') -> Sum (FromBifunctor p) (FromBifunctor q) a b -> Sum (FromBifunctor p) (FromBifunctor q) a' b'

(Profunctor p, Profunctor q) => BiInvariant (Sum (FromProfunctor p) (FromProfunctor q))

Defined in Data.Bifunctor.BiInvariant

Methods

biinvmap :: (a' -> a) -> (a -> a') -> (b' -> b) -> (b -> b') -> Sum (FromProfunctor p) (FromProfunctor q) a b -> Sum (FromProfunctor p) (FromProfunctor q) a' b'

(Bifunctor p, Bifunctor q) => BiInvariant (Product (FromBifunctor p) (FromBifunctor q))

Defined in Data.Bifunctor.BiInvariant

Methods

biinvmap :: (a' -> a) -> (a -> a') -> (b' -> b) -> (b -> b') -> Product (FromBifunctor p) (FromBifunctor q) a b -> Product (FromBifunctor p) (FromBifunctor q) a' b'

(Profunctor p, Profunctor q) => BiInvariant (Product (FromProfunctor p) (FromProfunctor q))

Defined in Data.Bifunctor.BiInvariant

Methods

biinvmap :: (a' -> a) -> (a -> a') -> (b' -> b) -> (b -> b') -> Product (FromProfunctor p) (FromProfunctor q) a b -> Product (FromProfunctor p) (FromProfunctor q) a' b'

BiInvariant ((,,,,,,) x1 x2 x3 x4 x5)

Defined in Data.Bifunctor.BiInvariant

Methods

biinvmap :: (a' -> a) -> (a -> a') -> (b' -> b) -> (b -> b') -> (x1, x2, x3, x4, x5, a, b) -> (x1, x2, x3, x4, x5, a', b')

(Functor f, Profunctor q) => BiInvariant (Tannen f q)

Defined in Data.Bifunctor.BiInvariant

Methods

biinvmap :: (a' -> a) -> (a -> a') -> (b' -> b) -> (b -> b') -> Tannen f q a b -> Tannen f q a' b'

(Functor f, Coercible1 f, Bifunctor q) => BiInvariant (Tannen (FromFunctor f) (FromBifunctor q))

Defined in Data.Bifunctor.BiInvariant

Methods

biinvmap :: (a' -> a) -> (a -> a') -> (b' -> b) -> (b -> b') -> Tannen (FromFunctor f) (FromBifunctor q) a b -> Tannen (FromFunctor f) (FromBifunctor q) a' b'

(Functor f, Profunctor q) => BiInvariant (Cayley f q)

Defined in Data.Bifunctor.BiInvariant

Methods

biinvmap :: (a' -> a) -> (a -> a') -> (b' -> b) -> (b -> b') -> Cayley f q a b -> Cayley f q a' b'

(Profunctor p, Profunctor q) => BiInvariant (Ran p q)

Defined in Data.Bifunctor.BiInvariant

Methods

biinvmap :: (a' -> a) -> (a -> a') -> (b' -> b) -> (b -> b') -> Ran p q a b -> Ran p q a' b'

(Profunctor p, Profunctor q) => BiInvariant (Procompose p q)

Defined in Data.Bifunctor.BiInvariant

Methods

biinvmap :: (a' -> a) -> (a -> a') -> (b' -> b) -> (b -> b') -> Procompose p q a b -> Procompose p q a' b'

(Profunctor p, Profunctor q) => BiInvariant (Rift p q)

Defined in Data.Bifunctor.BiInvariant

Methods

biinvmap :: (a' -> a) -> (a -> a') -> (b' -> b) -> (b -> b') -> Rift p q a b -> Rift p q a' b'

(Bifunctor p, Functor f, Functor g) => BiInvariant (Biff (FromBifunctor p) f g)

Defined in Data.Bifunctor.BiInvariant

Methods

biinvmap :: (a' -> a) -> (a -> a') -> (b' -> b) -> (b -> b') -> Biff (FromBifunctor p) f g a b -> Biff (FromBifunctor p) f g a' b'

(Profunctor p, Functor f, Functor g) => BiInvariant (Biff (FromProfunctor p) f g)

Defined in Data.Bifunctor.BiInvariant

Methods

biinvmap :: (a' -> a) -> (a -> a') -> (b' -> b) -> (b -> b') -> Biff (FromProfunctor p) f g a b -> Biff (FromProfunctor p) f g a' b'

biinvIso :: BiInvariant p => Iso (->) a a' -> Iso (->) b b' -> Iso (->) (p a b) (p a' b')

newtype FromProfunctor p a b

Constructors

FromProfunctor

Fields

• runPro :: p a b

Instances

Profunctor p => BiInvariant (FromProfunctor p)

Defined in Data.Bifunctor.BiInvariant

Methods

biinvmap :: (a' -> a) -> (a -> a') -> (b' -> b) -> (b -> b') -> FromProfunctor p a b -> FromProfunctor p a' b'

(Profunctor p, Profunctor q) => BiInvariant (Sum (FromProfunctor p) (FromProfunctor q))

Defined in Data.Bifunctor.BiInvariant

Methods

biinvmap :: (a' -> a) -> (a -> a') -> (b' -> b) -> (b -> b') -> Sum (FromProfunctor p) (FromProfunctor q) a b -> Sum (FromProfunctor p) (FromProfunctor q) a' b'

(Profunctor p, Profunctor q) => BiInvariant (Product (FromProfunctor p) (FromProfunctor q))

Defined in Data.Bifunctor.BiInvariant

Methods

biinvmap :: (a' -> a) -> (a -> a') -> (b' -> b) -> (b -> b') -> Product (FromProfunctor p) (FromProfunctor q) a b -> Product (FromProfunctor p) (FromProfunctor q) a' b'

(Profunctor p, Functor f, Functor g) => BiInvariant (Biff (FromProfunctor p) f g)

Defined in Data.Bifunctor.BiInvariant

Methods

biinvmap :: (a' -> a) -> (a -> a') -> (b' -> b) -> (b -> b') -> Biff (FromProfunctor p) f g a b -> Biff (FromProfunctor p) f g a' b'

newtype FromBifunctor p a b

Constructors

FromBifunctor

Fields

• runBi :: p a b

Instances

Bifunctor p => BiInvariant (FromBifunctor p)

Defined in Data.Bifunctor.BiInvariant

Methods

biinvmap :: (a' -> a) -> (a -> a') -> (b' -> b) -> (b -> b') -> FromBifunctor p a b -> FromBifunctor p a' b'

(Bifunctor p, Bifunctor q) => BiInvariant (Sum (FromBifunctor p) (FromBifunctor q))

Defined in Data.Bifunctor.BiInvariant

Methods

biinvmap :: (a' -> a) -> (a -> a') -> (b' -> b) -> (b -> b') -> Sum (FromBifunctor p) (FromBifunctor q) a b -> Sum (FromBifunctor p) (FromBifunctor q) a' b'

(Bifunctor p, Bifunctor q) => BiInvariant (Product (FromBifunctor p) (FromBifunctor q))

Defined in Data.Bifunctor.BiInvariant

Methods

biinvmap :: (a' -> a) -> (a -> a') -> (b' -> b) -> (b -> b') -> Product (FromBifunctor p) (FromBifunctor q) a b -> Product (FromBifunctor p) (FromBifunctor q) a' b'

(Functor f, Coercible1 f, Bifunctor q) => BiInvariant (Tannen (FromFunctor f) (FromBifunctor q))

Defined in Data.Bifunctor.BiInvariant

Methods

biinvmap :: (a' -> a) -> (a -> a') -> (b' -> b) -> (b -> b') -> Tannen (FromFunctor f) (FromBifunctor q) a b -> Tannen (FromFunctor f) (FromBifunctor q) a' b'

(Bifunctor p, Functor f, Functor g) => BiInvariant (Biff (FromBifunctor p) f g)

Defined in Data.Bifunctor.BiInvariant

Methods

biinvmap :: (a' -> a) -> (a -> a') -> (b' -> b) -> (b -> b') -> Biff (FromBifunctor p) f g a b -> Biff (FromBifunctor p) f g a' b'

newtype FromContra f a

Constructors

FromContra

Fields

• runContra :: f a

Instances

Contravariant f => Contravariant (FromContra f)

Defined in Data.Bifunctor.BiInvariant

Methods

contramap :: (a -> b) -> FromContra f b -> FromContra f a

(>$) :: b -> FromContra f b -> FromContra f a

Functor f => BiInvariant (Joker (FromContra f) :: Type -> Type -> Type)

Defined in Data.Bifunctor.BiInvariant

Methods

biinvmap :: (a' -> a) -> (a -> a') -> (b' -> b) -> (b -> b') -> Joker (FromContra f) a b -> Joker (FromContra f) a' b'

Contravariant f => BiInvariant (Clown (FromContra f) :: Type -> Type -> Type)

Defined in Data.Bifunctor.BiInvariant

Methods

biinvmap :: (a' -> a) -> (a -> a') -> (b' -> b) -> (b -> b') -> Clown (FromContra f) a b -> Clown (FromContra f) a' b'

newtype FromFunctor f a

Constructors

FromFunctor

Fields

• runFunctor :: f a

Instances

Functor f => Functor (FromFunctor f)

Defined in Data.Bifunctor.BiInvariant

Methods

fmap :: (a -> b) -> FromFunctor f a -> FromFunctor f b

(<$) :: a -> FromFunctor f b -> FromFunctor f a

Functor f => BiInvariant (Star (FromFunctor f))

Defined in Data.Bifunctor.BiInvariant

Methods

biinvmap :: (a' -> a) -> (a -> a') -> (b' -> b) -> (b -> b') -> Star (FromFunctor f) a b -> Star (FromFunctor f) a' b'

Functor f => BiInvariant (Joker (FromFunctor f) :: Type -> Type -> Type)

Defined in Data.Bifunctor.BiInvariant

Methods

biinvmap :: (a' -> a) -> (a -> a') -> (b' -> b) -> (b -> b') -> Joker (FromFunctor f) a b -> Joker (FromFunctor f) a' b'

Functor f => BiInvariant (Clown (FromFunctor f) :: Type -> Type -> Type)

Defined in Data.Bifunctor.BiInvariant

Methods

biinvmap :: (a' -> a) -> (a -> a') -> (b' -> b) -> (b -> b') -> Clown (FromFunctor f) a b -> Clown (FromFunctor f) a' b'

(Functor f, Coercible1 f, Bifunctor q) => BiInvariant (Tannen (FromFunctor f) (FromBifunctor q))

Defined in Data.Bifunctor.BiInvariant

Methods

biinvmap :: (a' -> a) -> (a -> a') -> (b' -> b) -> (b -> b') -> Tannen (FromFunctor f) (FromBifunctor q) a b -> Tannen (FromFunctor f) (FromBifunctor q) a' b'

type Coercible1 f = forall a b. Coercible a b => Coercible (f a) (f b) :: Constraint

type Coercible2 f = forall a b c d. (Coercible a b, Coercible c d) => Coercible (f a c) (f b d) :: Constraint