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
ProductableData.TypeRig.Productable, Data.TypeRig
RiggableData.TypeRig.Riggable, Data.TypeRig
rListData.TypeRig.Riggable, Data.TypeRig
rList1Data.TypeRig.Riggable, Data.TypeRig
rOptionalData.TypeRig.Riggable, Data.TypeRig
rUnitData.TypeRig.Productable, Data.TypeRig
rVoidData.TypeRig.Summable, Data.TypeRig
SummableData.TypeRig.Summable, Data.TypeRig