Module

Data.Generic.Rep.Semiring

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

#genericZero Source

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

A Generic implementation of the zero member from the Semiring type class.

#genericOne Source

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

A Generic implementation of the one member from the Semiring type class.

#genericAdd Source

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

A Generic implementation of the add member from the Semiring type class.

#genericMul Source

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

A Generic implementation of the mul member from the Semiring type class.