Copyright	(C) 2014 Edward Kmett
License	BSD-style (see the file LICENSE)
Maintainer	Edward Kmett <ekmett@gmail.com>
Stability	provisional
Portability	portable
Safe Haskell	None
Language	Haskell98

Data.Functor.Day

Description

Eitan Chatav first introduced me to this construction

The Day convolution of two covariant functors is a covariant functor.

Day convolution is usually defined in terms of contravariant functors, however, it just needs a monoidal category, and Hask^op is also monoidal.

Day convolution can be used to nicely describe monoidal functors as monoid objects w.r.t this product.

Synopsis

Documentation

data Day f g a Source

The Day convolution of two covariant functors.

Day f g a -> h a is isomorphic to f a -> Rift g h a

Constructors

forall b c . Day (f b) (g c) (b -> c -> a)

Instances

Functor (Day f g) Source
Methods fmap :: (a -> b) -> Day f g a -> Day f g b (<$) :: a -> Day f g b -> Day f g a
(Applicative f, Applicative g) => Applicative (Day f g) Source
Methods pure :: a -> Day f g a (<>) :: Day f g (a -> b) -> Day f g a -> Day f g b (>) :: Day f g a -> Day f g b -> Day f g b (<*) :: Day f g a -> Day f g b -> Day f g a
(Representable f, Representable g) => Distributive (Day f g) Source
Methods distribute :: Functor a => a (Day f g b) -> Day f g (a b) collect :: Functor c => (a -> Day f g b) -> c a -> Day f g (c b) distributeM :: Monad m => m (Day f g a) -> Day f g (m a) collectM :: Monad m => (a -> Day f g b) -> m a -> Day f g (m b)
(Representable f, Representable g) => Representable (Day f g) Source
Associated Types type Rep (Day f g :: * -> ) :: Methods tabulate :: (Rep (Day f g) -> a) -> Day f g a index :: Day f g a -> Rep (Day f g) -> a
type Rep (Day f g) = (Rep f, Rep g) Source

day :: f (a -> b) -> g a -> Day f g b Source

Construct the Day convolution

dap :: Applicative f => Day f f a -> f a Source

Collapse via a monoidal functor.

dap (day f g) = f <*> g

assoc :: Day f (Day g h) a -> Day (Day f g) h a Source

Day convolution provides a monoidal product. The associativity of this monoid is witnessed by assoc and disassoc.

assoc . disassoc = id
disassoc . assoc = id
fmap f . assoc = assoc . fmap f

disassoc :: Day (Day f g) h a -> Day f (Day g h) a Source

Day convolution provides a monoidal product. The associativity of this monoid is witnessed by assoc and disassoc.

assoc . disassoc = id
disassoc . assoc = id
fmap f . disassoc = disassoc . fmap f

swapped :: Day f g a -> Day g f a Source

The monoid for Day convolution on the cartesian monoidal structure is symmetric.

fmap f . swapped = swapped . fmap f

Identity is the unit of Day convolution

intro1 . elim1 = id
elim1 . intro1 = id

Identity is the unit of Day convolution

intro2 . elim2 = id
elim2 . intro2 = id

Identity is the unit of Day convolution

intro1 . elim1 = id
elim1 . intro1 = id

Identity is the unit of Day convolution

intro2 . elim2 = id
elim2 . intro2 = id

trans1 :: (forall x. f x -> g x) -> Day f h a -> Day g h a Source

Apply a natural transformation to the left-hand side of a Day convolution.

This respects the naturality of the natural transformation you supplied:

fmap f . trans1 fg = trans1 fg . fmap f

trans2 :: (forall x. g x -> h x) -> Day f g a -> Day f h a Source

Apply a natural transformation to the right-hand side of a Day convolution.

This respects the naturality of the natural transformation you supplied:

fmap f . trans2 fg = trans2 fg . fmap f