Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
Constant a |
Instances
Invariant (Constant a :: Type -> Type) Source # | |
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Flip (Constant :: Type -> Type -> Type) b) Source # | |
Defined in Pandora.Paradigm.Primary.Functor.Constant (<-|-) :: (a -> b0) -> Flip Constant b a -> Flip Constant b b0 Source # (<-|--) :: (a -> b0) -> Flip Constant b a -> Flip Constant b b0 Source # (<-|---) :: (a -> b0) -> Flip Constant b a -> Flip Constant b b0 Source # (<-|----) :: (a -> b0) -> Flip Constant b a -> Flip Constant b b0 Source # (<-|-----) :: (a -> b0) -> Flip Constant b a -> Flip Constant b b0 Source # (<-|------) :: (a -> b0) -> Flip Constant b a -> Flip Constant b b0 Source # (<-|-------) :: (a -> b0) -> Flip Constant b a -> Flip Constant b b0 Source # (<-|--------) :: (a -> b0) -> Flip Constant b a -> Flip Constant b b0 Source # (<-|-|-) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Flip Constant b)) => (a -> b0) -> Flip Constant b (u a) -> Flip Constant b (u b0) Source # (<-|-|--) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Flip Constant b)) => (a -> b0) -> Flip Constant b (u a) -> Flip Constant b (u b0) Source # (<-|-|---) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Flip Constant b)) => (a -> b0) -> Flip Constant b (u a) -> Flip Constant b (u b0) Source # (<-|-|----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Flip Constant b)) => (a -> b0) -> Flip Constant b (u a) -> Flip Constant b (u b0) Source # (<-|-|-----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Flip Constant b)) => (a -> b0) -> Flip Constant b (u a) -> Flip Constant b (u b0) Source # (<-|-|------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Flip Constant b)) => (a -> b0) -> Flip Constant b (u a) -> Flip Constant b (u b0) Source # (<-|-|-------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Flip Constant b)) => (a -> b0) -> Flip Constant b (u a) -> Flip Constant b (u b0) Source # (<-|-|-|-) :: (Covariant (->) (Betwixt (->) (Betwixt (->) (->))) v, Covariant (Betwixt (->) (Betwixt (->) (->))) (Betwixt (Betwixt (->) (->)) (->)) u, Covariant (Betwixt (Betwixt (->) (->)) (->)) (->) (Flip Constant b)) => (a -> b0) -> Flip Constant b (u (v a)) -> Flip Constant b (u (v b0)) Source # | |
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Constant a :: Type -> Type) Source # | |
Defined in Pandora.Paradigm.Primary.Functor.Constant (<-|-) :: (a0 -> b) -> Constant a a0 -> Constant a b Source # (<-|--) :: (a0 -> b) -> Constant a a0 -> Constant a b Source # (<-|---) :: (a0 -> b) -> Constant a a0 -> Constant a b Source # (<-|----) :: (a0 -> b) -> Constant a a0 -> Constant a b Source # (<-|-----) :: (a0 -> b) -> Constant a a0 -> Constant a b Source # (<-|------) :: (a0 -> b) -> Constant a a0 -> Constant a b Source # (<-|-------) :: (a0 -> b) -> Constant a a0 -> Constant a b Source # (<-|--------) :: (a0 -> b) -> Constant a a0 -> Constant a b Source # (<-|-|-) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Constant a)) => (a0 -> b) -> Constant a (u a0) -> Constant a (u b) Source # (<-|-|--) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Constant a)) => (a0 -> b) -> Constant a (u a0) -> Constant a (u b) Source # (<-|-|---) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Constant a)) => (a0 -> b) -> Constant a (u a0) -> Constant a (u b) Source # (<-|-|----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Constant a)) => (a0 -> b) -> Constant a (u a0) -> Constant a (u b) Source # (<-|-|-----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Constant a)) => (a0 -> b) -> Constant a (u a0) -> Constant a (u b) Source # (<-|-|------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Constant a)) => (a0 -> b) -> Constant a (u a0) -> Constant a (u b) Source # (<-|-|-------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Constant a)) => (a0 -> b) -> Constant a (u a0) -> Constant a (u b) Source # (<-|-|-|-) :: (Covariant (->) (Betwixt (->) (Betwixt (->) (->))) v, Covariant (Betwixt (->) (Betwixt (->) (->))) (Betwixt (Betwixt (->) (->)) (->)) u, Covariant (Betwixt (Betwixt (->) (->)) (->)) (->) (Constant a)) => (a0 -> b) -> Constant a (u (v a0)) -> Constant a (u (v b)) Source # | |
Contravariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Constant a :: Type -> Type) Source # | |
Defined in Pandora.Paradigm.Primary.Functor.Constant (>-|-) :: (a0 -> b) -> Constant a b -> Constant a a0 Source # (>-|--) :: (a0 -> b) -> Constant a b -> Constant a a0 Source # (>-|---) :: (a0 -> b) -> Constant a b -> Constant a a0 Source # (>-|----) :: (a0 -> b) -> Constant a b -> Constant a a0 Source # (>-|-----) :: (a0 -> b) -> Constant a b -> Constant a a0 Source # (>-|------) :: (a0 -> b) -> Constant a b -> Constant a a0 Source # (>-|-------) :: (a0 -> b) -> Constant a b -> Constant a a0 Source # (>-|--------) :: (a0 -> b) -> Constant a b -> Constant a a0 Source # (>-|-|-) :: (Contravariant (->) (Betwixt (->) (->)) u, Contravariant (Betwixt (->) (->)) (->) (Constant a)) => (a0 -> b) -> Constant a (u a0) -> Constant a (u b) Source # | |
Semigroup a => Semigroup (Constant a b) Source # | |
Ringoid a => Ringoid (Constant a b) Source # | |
Monoid a => Monoid (Constant a b) Source # | |
Defined in Pandora.Paradigm.Primary.Functor.Constant | |
Quasiring a => Quasiring (Constant a b) Source # | |
Defined in Pandora.Paradigm.Primary.Functor.Constant | |
Group a => Group (Constant a b) Source # | |
Supremum a => Supremum (Constant a b) Source # | |
Infimum a => Infimum (Constant a b) Source # | |
Lattice a => Lattice (Constant a b) Source # | |
Defined in Pandora.Paradigm.Primary.Functor.Constant | |
Setoid a => Setoid (Constant a b) Source # | |
Chain a => Chain (Constant a b) Source # | |
Defined in Pandora.Paradigm.Primary.Functor.Constant |