X-Git-Url: https://git.stderr.nl/gitweb?a=blobdiff_plain;f=VHDLTypes.hs;h=26ed823d904f35dd6653513f84cf2788e81ddac2;hb=2ee391fd9b32f39872abfcf339e949f5139c6cbd;hp=34a2b503dc4df4c51ef523363f40caf1cb47ce5f;hpb=30a05fb3678f430135654b3f5d6612b409b7cd39;p=matthijs%2Fmaster-project%2Fc%CE%BBash.git diff --git a/VHDLTypes.hs b/VHDLTypes.hs index 34a2b50..26ed823 100644 --- a/VHDLTypes.hs +++ b/VHDLTypes.hs @@ -6,13 +6,17 @@ module VHDLTypes where import qualified ForSyDe.Backend.VHDL.AST as AST import FlattenTypes +import HsValueMap -type VHDLSignalMap = SignalMap AST.VHDLId +-- | 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 (Maybe (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 :: [VHDLSignalMap], -- A mapping of each function argument to port names ent_res :: VHDLSignalMap, -- A mapping of the function result to port names ent_decl :: Maybe AST.EntityDec -- The actual entity declaration. Can be empty for builtin functions.