algebra-0.5.0: Numeric/Dioid/Class.hs

{-# LANGUAGE FlexibleInstances, UndecidableInstances #-}
module Numeric.Dioid.Class 
  ( Dioid
  ) where

import Numeric.Additive.Class
import Numeric.Algebra.Class

class (Semiring r, Idempotent r) => Dioid r
instance (Semiring r, Idempotent r) => Dioid r