diff options
author | Yann Herklotz <ymherklotz@gmail.com> | 2018-12-31 13:06:56 +0100 |
---|---|---|
committer | Yann Herklotz <ymherklotz@gmail.com> | 2018-12-31 13:06:56 +0100 |
commit | b679d2c6b19f647a3af98019426dfd05e8e103e9 (patch) | |
tree | bacc46287a4f2bdb7fbac59c0dc3c983342d23ea /src/Test/VeriFuzz/Verilog/AST.hs | |
parent | 619965e928c10caf6fe430cf09c9bc09352ba071 (diff) | |
download | verismith-b679d2c6b19f647a3af98019426dfd05e8e103e9.tar.gz verismith-b679d2c6b19f647a3af98019426dfd05e8e103e9.zip |
Finish module instantiation
Diffstat (limited to 'src/Test/VeriFuzz/Verilog/AST.hs')
-rw-r--r-- | src/Test/VeriFuzz/Verilog/AST.hs | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/Test/VeriFuzz/Verilog/AST.hs b/src/Test/VeriFuzz/Verilog/AST.hs index 3ae595f..85c3e99 100644 --- a/src/Test/VeriFuzz/Verilog/AST.hs +++ b/src/Test/VeriFuzz/Verilog/AST.hs @@ -385,6 +385,12 @@ instance QC.Arbitrary VerilogSrc where instance IsString Identifier where fromString = Identifier . T.pack +instance Semigroup Identifier where + (Identifier a) <> (Identifier b) = Identifier (a <> b) + +instance Monoid Identifier where + mempty = Identifier mempty + -- Traversal Instance traverseExpr :: Traversal' Expression Expression |