module Data.Ix
  ( Ix ( range       -- :: (Ix a) => (a,a) -> [a]
       , index       -- :: (Ix a) => (a,a) -> a   -> Int
       , inRange     -- :: (Ix a) => (a,a) -> a   -> Bool
       , rangeSize   -- :: (Ix a) => (a,a) -> Int
       )
    -- Ix instances:
    --
    --  Ix Char
    --  Ix Int
    --  Ix Integer
    --  Ix Bool
    --  Ix Ordering
    --  Ix ()
    --  (Ix a, Ix b) => Ix (a, b)
  ) where

import Ix