Safe Haskell	Safe-Inferred
Language	Haskell2010

Day

Documentation

data Day f g a Source #

Constructors

forall x y. Day (x -> y -> a) (f x) (g y)

Instances details

(Representable f, Representable g) => Representable (Day f g) Source #
Instance details Defined in Day 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
Functor (Day f g) Source #
Instance details Defined in Day Methods fmap :: (a -> b) -> Day f g a -> Day f g b Source # (<$) :: a -> Day f g b -> Day f g a Source #
(Comonad f, Comonad g) => Comonad (Day f g) Source #
Instance details Defined in Day Methods extract :: Day f g a -> a duplicate :: Day f g a -> Day f g (Day f g a) extend :: (Day f g a -> b) -> Day f g a -> Day f g b
(ComonadApply f, ComonadApply g) => ComonadApply (Day f g) Source #
Instance details Defined in Day Methods (<@>) :: 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 #
Instance details Defined in Day Methods distribute :: Functor f0 => f0 (Day f g a) -> Day f g (f0 a) collect :: Functor f0 => (a -> Day f g b) -> f0 a -> Day f g (f0 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)
type Rep (Day f g) Source #
Instance details Defined in Day type Rep (Day f g) = (Rep f, Rep g)