type-rig-0.1: Classes for the rig (sums and products) of types (Index)

type-rig-0.1: Classes for the rig (sums and products) of types

Index

***>	Data.TypeRig.Productable, Data.TypeRig
<***	Data.TypeRig.Productable, Data.TypeRig
<***>	Data.TypeRig.Productable, Data.TypeRig
<+++>	Data.TypeRig.Summable, Data.TypeRig
Productable	Data.TypeRig.Productable, Data.TypeRig
Riggable	Data.TypeRig.Riggable, Data.TypeRig
rList	Data.TypeRig.Riggable, Data.TypeRig
rList1	Data.TypeRig.Riggable, Data.TypeRig
rOptional	Data.TypeRig.Riggable, Data.TypeRig
rUnit	Data.TypeRig.Productable, Data.TypeRig
rVoid	Data.TypeRig.Summable, Data.TypeRig
Summable	Data.TypeRig.Summable, Data.TypeRig