cλash-nolibdir/CLasH/Translator.hs

   1 module CLasH.Translator where
   2
   3 import qualified GHC.Paths
   4 import qualified "clash" CLasH.Translator as Original (makeVHDLStrings, makeVHDLAnnotations)
   5
   6 -- | Turn Haskell to VHDL, Usings Strings to indicate the Top Entity, Initial
   7 --   State and Test Inputs.
   8 makeVHDLStrings ::
   9   -> [FilePath] -- ^ The FileNames
  10   -> String     -- ^ The TopEntity
  11   -> String     -- ^ The InitState
  12   -> String     -- ^ The TestInput
  13   -> Bool       -- ^ Is it stateful? (in case InitState is empty)
  14   -> IO ()
  15 makeVHDLStrings filenames topentity initstate testinput stateful = do
  16   let libdir = GHC.Paths.libdir
  17   Original.makeVHDLStrings libdir filenames topentity initstate testinput stateful
  18
  19 -- | Turn Haskell to VHDL, Using the Annotations for Top Entity, Initial State
  20 --   and Test Inputs found in the Files.
  21 makeVHDLAnnotations ::
  22   -> [FilePath] -- ^ The FileNames
  23   -> Bool       -- ^ Is it stateful? (in case InitState is not specified)
  24   -> IO ()
  25 makeVHDLAnnotations libdir filenames stateful = do
  26   let libdir = GHC.Paths.libdir
  27   Original.makeVHDLAnnotations libdir filenames stateful