diff options
| author | Yann Herklotz Grave <git@yannherklotzgrave.com> | 2019-03-03 18:57:07 +0000 |
|---|---|---|
| committer | Yann Herklotz Grave <git@yannherklotzgrave.com> | 2019-03-03 18:57:07 +0000 |
| commit | 3fbb87fe5c5058ecb2a2bdc30a999835aaced8af (patch) | |
| tree | 4a09cd8b77f7b37e56e5adf7724701d34462d403 /src/VeriFuzz/AST.hs | |
| parent | 97ff5c00d3e2b864238cadb225d26d4bebe72154 (diff) | |
| download | verismith-3fbb87fe5c5058ecb2a2bdc30a999835aaced8af.tar.gz verismith-3fbb87fe5c5058ecb2a2bdc30a999835aaced8af.zip | |
Add transformers and procedural generation
Diffstat (limited to 'src/VeriFuzz/AST.hs')
| -rw-r--r-- | src/VeriFuzz/AST.hs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/VeriFuzz/AST.hs b/src/VeriFuzz/AST.hs index b468c2f..a2ebb32 100644 --- a/src/VeriFuzz/AST.hs +++ b/src/VeriFuzz/AST.hs @@ -112,6 +112,8 @@ module VeriFuzz.AST , modConn , modConnName , modExpr + -- * Useful functions + , positiveArb -- * Useful Lenses and Traversals , getModule , getSourceId |