{-# OPTIONS -fglasgow-exts #-}
-----------------------------------------------------------------------------
-- Module      :  TNeg
-- Copyright   :  (c) Aaron Denney 2004
-- License     :  None, so far.  
-- 
-- Maintainer  :  wnoise@ofb.net
-- Stability   :  experimental
-- Portability :  Multi-parameter typeclasses, functional dependencies.
--
-- uses the trick oleg elegantly explains at
-- http://okmij.org/ftp/Haskell/number-parameterized-types.html
-- to lift numbers to types.  Uses balanced base three to get negatives.
-----------------------------------------------------------------------------

module TNeg where
import TNum

class (TNum i, TNum o) => TNeg i o | i -> o where
    neg :: i -> o