type-rig-0.1: Classes for the rig (sums and products) of types
Safe HaskellSafe-Inferred
LanguageHaskell2010

Data.TypeRig.Riggable

Synopsis

Documentation

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

Composability via a rig of types.

Minimal complete definition

Nothing

Methods

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

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

rList :: f a -> f [a] Source #

Instances

Instances details
Riggable Endo Source # 
Instance details

Defined in Data.TypeRig.Riggable

Methods

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

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

rList :: Endo a -> Endo [a] Source #

Riggable ReadPrec Source # 
Instance details

Defined in Data.TypeRig.Riggable

Riggable m => Riggable (Kleisli m a) Source # 
Instance details

Defined in Data.TypeRig.Riggable

Methods

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

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

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