X-Git-Url: https://git.stderr.nl/gitweb?a=blobdiff_plain;f=VHDLTypes.hs;fp=VHDLTypes.hs;h=59da9c17341dfc1d63f70f89673159071848055a;hb=12fc969daa4ca2dfc69ab68f27684dd6b01622f3;hp=fe739da7149545bd4bc3d58f7a04c239ae89cf57;hpb=6e874e80511177529f7d4506d78f69002ba69e68;p=matthijs%2Fmaster-project%2Fc%CE%BBash.git diff --git a/VHDLTypes.hs b/VHDLTypes.hs index fe739da..59da9c1 100644 --- a/VHDLTypes.hs +++ b/VHDLTypes.hs @@ -54,11 +54,6 @@ type TypeFunMap = Map.Map OrdType [AST.SubProgBody] -- A map of a Haskell function to a hardware signature type SignatureMap = Map.Map CoreSyn.CoreBndr Entity -type Builder = Either ([AST.Expr] -> AST.Expr) (Entity -> [CoreSyn.CoreBndr] -> AST.GenerateSm) - --- A map of a builtin function to VHDL function builder -type NameTable = Map.Map String (Int, Builder ) - data VHDLState = VHDLState { -- | A map of Core type -> VHDL Type vsTypes_ :: TypeMap, @@ -68,9 +63,7 @@ data VHDLState = VHDLState { vsTypeFuns_ :: TypeFunMap, -- | A map of HsFunction -> hardware signature (entity name, port names, -- etc.) - vsSignatures_ :: SignatureMap, - -- | A map of Vector HsFunctions -> VHDL function call - vsNameTable_ :: NameTable + vsSignatures_ :: SignatureMap } -- Derive accessors @@ -82,4 +75,9 @@ type VHDLSession = State.State VHDLState -- | A substate containing just the types type TypeState = State.State TypeMap +type Builder = Either ([AST.Expr] -> AST.Expr) (Entity -> [CoreSyn.CoreBndr] -> AST.GenerateSm) + +-- A map of a builtin function to VHDL function builder +type NameTable = Map.Map String (Int, Builder ) + -- vim: set ts=8 sw=2 sts=2 expandtab: