Module

Data.Generic.Rep.Semiring

Package: 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 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.

Modules: Data.Generic.Rep; Data.Generic.Rep.Bounded; Data.Generic.Rep.Enum; Data.Generic.Rep.Eq; Data.Generic.Rep.HeytingAlgebra; Data.Generic.Rep.Monoid; Data.Generic.Rep.Ord; Data.Generic.Rep.Ring; Data.Generic.Rep.Semigroup; Data.Generic.Rep.Semiring; Data.Generic.Rep.Show