numeric-prelude-0.1: src/Algebra/RightModule.hs

{-# LANGUAGE NoImplicitPrelude #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE FlexibleInstances #-}
module Algebra.RightModule where

import qualified Algebra.Ring     as Ring
import qualified Algebra.Additive as Additive

-- import NumericPrelude
import qualified Prelude


-- Is this right?
infixl 7 <*

class (Ring.C a, Additive.C b) => C a b where
    (<*) :: b -> a -> b