Safe Haskell	Safe
Language	Haskell2010

Embedder.Config

Description

A thin shim over rewire-base's ReWire.Config adding the embedder's output-file helpers. The embedder ignores the hardware-oriented config fields (clock, reset, signal names, etc.).

Synopsis

module ReWire.Config
getEmbedFile :: Config -> FilePath -> FilePath
getAtmoFile :: Config -> FilePath -> FilePath

Documentation

module ReWire.Config

getEmbedFile :: Config -> FilePath -> FilePath Source #

Output path for the generated Isabelle theory (.thy) file.

getAtmoFile :: Config -> FilePath -> FilePath Source #

Output path for the generated Atmo IR (.atmo) file.