X-Git-Url: https://git.stderr.nl/gitweb?a=blobdiff_plain;f=VHDLTypes.hs;h=e8a77377f87d4833963b817c6812a9e4b0699fd9;hb=30414e977c5c4ba3c16441a281601c7c68f0fb6e;hp=3e2ebe09ffebc4c55493a34c8afe6792e9d19679;hpb=49191910156ccec4bb69ae24c69182a702691c60;p=matthijs%2Fmaster-project%2Fc%CE%BBash.git diff --git a/VHDLTypes.hs b/VHDLTypes.hs index 3e2ebe0..e8a7737 100644 --- a/VHDLTypes.hs +++ b/VHDLTypes.hs @@ -18,21 +18,17 @@ import qualified CoreSyn import qualified ForSyDe.Backend.VHDL.AST as AST -- Local imports -import FlattenTypes -import HsValueMap -type VHDLSignalMapElement = (Maybe (AST.VHDLId, AST.TypeMark)) --- | A mapping from a haskell structure to the corresponding VHDL port --- signature, or Nothing for values that do not translate to a port. -type VHDLSignalMap = HsValueMap VHDLSignalMapElement +-- A description of a port of an entity +type Port = (AST.VHDLId, AST.TypeMark) -- A description of a VHDL entity. Contains both the entity itself as well as -- info on how to map a haskell value (argument / result) on to the entity's -- ports. data Entity = Entity { ent_id :: AST.VHDLId, -- The id of the entity - ent_args :: [VHDLSignalMapElement], -- A mapping of each function argument to port names - ent_res :: VHDLSignalMapElement -- A mapping of the function result to port names + ent_args :: [Port], -- A mapping of each function argument to port names + ent_res :: Port -- A mapping of the function result to port names } deriving (Show); -- A orderable equivalent of CoreSyn's Type for use as a map key