module Categorifier.C.KTypes.KDivisible
  ( KDivisible (..),
  )
where

-- | Symbolic class implementing (integral) division.
  This class parallels the @Data .  but only
-- implements methods which we need so far.
class KDivisible a where
  -- Unused methods which appear in Data.SBV(SDivisible):
  --   kQuotRem :: a -> a -> (a, a)
  --   kDivMod :: a -> a -> (a, a)
     : : a - > a - > a
     : : a - > a - > a
  kDiv :: a -> a -> a

  kMod :: a -> a -> a

 | Symbolic class implementing (integral) division.
 implements methods which we need so far.
 Unused methods which appear in Data.SBV(SDivisible):
   kQuotRem :: a -> a -> (a, a)
   kDivMod :: a -> a -> (a, a)
module Categorifier.C.KTypes.KDivisible
  ( KDivisible (..),
  )
where

  This class parallels the @Data .  but only
class KDivisible a where
     : : a - > a - > a
     : : a - > a - > a
  kDiv :: a -> a -> a

  kMod :: a -> a -> a
