Data.TypeRig.Riggable

Documentation

class (Productable f, Summable f) => Riggable f where

Composability via a rig of types.

Minimal complete definition

Nothing

Methods

rOptional :: forall a. f a -> f (Maybe a)

rList1 :: f a -> f (NonEmpty a)

rList :: f a -> f [a]

Instances

Riggable Endo

Defined in Data.TypeRig.Riggable

Methods

rOptional :: Endo a -> Endo (Maybe a)

rList1 :: Endo a -> Endo (NonEmpty a)

rList :: Endo a -> Endo [a]

Riggable ReadPrec

Defined in Data.TypeRig.Riggable

Methods

rOptional :: ReadPrec a -> ReadPrec (Maybe a)

rList1 :: ReadPrec a -> ReadPrec (NonEmpty a)

rList :: ReadPrec a -> ReadPrec [a]

Riggable m => Riggable (Kleisli m a)

Defined in Data.TypeRig.Riggable

Methods

rOptional :: Kleisli m a a0 -> Kleisli m a (Maybe a0)

rList1 :: Kleisli m a a0 -> Kleisli m a (NonEmpty a0)

rList :: Kleisli m a a0 -> Kleisli m a [a0]