type-level-numbers-0.1: TypeLevel/Number/Int/Types.hs

{-# LANGUAGE EmptyDataDecls #-}
module TypeLevel.Number.Int.Types where
  
-- | Digit -1
data Dn n
-- | Digit 0
data D0 n
-- | Digit 1
data D1 n
-- | Digit stream terminator
data ZZ