Safe Haskell	Safe-Inferred
Language	Haskell2010

Data.TypeRig.Productable

Synopsis

class Invariant f => Productable f where
- rUnit :: f ()
- (<***>) :: f a -> f b -> f (a, b)
- (***>) :: f () -> f a -> f a
- (<***) :: f a -> f () -> f a

Documentation

Composability via type product (,) and unit type ().

Minimal complete definition

Nothing

Methods

default rUnit :: Applicative f => f () Source #

(<***>) :: f a -> f b -> f (a, b) infixr 3 Source #

default (<***>) :: Applicative f => f a -> f b -> f (a, b) Source #

(***>) :: f () -> f a -> f a infixr 3 Source #

(<***) :: f a -> f () -> f a infixr 3 Source #

Instances details

Productable Endo Source #
Instance details Defined in Data.TypeRig.Productable Methods rUnit :: Endo () Source # (<*>) :: Endo a -> Endo b -> Endo (a, b) Source # (>) :: Endo () -> Endo a -> Endo a Source # (<**) :: Endo a -> Endo () -> Endo a Source #
Productable ReadPrec Source #
Instance details Defined in Data.TypeRig.Productable Methods rUnit :: ReadPrec () Source # (<*>) :: ReadPrec a -> ReadPrec b -> ReadPrec (a, b) Source # (>) :: ReadPrec () -> ReadPrec a -> ReadPrec a Source # (<**) :: ReadPrec a -> ReadPrec () -> ReadPrec a Source #
Productable m => Productable (Kleisli m a) Source #
Instance details Defined in Data.TypeRig.Productable Methods rUnit :: Kleisli m a () Source # (<*>) :: Kleisli m a a0 -> Kleisli m a b -> Kleisli m a (a0, b) Source # (>) :: Kleisli m a () -> Kleisli m a a0 -> Kleisli m a a0 Source # (<**) :: Kleisli m a a0 -> Kleisli m a () -> Kleisli m a a0 Source #