{-# Language Unsafe #-}

-- |
  Copyright    : ( C ) 2021   ,
-- License     : BSD-2-style OR Apache-2.0
  Maintainer   :   <  >
-- Stability   : provisional
-- Portability : non-portable

module Data.HKD.Index
( Index(Index,IndexZ,IndexS)
, lowerFin, liftFin
, pattern IntIndex
, toIndex
, Length
, KnownLength
, len
) where

import Data.HKD.Index.Internal

# Language Unsafe #
 |
 License     : BSD-2-style OR Apache-2.0
 Stability   : provisional
 Portability : non-portable

  Copyright    : ( C ) 2021   ,
  Maintainer   :   <  >

module Data.HKD.Index
( Index(Index,IndexZ,IndexS)
, lowerFin, liftFin
, pattern IntIndex
, toIndex
, Length
, KnownLength
, len
) where

import Data.HKD.Index.Internal
