Module

# Data.Generic.Rep.Semiring

- Package
- purescript-generics-rep
- Repository
- purescript/purescript-generics-rep

### #GenericSemiring Source

`class GenericSemiring a where`

#### Members

`genericAdd' :: a -> a -> a`

`genericZero' :: a`

`genericMul' :: a -> a -> a`

`genericOne' :: a`

#### Instances

`GenericSemiring NoArguments`

`(Semiring a) => GenericSemiring (Argument a)`

`(GenericSemiring a, GenericSemiring b) => GenericSemiring (Product a b)`

`(GenericSemiring a) => GenericSemiring (Constructor name a)`

### #genericZero Source

`genericZero :: forall a rep. Generic a rep => GenericSemiring rep => a`

A `Generic`

implementation of the `zero`

member from the `Semiring`

type class.

### #genericOne Source

`genericOne :: forall a rep. Generic a rep => GenericSemiring rep => a`

A `Generic`

implementation of the `one`

member from the `Semiring`

type class.

### #genericAdd Source

`genericAdd :: forall a rep. Generic a rep => GenericSemiring rep => a -> a -> a`

A `Generic`

implementation of the `add`

member from the `Semiring`

type class.

### #genericMul Source

`genericMul :: forall a rep. Generic a rep => GenericSemiring rep => a -> a -> a`

A `Generic`

implementation of the `mul`

member from the `Semiring`

type class.