From a2b01b92612a098673ff03890e6e8aef4ceb28ea Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Wed, 4 Sep 2019 20:15:51 +1000
Subject: Renaming to VeriSmith

---
 src/VeriSmith/Sim/Identity.hs | 51 +++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 51 insertions(+)
 create mode 100644 src/VeriSmith/Sim/Identity.hs

(limited to 'src/VeriSmith/Sim/Identity.hs')

diff --git a/src/VeriSmith/Sim/Identity.hs b/src/VeriSmith/Sim/Identity.hs
new file mode 100644
index 0000000..cac230f
--- /dev/null
+++ b/src/VeriSmith/Sim/Identity.hs
@@ -0,0 +1,51 @@
+{-|
+Module      : VeriSmith.Sim.Identity
+Description : The identity simulator and synthesiser.
+Copyright   : (c) 2019, Yann Herklotz Grave
+License     : GPL-3
+Maintainer  : yann [at] yannherklotz [dot] com
+Stability   : experimental
+Portability : POSIX
+
+The identity simulator and synthesiser.
+-}
+
+module VeriSmith.Sim.Identity
+    ( Identity(..)
+    , defaultIdentity
+    )
+where
+
+import           Control.DeepSeq           (NFData, rnf, rwhnf)
+import           Data.Text                 (Text, unpack)
+import           Prelude                   hiding (FilePath)
+import           Shelly                    (FilePath)
+import           Shelly.Lifted             (writefile)
+import           VeriSmith.Sim.Internal
+import           VeriSmith.Verilog.AST
+import           VeriSmith.Verilog.CodeGen
+
+data Identity = Identity { identityDesc   :: {-# UNPACK #-} !Text
+                         , identityOutput :: {-# UNPACK #-} !FilePath
+                         }
+              deriving (Eq)
+
+instance Tool Identity where
+    toText (Identity d _) = d
+
+instance Show Identity where
+    show t = unpack $ toText t
+
+instance Synthesiser Identity where
+    runSynth = runSynthIdentity
+    synthOutput = identityOutput
+    setSynthOutput (Identity a _) = Identity a
+
+instance NFData Identity where
+    rnf = rwhnf
+
+runSynthIdentity :: Identity -> SourceInfo -> ResultSh ()
+runSynthIdentity (Identity _ out) = writefile out . genSource
+
+defaultIdentity :: Identity
+defaultIdentity = Identity "identity" "syn_identity.v"
-- 
cgit