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

{-# LANGUAGE EmptyDataDecls #-}
module TypeLevel.Number.Nat.Types ( I
                                  , O
                                  , Z
                                  ) where

-- | One bit.
data I n
-- | Zero bit.
data O n
-- | Bit stream terminator.
data Z