clash-prelude-0.10.5: src/CLaSH/Sized/Internal/Index.hs-boot

{-# LANGUAGE DataKinds       #-}
{-# LANGUAGE KindSignatures  #-}
{-# LANGUAGE RoleAnnotations #-}
module CLaSH.Sized.Internal.Index where

import GHC.TypeLits (KnownNat, Nat)

type role Index phantom
data Index :: Nat -> *

instance KnownNat n => Num (Index n)
instance KnownNat n => Enum (Index n)