Data.Ring.Generic

class GenericRing a  where

Members

• genericSub' :: a -> a -> a

Instances

• GenericRing NoArguments
• (Ring a) => GenericRing (Argument a)
• (GenericRing a, GenericRing b) => GenericRing (Product a b)
• (GenericRing a) => GenericRing (Constructor name a)

genericSub :: forall a rep. Generic a rep => GenericRing rep => a -> a -> a

A Generic implementation of the sub member from the Ring type class.