Modulerebase-1.21.2Haskell2010

Rebase.Data.Functor.Invariant

6 types
2 classes
7 values

Packagerebase-1.21.2
Exports15
LanguageHaskell2010
LicenceMIT
SourceInvariant.hs

classclass Invariant (f :: Type -> Type) where

Any * -> * type parametric in the argument permits an instance of Invariant.

Instances should satisfy the following laws:

invmap id id = id
invmap f2 f2' . invmap f1 f1' = invmap (f2 . f1) (f1' . f2')

Methods

invmap :: (a -> b) -> (b -> a) -> f a -> f b

Instances130Invariant, …

Invariant SettableStateVarDefined in invariant-0.6.4 · Data.Functor.Invariant
from the StateVar package
Invariant StateVarDefined in invariant-0.6.4 · Data.Functor.Invariant
from the StateVar package
Invariant ComplexDefined in invariant-0.6.4 · Data.Functor.Invariant
from Data.Complex
Invariant ComparisonDefined in invariant-0.6.4 · Data.Functor.Invariant
from the contravariant package
Invariant EquivalenceDefined in invariant-0.6.4 · Data.Functor.Invariant
from the contravariant package
Invariant PredicateDefined in invariant-0.6.4 · Data.Functor.Invariant
from the contravariant package
Invariant FirstDefined in invariant-0.6.4 · Data.Functor.Invariant
from Data.Semigroup
Invariant LastDefined in invariant-0.6.4 · Data.Functor.Invariant
from Data.Semigroup
Invariant MaxDefined in invariant-0.6.4 · Data.Functor.Invariant
from Data.Semigroup
Invariant MinDefined in invariant-0.6.4 · Data.Functor.Invariant
from Data.Semigroup
Invariant ArgDescrDefined in invariant-0.6.4 · Data.Functor.Invariant
from System.Console.GetOpt
Invariant ArgOrderDefined in invariant-0.6.4 · Data.Functor.Invariant
from System.Console.GetOpt
Invariant OptDescrDefined in invariant-0.6.4 · Data.Functor.Invariant
from System.Console.GetOpt
Invariant IntMapDefined in invariant-0.6.4 · Data.Functor.Invariant
from the containers package
Invariant SeqDefined in invariant-0.6.4 · Data.Functor.Invariant
from the containers package
Invariant ViewLDefined in invariant-0.6.4 · Data.Functor.Invariant
from the containers package
Invariant ViewRDefined in invariant-0.6.4 · Data.Functor.Invariant
from the containers package
Invariant TreeDefined in invariant-0.6.4 · Data.Functor.Invariant
from the containers package
Invariant NonEmptyDefined in invariant-0.6.4 · Data.Functor.Invariant
from Data.List.NonEmpty
Invariant STMDefined in invariant-0.6.4 · Data.Functor.Invariant
from the stm package
Invariant HandlerDefined in invariant-0.6.4 · Data.Functor.Invariant
from Control.Exception
Invariant IdentityDefined in invariant-0.6.4 · Data.Functor.Invariant
from Data.Functor.Identity
Invariant FirstDefined in invariant-0.6.4 · Data.Functor.Invariant
from Data.Monoid
Invariant LastDefined in invariant-0.6.4 · Data.Functor.Invariant
from Data.Monoid
Invariant DualDefined in invariant-0.6.4 · Data.Functor.Invariant
from Data.Monoid
Invariant EndoDefined in invariant-0.6.4 · Data.Functor.Invariant
from Data.Monoid
Invariant ProductDefined in invariant-0.6.4 · Data.Functor.Invariant
from Data.Monoid
Invariant SumDefined in invariant-0.6.4 · Data.Functor.Invariant
from Data.Monoid
Invariant ZipListDefined in invariant-0.6.4 · Data.Functor.Invariant
from Control.Applicative
Invariant Par1Defined in invariant-0.6.4 · Data.Functor.Invariant
from GHC.Generics
Invariant MaybeDefined in invariant-0.6.4 · Data.Functor.Invariant
Invariant ReadPDefined in invariant-0.6.4 · Data.Functor.Invariant
Invariant ReadPrecDefined in invariant-0.6.4 · Data.Functor.Invariant
Invariant IODefined in invariant-0.6.4 · Data.Functor.Invariant
Invariant []Defined in invariant-0.6.4 · Data.Functor.Invariant
Monad m => Invariant (WrappedMonad m)Defined in invariant-0.6.4 · Data.Functor.Invariant
from Control.Applicative
Arrow a => Invariant (ArrowMonad a)Defined in invariant-0.6.4 · Data.Functor.Invariant
from Control.Arrow
Invariant ProxyDefined in invariant-0.6.4 · Data.Functor.Invariant
from Data.Proxy
Invariant U1Defined in invariant-0.6.4 · Data.Functor.Invariant
from GHC.Generics
Invariant UAddrDefined in invariant-0.6.4 · Data.Functor.Invariant
from GHC.Generics
Invariant UCharDefined in invariant-0.6.4 · Data.Functor.Invariant
from GHC.Generics
Invariant UDoubleDefined in invariant-0.6.4 · Data.Functor.Invariant
from GHC.Generics
Invariant UFloatDefined in invariant-0.6.4 · Data.Functor.Invariant
from GHC.Generics
Invariant UIntDefined in invariant-0.6.4 · Data.Functor.Invariant
from GHC.Generics
Invariant UWordDefined in invariant-0.6.4 · Data.Functor.Invariant
from GHC.Generics
Invariant V1Defined in invariant-0.6.4 · Data.Functor.Invariant
from GHC.Generics
Invariant (Op a)Defined in invariant-0.6.4 · Data.Functor.Invariant
from the contravariant package
Invariant (Arg a)Defined in invariant-0.6.4 · Data.Functor.Invariant
from Data.Semigroup
Invariant (Map k)Defined in invariant-0.6.4 · Data.Functor.Invariant
from the containers package
Invariant (Array i)Defined in invariant-0.6.4 · Data.Functor.Invariant
from the array package
Invariant (ST s)Defined in invariant-0.6.4 · Data.Functor.Invariant
Invariant (Either a)Defined in invariant-0.6.4 · Data.Functor.Invariant
Invariant (ST s)Defined in invariant-0.6.4 · Data.Functor.Invariant
Invariant (Tuple2 a)Defined in invariant-0.6.4 · Data.Functor.Invariant
Invariant (HashMap k)Defined in invariant-0.6.4 · Data.Functor.Invariant
from the unordered-containers package
Invariant f => Invariant (Lift f)Defined in invariant-0.6.4 · Data.Functor.Invariant
from the transformers package
Invariant m => Invariant (MaybeT m)Defined in invariant-0.6.4 · Data.Functor.Invariant
from the transformers package
Contravariant f => Invariant (WrappedContravariant f)Defined in invariant-0.6.4 · Data.Functor.Invariant
Functor f => Invariant (WrappedFunctor f)Defined in invariant-0.6.4 · Data.Functor.Invariant
Arrow arr => Invariant (WrappedArrow arr a)Defined in invariant-0.6.4 · Data.Functor.Invariant
from Control.Applicative
Arrow c => Invariant (InvariantArrow c)Defined in invariant-0.6.4 · Data.Functor.Invariant
Invariant (Const a)Defined in invariant-0.6.4 · Data.Functor.Invariant
from Control.Applicative
Invariant (Tuple3 a b)Defined in invariant-0.6.4 · Data.Functor.Invariant
Invariant (Day f g)Defined in kan-extensions-5.2.7 · Data.Functor.Invariant.Day
Invariant (CopastroSum p a)Defined in invariant-0.6.4 · Data.Functor.Invariant
from the profunctors package
Invariant (CotambaraSum p a)Defined in invariant-0.6.4 · Data.Functor.Invariant
from the profunctors package
Invariant (PastroSum p a)Defined in invariant-0.6.4 · Data.Functor.Invariant
from the profunctors package
Invariant (Environment p a)Defined in invariant-0.6.4 · Data.Functor.Invariant
from the profunctors package
Invariant (FreeMapping p a)Defined in invariant-0.6.4 · Data.Functor.Invariant
from the profunctors package
Invariant (Copastro p a)Defined in invariant-0.6.4 · Data.Functor.Invariant
from the profunctors package
Invariant (Cotambara p a)Defined in invariant-0.6.4 · Data.Functor.Invariant
from the profunctors package
Invariant (Pastro p a)Defined in invariant-0.6.4 · Data.Functor.Invariant
from the profunctors package
Invariant (FreeTraversing p a)Defined in invariant-0.6.4 · Data.Functor.Invariant
from the profunctors package
Invariant (Coyoneda p a)Defined in invariant-0.6.4 · Data.Functor.Invariant
from the profunctors package
Invariant (Yoneda p a)Defined in invariant-0.6.4 · Data.Functor.Invariant
from the profunctors package
Invariant (Tagged s)Defined in invariant-0.6.4 · Data.Functor.Invariant
from the tagged package
Invariant (Constant a)Defined in invariant-0.6.4 · Data.Functor.Invariant
from the transformers package
Invariant f => Invariant (Alt f)Defined in invariant-0.6.4 · Data.Functor.Invariant
from Data.Monoid
Invariant f => Invariant (Rec1 f)Defined in invariant-0.6.4 · Data.Functor.Invariant
from GHC.Generics
Invariant f => Invariant (Backwards f)Defined in invariant-0.6.4 · Data.Functor.Invariant
from the transformers package
Invariant f => Invariant (Reverse f)Defined in invariant-0.6.4 · Data.Functor.Invariant
from the transformers package
Invariant m => Invariant (Kleisli m a)Defined in invariant-0.6.4 · Data.Functor.Invariant
from Control.Arrow
Invariant m => Invariant (ExceptT e m)Defined in invariant-0.6.4 · Data.Functor.Invariant
from the transformers package
Invariant m => Invariant (IdentityT m)Defined in invariant-0.6.4 · Data.Functor.Invariant
from the transformers package
Invariant m => Invariant (ReaderT r m)Defined in invariant-0.6.4 · Data.Functor.Invariant
from the transformers package
Invariant m => Invariant (StateT s m)Defined in invariant-0.6.4 · Data.Functor.Invariant
from the transformers package
Invariant m => Invariant (StateT s m)Defined in invariant-0.6.4 · Data.Functor.Invariant
from the transformers package
Invariant m => Invariant (WriterT w m)Defined in invariant-0.6.4 · Data.Functor.Invariant
from the transformers package
Invariant m => Invariant (WriterT w m)Defined in invariant-0.6.4 · Data.Functor.Invariant
from the transformers package
Invariant2 p => Invariant (Fix p)Defined in invariant-0.6.4 · Data.Functor.Invariant
from the bifunctors package
Invariant2 p => Invariant (Join p)Defined in invariant-0.6.4 · Data.Functor.Invariant
from the bifunctors package
Invariant2 p => Invariant (TambaraSum p a)Defined in invariant-0.6.4 · Data.Functor.Invariant
from the profunctors package
Invariant2 p => Invariant (Closure p a)Defined in invariant-0.6.4 · Data.Functor.Invariant
from the profunctors package
Invariant2 p => Invariant (Coprep p)Defined in invariant-0.6.4 · Data.Functor.Invariant
from the profunctors package
Invariant2 p => Invariant (Prep p)Defined in invariant-0.6.4 · Data.Functor.Invariant
from the profunctors package
Invariant2 p => Invariant (Tambara p a)Defined in invariant-0.6.4 · Data.Functor.Invariant
from the profunctors package
Profunctor p => Invariant (InvariantProfunctor p)Defined in invariant-0.6.4 · Data.Functor.Invariant
(Invariant f, Invariant g) => Invariant (Compose f g)Defined in invariant-0.6.4 · Data.Functor.Invariant
from the contravariant package
(Invariant f, Invariant g) => Invariant (ComposeCF f g)Defined in invariant-0.6.4 · Data.Functor.Invariant
from the contravariant package
(Invariant f, Invariant g) => Invariant (ComposeFC f g)Defined in invariant-0.6.4 · Data.Functor.Invariant
from the contravariant package
Invariant (Cokleisli w a)Defined in invariant-0.6.4 · Data.Functor.Invariant
from the comonad package
Invariant (K1 i c)Defined in invariant-0.6.4 · Data.Functor.Invariant
from GHC.Generics
Invariant (Tuple4 a b c)Defined in invariant-0.6.4 · Data.Functor.Invariant
Invariant (Costar f a)Defined in invariant-0.6.4 · Data.Functor.Invariant
from the profunctors package
Invariant (Forget r a)Defined in invariant-0.6.4 · Data.Functor.Invariant
from the profunctors package
Invariant (ContT r m)Defined in invariant-0.6.4 · Data.Functor.Invariant
from the transformers package
Invariant ((->) a)Defined in invariant-0.6.4 · Data.Functor.Invariant
Invariant f => Invariant (Star f a)Defined in invariant-0.6.4 · Data.Functor.Invariant
from the profunctors package
(Invariant f, Invariant g) => Invariant (Product f g)Defined in invariant-0.6.4 · Data.Functor.Invariant
from Data.Functor.Product
(Invariant f, Invariant g) => Invariant (Sum f g)Defined in invariant-0.6.4 · Data.Functor.Invariant
from Data.Functor.Sum
(Invariant l, Invariant r) => Invariant (l :*: r)Defined in invariant-0.6.4 · Data.Functor.Invariant
from GHC.Generics
(Invariant l, Invariant r) => Invariant (l :+: r)Defined in invariant-0.6.4 · Data.Functor.Invariant
from GHC.Generics
Bifunctor p => Invariant (WrappedBifunctor p a)Defined in invariant-0.6.4 · Data.Functor.Invariant
from the bifunctors package
Arrow arr => Invariant (WrappedArrow arr a)Defined in invariant-0.6.4 · Data.Functor.Invariant
from the profunctors package
Invariant (Clown f a)Defined in invariant-0.6.4 · Data.Functor.Invariant
from the bifunctors package
Invariant (Tuple5 a b c d)Defined in invariant-0.6.4 · Data.Functor.Invariant
Invariant f => Invariant (M1 i t f)Defined in invariant-0.6.4 · Data.Functor.Invariant
from GHC.Generics
Invariant g => Invariant (Joker g a)Defined in invariant-0.6.4 · Data.Functor.Invariant
from the bifunctors package
Invariant m => Invariant (RWST r w s m)Defined in invariant-0.6.4 · Data.Functor.Invariant
from the transformers package
Invariant m => Invariant (RWST r w s m)Defined in invariant-0.6.4 · Data.Functor.Invariant
from the transformers package
Invariant2 p => Invariant (Flip p a)Defined in invariant-0.6.4 · Data.Functor.Invariant
from the bifunctors package
Invariant2 p => Invariant (Codensity p a)Defined in invariant-0.6.4 · Data.Functor.Invariant
from the profunctors package
Profunctor p => Invariant (WrappedProfunctor p a)Defined in invariant-0.6.4 · Data.Functor.Invariant
(Invariant f, Invariant g) => Invariant (Compose f g)Defined in invariant-0.6.4 · Data.Functor.Invariant
from Data.Functor.Compose
(Invariant f, Invariant g) => Invariant (f :.: g)Defined in invariant-0.6.4 · Data.Functor.Invariant
from GHC.Generics
Invariant2 p => Invariant (Procompose p q a)Defined in invariant-0.6.4 · Data.Functor.Invariant
from the profunctors package
Invariant2 p => Invariant (Rift p q a)Defined in invariant-0.6.4 · Data.Functor.Invariant
from the profunctors package
Invariant2 q => Invariant (Ran p q a)Defined in invariant-0.6.4 · Data.Functor.Invariant
from the profunctors package
(Invariant f, Invariant2 p) => Invariant (Tannen f p a)Defined in invariant-0.6.4 · Data.Functor.Invariant
from the bifunctors package
(Invariant2 p, Invariant g) => Invariant (Biff p f g a)Defined in invariant-0.6.4 · Data.Functor.Invariant
from the bifunctors package

newtypenewtype WrappedBifunctor (p :: k -> k1 -> Type) (a :: k) (b :: k1)

Make a Functor over the second argument of a Bifunctor.

Constructors

WrapBifunctor
- unwrapBifunctor :: p a b

Instances28Generic1, Bifoldable, Bifoldable1, Bifunctor, Bitraversable, Eq2, …

Generic1 (WrappedBifunctor p a)Defined in bifunctors-5.6.2 · Data.Bifunctor.Wrapped
Bifoldable p => Bifoldable (WrappedBifunctor p)Defined in bifunctors-5.6.2 · Data.Bifunctor.Wrapped
Bifoldable1 p => Bifoldable1 (WrappedBifunctor p)Defined in bifunctors-5.6.2 · Data.Bifunctor.Wrapped
Bifunctor p => Bifunctor (WrappedBifunctor p)Defined in bifunctors-5.6.2 · Data.Bifunctor.Wrapped
Bitraversable p => Bitraversable (WrappedBifunctor p)Defined in bifunctors-5.6.2 · Data.Bifunctor.Wrapped
Eq2 p => Eq2 (WrappedBifunctor p)Defined in bifunctors-5.6.2 · Data.Bifunctor.Wrapped
Ord2 p => Ord2 (WrappedBifunctor p)Defined in bifunctors-5.6.2 · Data.Bifunctor.Wrapped
Read2 p => Read2 (WrappedBifunctor p)Defined in bifunctors-5.6.2 · Data.Bifunctor.Wrapped
Show2 p => Show2 (WrappedBifunctor p)Defined in bifunctors-5.6.2 · Data.Bifunctor.Wrapped
Biapplicative p => Biapplicative (WrappedBifunctor p)Defined in bifunctors-5.6.2 · Data.Bifunctor.Wrapped
Biapply p => Biapply (WrappedBifunctor p)Defined in semigroupoids-6.0.1 · Data.Functor.Bind.Class
Bitraversable1 p => Bitraversable1 (WrappedBifunctor p)Defined in semigroupoids-6.0.1 · Data.Semigroup.Traversable.Class
Bifunctor p => Invariant2 (WrappedBifunctor p)Defined in invariant-0.6.4 · Data.Functor.Invariant
from the bifunctors package
Bifunctor p => Functor (WrappedBifunctor p a)Defined in bifunctors-5.6.2 · Data.Bifunctor.Wrapped
Bifoldable p => Foldable (WrappedBifunctor p a)Defined in bifunctors-5.6.2 · Data.Bifunctor.Wrapped
Bitraversable p => Traversable (WrappedBifunctor p a)Defined in bifunctors-5.6.2 · Data.Bifunctor.Wrapped
(Eq2 p, Eq a) => Eq1 (WrappedBifunctor p a)Defined in bifunctors-5.6.2 · Data.Bifunctor.Wrapped
(Ord2 p, Ord a) => Ord1 (WrappedBifunctor p a)Defined in bifunctors-5.6.2 · Data.Bifunctor.Wrapped
(Read2 p, Read a) => Read1 (WrappedBifunctor p a)Defined in bifunctors-5.6.2 · Data.Bifunctor.Wrapped
(Show2 p, Show a) => Show1 (WrappedBifunctor p a)Defined in bifunctors-5.6.2 · Data.Bifunctor.Wrapped
Bifunctor p => Invariant (WrappedBifunctor p a)Defined in invariant-0.6.4 · Data.Functor.Invariant
from the bifunctors package
Eq (p a b) => Eq (WrappedBifunctor p a b)Defined in bifunctors-5.6.2 · Data.Bifunctor.Wrapped
Ord (p a b) => Ord (WrappedBifunctor p a b)Defined in bifunctors-5.6.2 · Data.Bifunctor.Wrapped
Read (p a b) => Read (WrappedBifunctor p a b)Defined in bifunctors-5.6.2 · Data.Bifunctor.Wrapped
Show (p a b) => Show (WrappedBifunctor p a b)Defined in bifunctors-5.6.2 · Data.Bifunctor.Wrapped
Generic (WrappedBifunctor p a b)Defined in bifunctors-5.6.2 · Data.Bifunctor.Wrapped
type Rep (WrappedBifunctor p a b) = D1 ('MetaData "WrappedBifunctor" "Data.Bifunctor.Wrapped" "bifunctors-5.6.2-CVCaN6VuvqC3GgUKVKmvdT" 'True) (C1 ('MetaCons "WrapBifunctor" 'PrefixI 'True) (S1 ('MetaSel ('Just "unwrapBifunctor") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (p a b))))Defined in bifunctors-5.6.2 · Data.Bifunctor.Wrapped
type Rep1 (WrappedBifunctor p a) = D1 ('MetaData "WrappedBifunctor" "Data.Bifunctor.Wrapped" "bifunctors-5.6.2-CVCaN6VuvqC3GgUKVKmvdT" 'True) (C1 ('MetaCons "WrapBifunctor" 'PrefixI 'True) (S1 ('MetaSel ('Just "unwrapBifunctor") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec1 (p a))))Defined in bifunctors-5.6.2 · Data.Bifunctor.Wrapped

classclass Invariant2 (f :: Type -> Type -> Type) where

Any * -> * -> * type parametric in both arguments permits an instance of Invariant2.

Instances should satisfy the following laws:

invmap2 id id id id = id
invmap2 f2 f2' g2 g2' . invmap2 f1 f1' g1 g1' =
  invmap2 (f2 . f1) (f1' . f2') (g2 . g1) (g1' . g2')

Methods

invmap2 :: (a -> c) -> (c -> a) -> (b -> d) -> (d -> b) -> f a b -> f c d

Instances49Invariant2, …

Invariant2 OpDefined in invariant-0.6.4 · Data.Functor.Invariant
from the contravariant package
Invariant2 ArgDefined in invariant-0.6.4 · Data.Functor.Invariant
from Data.Semigroup
Invariant2 EitherDefined in invariant-0.6.4 · Data.Functor.Invariant
Invariant2 Tuple2Defined in invariant-0.6.4 · Data.Functor.Invariant
Arrow arr => Invariant2 (WrappedArrow arr)Defined in invariant-0.6.4 · Data.Functor.Invariant
from Control.Applicative
Invariant m => Invariant2 (Kleisli m)Defined in invariant-0.6.4 · Data.Functor.Invariant
from Control.Arrow
Invariant2 ConstDefined in invariant-0.6.4 · Data.Functor.Invariant
from Control.Applicative
Invariant2 TaggedDefined in invariant-0.6.4 · Data.Functor.Invariant
from the tagged package
Invariant2 ConstantDefined in invariant-0.6.4 · Data.Functor.Invariant
from the transformers package
Invariant2 (Tuple3 a)Defined in invariant-0.6.4 · Data.Functor.Invariant
Invariant2 (CopastroSum p)Defined in invariant-0.6.4 · Data.Functor.Invariant
from the profunctors package
Invariant2 (CotambaraSum p)Defined in invariant-0.6.4 · Data.Functor.Invariant
from the profunctors package
Invariant2 (PastroSum p)Defined in invariant-0.6.4 · Data.Functor.Invariant
from the profunctors package
Invariant2 (Environment p)Defined in invariant-0.6.4 · Data.Functor.Invariant
from the profunctors package
Invariant2 (FreeMapping p)Defined in invariant-0.6.4 · Data.Functor.Invariant
from the profunctors package
Invariant2 (Copastro p)Defined in invariant-0.6.4 · Data.Functor.Invariant
from the profunctors package
Invariant2 (Cotambara p)Defined in invariant-0.6.4 · Data.Functor.Invariant
from the profunctors package
Invariant2 (Pastro p)Defined in invariant-0.6.4 · Data.Functor.Invariant
from the profunctors package
Invariant2 (FreeTraversing p)Defined in invariant-0.6.4 · Data.Functor.Invariant
from the profunctors package
Invariant2 (Coyoneda p)Defined in invariant-0.6.4 · Data.Functor.Invariant
from the profunctors package
Invariant2 (Yoneda p)Defined in invariant-0.6.4 · Data.Functor.Invariant
from the profunctors package
Invariant2 p => Invariant2 (TambaraSum p)Defined in invariant-0.6.4 · Data.Functor.Invariant
from the profunctors package
Invariant2 p => Invariant2 (Closure p)Defined in invariant-0.6.4 · Data.Functor.Invariant
from the profunctors package
Invariant2 p => Invariant2 (CofreeMapping p)Defined in invariant-0.6.4 · Data.Functor.Invariant
from the profunctors package
Invariant2 p => Invariant2 (Tambara p)Defined in invariant-0.6.4 · Data.Functor.Invariant
from the profunctors package
Invariant2 p => Invariant2 (CofreeTraversing p)Defined in invariant-0.6.4 · Data.Functor.Invariant
from the profunctors package
Invariant f => Invariant2 (Costar f)Defined in invariant-0.6.4 · Data.Functor.Invariant
from the profunctors package
Invariant f => Invariant2 (Star f)Defined in invariant-0.6.4 · Data.Functor.Invariant
from the profunctors package
Invariant w => Invariant2 (Cokleisli w)Defined in invariant-0.6.4 · Data.Functor.Invariant
from the comonad package
Invariant2 (K1 i)Defined in invariant-0.6.4 · Data.Functor.Invariant
from GHC.Generics
Invariant2 (Tuple4 a b)Defined in invariant-0.6.4 · Data.Functor.Invariant
Invariant2 (->)Defined in invariant-0.6.4 · Data.Functor.Invariant
Invariant2 (Forget r)Defined in invariant-0.6.4 · Data.Functor.Invariant
from the profunctors package
Bifunctor p => Invariant2 (WrappedBifunctor p)Defined in invariant-0.6.4 · Data.Functor.Invariant
from the bifunctors package
Arrow arr => Invariant2 (WrappedArrow arr)Defined in invariant-0.6.4 · Data.Functor.Invariant
from the profunctors package
Invariant f => Invariant2 (Clown f)Defined in invariant-0.6.4 · Data.Functor.Invariant
from the bifunctors package
Invariant g => Invariant2 (Joker g)Defined in invariant-0.6.4 · Data.Functor.Invariant
from the bifunctors package
Invariant2 (Tuple5 a b c)Defined in invariant-0.6.4 · Data.Functor.Invariant
Invariant2 p => Invariant2 (Flip p)Defined in invariant-0.6.4 · Data.Functor.Invariant
from the bifunctors package
Invariant2 p => Invariant2 (Codensity p)Defined in invariant-0.6.4 · Data.Functor.Invariant
from the profunctors package
Profunctor p => Invariant2 (WrappedProfunctor p)Defined in invariant-0.6.4 · Data.Functor.Invariant
(Invariant2 f, Invariant2 g) => Invariant2 (Product f g)Defined in invariant-0.6.4 · Data.Functor.Invariant
from the bifunctors package
(Invariant2 p, Invariant2 q) => Invariant2 (Sum p q)Defined in invariant-0.6.4 · Data.Functor.Invariant
from the bifunctors package
(Invariant f, Invariant2 p) => Invariant2 (Tannen f p)Defined in invariant-0.6.4 · Data.Functor.Invariant
from the bifunctors package
(Invariant f, Invariant2 p) => Invariant2 (Cayley f p)Defined in invariant-0.6.4 · Data.Functor.Invariant
from the profunctors package
(Invariant2 p, Invariant2 q) => Invariant2 (Procompose p q)Defined in invariant-0.6.4 · Data.Functor.Invariant
from the profunctors package
(Invariant2 p, Invariant2 q) => Invariant2 (Rift p q)Defined in invariant-0.6.4 · Data.Functor.Invariant
from the profunctors package
(Invariant2 p, Invariant2 q) => Invariant2 (Ran p q)Defined in invariant-0.6.4 · Data.Functor.Invariant
from the profunctors package
(Invariant2 p, Invariant f, Invariant g) => Invariant2 (Biff p f g)Defined in invariant-0.6.4 · Data.Functor.Invariant
from the bifunctors package

newtypenewtype WrappedFunctor (f :: k -> Type) (a :: k)

Wrap a Functor to be used as a member of Invariant.

Constructors

WrapFunctor
- unwrapFunctor :: f a

Instances12Monad, Functor, Applicative, Foldable, Traversable, Alternative, …

Monad m => Monad (WrappedFunctor m)Defined in invariant-0.6.4 · Data.Functor.Invariant
Functor f => Functor (WrappedFunctor f)Defined in invariant-0.6.4 · Data.Functor.Invariant
Applicative f => Applicative (WrappedFunctor f)Defined in invariant-0.6.4 · Data.Functor.Invariant
Foldable f => Foldable (WrappedFunctor f)Defined in invariant-0.6.4 · Data.Functor.Invariant
Traversable f => Traversable (WrappedFunctor f)Defined in invariant-0.6.4 · Data.Functor.Invariant
Alternative f => Alternative (WrappedFunctor f)Defined in invariant-0.6.4 · Data.Functor.Invariant
MonadPlus m => MonadPlus (WrappedFunctor m)Defined in invariant-0.6.4 · Data.Functor.Invariant
Functor f => Invariant (WrappedFunctor f)Defined in invariant-0.6.4 · Data.Functor.Invariant
Eq (f a) => Eq (WrappedFunctor f a)Defined in invariant-0.6.4 · Data.Functor.Invariant
Ord (f a) => Ord (WrappedFunctor f a)Defined in invariant-0.6.4 · Data.Functor.Invariant
Read (f a) => Read (WrappedFunctor f a)Defined in invariant-0.6.4 · Data.Functor.Invariant
Show (f a) => Show (WrappedFunctor f a)Defined in invariant-0.6.4 · Data.Functor.Invariant

newtypenewtype WrappedProfunctor (p :: k -> k1 -> Type) (a :: k) (b :: k1)

Wrap a Profunctor to be used as a member of Invariant2.

Constructors

WrapProfunctor
- unwrapProfunctor :: p a b

Instances23ProfunctorFunctor, Category, ProfunctorComonad, ProfunctorMonad, Arrow, ArrowChoice, …

ProfunctorFunctor WrappedProfunctorDefined in invariant-0.6.4 · Data.Functor.Invariant
Category p => Category (WrappedProfunctor p)Defined in invariant-0.6.4 · Data.Functor.Invariant
ProfunctorComonad WrappedProfunctorDefined in invariant-0.6.4 · Data.Functor.Invariant
ProfunctorMonad WrappedProfunctorDefined in invariant-0.6.4 · Data.Functor.Invariant
Arrow p => Arrow (WrappedProfunctor p)Defined in invariant-0.6.4 · Data.Functor.Invariant
ArrowChoice p => ArrowChoice (WrappedProfunctor p)Defined in invariant-0.6.4 · Data.Functor.Invariant
ArrowLoop p => ArrowLoop (WrappedProfunctor p)Defined in invariant-0.6.4 · Data.Functor.Invariant
ArrowPlus p => ArrowPlus (WrappedProfunctor p)Defined in invariant-0.6.4 · Data.Functor.Invariant
ArrowZero p => ArrowZero (WrappedProfunctor p)Defined in invariant-0.6.4 · Data.Functor.Invariant
Choice p => Choice (WrappedProfunctor p)Defined in invariant-0.6.4 · Data.Functor.Invariant
Cochoice p => Cochoice (WrappedProfunctor p)Defined in invariant-0.6.4 · Data.Functor.Invariant
Closed p => Closed (WrappedProfunctor p)Defined in invariant-0.6.4 · Data.Functor.Invariant
Mapping p => Mapping (WrappedProfunctor p)Defined in invariant-0.6.4 · Data.Functor.Invariant
Costrong p => Costrong (WrappedProfunctor p)Defined in invariant-0.6.4 · Data.Functor.Invariant
Strong p => Strong (WrappedProfunctor p)Defined in invariant-0.6.4 · Data.Functor.Invariant
Profunctor p => Profunctor (WrappedProfunctor p)Defined in invariant-0.6.4 · Data.Functor.Invariant
Traversing p => Traversing (WrappedProfunctor p)Defined in invariant-0.6.4 · Data.Functor.Invariant
Profunctor p => Invariant2 (WrappedProfunctor p)Defined in invariant-0.6.4 · Data.Functor.Invariant
Profunctor p => Invariant (WrappedProfunctor p a)Defined in invariant-0.6.4 · Data.Functor.Invariant
Eq (p a b) => Eq (WrappedProfunctor p a b)Defined in invariant-0.6.4 · Data.Functor.Invariant
Ord (p a b) => Ord (WrappedProfunctor p a b)Defined in invariant-0.6.4 · Data.Functor.Invariant
Read (p a b) => Read (WrappedProfunctor p a b)Defined in invariant-0.6.4 · Data.Functor.Invariant
Show (p a b) => Show (WrappedProfunctor p a b)Defined in invariant-0.6.4 · Data.Functor.Invariant

newtypenewtype WrappedContravariant (f :: k -> Type) (a :: k)

Wrap a Contravariant functor to be used as a member of Invariant.

Constructors

WrapContravariant
- unwrapContravariant :: f a

Instances8Contravariant, Decidable, Divisible, Invariant, Eq, Ord, …

Contravariant f => Contravariant (WrappedContravariant f)Defined in invariant-0.6.4 · Data.Functor.Invariant
Decidable f => Decidable (WrappedContravariant f)Defined in invariant-0.6.4 · Data.Functor.Invariant
Divisible f => Divisible (WrappedContravariant f)Defined in invariant-0.6.4 · Data.Functor.Invariant
Contravariant f => Invariant (WrappedContravariant f)Defined in invariant-0.6.4 · Data.Functor.Invariant
Eq (f a) => Eq (WrappedContravariant f a)Defined in invariant-0.6.4 · Data.Functor.Invariant
Ord (f a) => Ord (WrappedContravariant f a)Defined in invariant-0.6.4 · Data.Functor.Invariant
Read (f a) => Read (WrappedContravariant f a)Defined in invariant-0.6.4 · Data.Functor.Invariant
Show (f a) => Show (WrappedContravariant f a)Defined in invariant-0.6.4 · Data.Functor.Invariant

valuegenericInvmap

:: (Generic1 f, Invariant (Rep1 f))
=> a -> b
-> b -> a
-> f a
-> f b

A generic implementation of invmap.

valueinvmap2Bifunctor

:: Bifunctor f
=> a -> c
-> c -> a
-> b -> d
-> d -> b
-> f a b
-> f c d

Every Bifunctor is also an Invariant2 functor.

valueinvmap2Profunctor

:: Profunctor f
=> a -> c
-> c -> a
-> b -> d
-> d -> b
-> f a b
-> f c d

Every Profunctor is also an Invariant2 functor.

valueinvmapArrow :: Arrow arr => (a -> b) -> (b -> a) -> arr a a -> arr b b

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

valueinvmapContravariant :: Contravariant f => (a -> b) -> (b -> a) -> f a -> f b

Every Contravariant functor is also an Invariant functor.

valueinvmapFunctor :: Functor f => (a -> b) -> (b -> a) -> f a -> f b

Every Functor is also an Invariant functor.

valueinvmapProfunctor :: Profunctor p => (a -> b) -> (b -> a) -> p a a -> p b b

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

newtypenewtype InvariantArrow (c :: k -> k -> Type) (a :: k)

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

Constructors

InvariantArrow (c a a)

Instances1Invariant

Arrow c => Invariant (InvariantArrow c)Defined in invariant-0.6.4 · Data.Functor.Invariant

newtypenewtype InvariantProfunctor (p :: k -> k -> Type) (a :: k)

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

Constructors

InvariantProfunctor (p a a)

Instances1Invariant

Profunctor p => Invariant (InvariantProfunctor p)Defined in invariant-0.6.4 · Data.Functor.Invariant