Data.TypeRig.Productable

Documentation

class Invariant f => Productable f where

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

Minimal complete definition

Nothing

Methods

rUnit :: f ()

default rUnit :: Applicative f => f ()

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

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

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

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

Instances

Productable Endo

Defined in Data.TypeRig.Productable

Methods

rUnit :: Endo ()

(<***>) :: Endo a -> Endo b -> Endo (a, b)

(***>) :: Endo () -> Endo a -> Endo a

(<***) :: Endo a -> Endo () -> Endo a

Productable ReadPrec

Defined in Data.TypeRig.Productable

Methods

rUnit :: ReadPrec ()

(<***>) :: ReadPrec a -> ReadPrec b -> ReadPrec (a, b)

(***>) :: ReadPrec () -> ReadPrec a -> ReadPrec a

(<***) :: ReadPrec a -> ReadPrec () -> ReadPrec a

Productable m => Productable (Kleisli m a)

Defined in Data.TypeRig.Productable

Methods

rUnit :: Kleisli m a ()

(<***>) :: Kleisli m a a0 -> Kleisli m a b -> Kleisli m a (a0, b)

(***>) :: Kleisli m a () -> Kleisli m a a0 -> Kleisli m a a0

(<***) :: Kleisli m a a0 -> Kleisli m a () -> Kleisli m a a0