Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
forall b c. Day (t b) (u c) (b -> c -> a) |
Instances
Hoistable ((->) :: Type -> Type -> Type) (Day t :: (Type -> Type) -> Type -> Type) Source # | |
(Extendable ((->) :: Type -> Type -> Type) t, Extendable ((->) :: Type -> Type -> Type) u) => Extendable ((->) :: Type -> Type -> Type) (Day t u) Source # | |
Defined in Pandora.Paradigm.Primary.Transformer.Day (<<=) :: (Day t u a -> b) -> Day t u a -> Day t u b Source # (<<==) :: (Day t u a -> b) -> Day t u a -> Day t u b Source # (<<===) :: (Day t u a -> b) -> Day t u a -> Day t u b Source # (<<====) :: (Day t u a -> b) -> Day t u a -> Day t u b Source # (<<=====) :: (Day t u a -> b) -> Day t u a -> Day t u b Source # (<<======) :: (Day t u a -> b) -> Day t u a -> Day t u b Source # (<<=======) :: (Day t u a -> b) -> Day t u a -> Day t u b Source # (<<========) :: (Day t u a -> b) -> Day t u a -> Day t u b Source # (<<=========) :: (Day t u a -> b) -> Day t u a -> Day t u b Source # | |
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Day t u) Source # | |
Defined in Pandora.Paradigm.Primary.Transformer.Day (<-|-) :: (a -> b) -> Day t u a -> Day t u b Source # (<-|--) :: (a -> b) -> Day t u a -> Day t u b Source # (<-|---) :: (a -> b) -> Day t u a -> Day t u b Source # (<-|----) :: (a -> b) -> Day t u a -> Day t u b Source # (<-|-----) :: (a -> b) -> Day t u a -> Day t u b Source # (<-|------) :: (a -> b) -> Day t u a -> Day t u b Source # (<-|-------) :: (a -> b) -> Day t u a -> Day t u b Source # (<-|--------) :: (a -> b) -> Day t u a -> Day t u b Source # (<-|-|-) :: (Covariant (->) (Betwixt (->) (->)) u0, Covariant (Betwixt (->) (->)) (->) (Day t u)) => (a -> b) -> Day t u (u0 a) -> Day t u (u0 b) Source # (<-|-|--) :: (Covariant (->) (Betwixt (->) (->)) u0, Covariant (Betwixt (->) (->)) (->) (Day t u)) => (a -> b) -> Day t u (u0 a) -> Day t u (u0 b) Source # (<-|-|---) :: (Covariant (->) (Betwixt (->) (->)) u0, Covariant (Betwixt (->) (->)) (->) (Day t u)) => (a -> b) -> Day t u (u0 a) -> Day t u (u0 b) Source # (<-|-|----) :: (Covariant (->) (Betwixt (->) (->)) u0, Covariant (Betwixt (->) (->)) (->) (Day t u)) => (a -> b) -> Day t u (u0 a) -> Day t u (u0 b) Source # (<-|-|-----) :: (Covariant (->) (Betwixt (->) (->)) u0, Covariant (Betwixt (->) (->)) (->) (Day t u)) => (a -> b) -> Day t u (u0 a) -> Day t u (u0 b) Source # (<-|-|------) :: (Covariant (->) (Betwixt (->) (->)) u0, Covariant (Betwixt (->) (->)) (->) (Day t u)) => (a -> b) -> Day t u (u0 a) -> Day t u (u0 b) Source # (<-|-|-------) :: (Covariant (->) (Betwixt (->) (->)) u0, Covariant (Betwixt (->) (->)) (->) (Day t u)) => (a -> b) -> Day t u (u0 a) -> Day t u (u0 b) Source # (<-|-|-|-) :: (Covariant (->) (Betwixt (->) (Betwixt (->) (->))) v, Covariant (Betwixt (->) (Betwixt (->) (->))) (Betwixt (Betwixt (->) (->)) (->)) u0, Covariant (Betwixt (Betwixt (->) (->)) (->)) (->) (Day t u)) => (a -> b) -> Day t u (u0 (v a)) -> Day t u (u0 (v b)) Source # |