-------------------------------------------------------------------------------
--- $Id: TypeExpr.hs#1 2009/10/01 10:31:09 REDMOND\\satnams $
-------------------------------------------------------------------------------

module Lava.TypeExpr
where

-------------------------------------------------------------------------------

data TypeExpr
  = WireType
  | BitVec Int Dir Int
    deriving (Eq, Show)

-------------------------------------------------------------------------------


data Dir = To | Downto
           deriving (Eq, Show)

-------------------------------------------------------------------------------

to :: Dir
to = To

-------------------------------------------------------------------------------

bitvec :: Int -> Dir -> Int -> TypeExpr
bitvec = BitVec

-------------------------------------------------------------------------------

downto :: Dir
downto = Downto

-------------------------------------------------------------------------------

bit = WireType

-------------------------------------------------------------------------------