diff options
| author | Yann Herklotz <ymherklotz@gmail.com> | 2019-02-01 19:43:22 +0000 |
|---|---|---|
| committer | Yann Herklotz <ymherklotz@gmail.com> | 2019-02-01 19:43:22 +0000 |
| commit | a9002d9bfdfa8b6ae0973b7972ce300142c1ded0 (patch) | |
| tree | e88303aa2a60f3edae95d5834d1c33e966d98a53 /src/VeriFuzz/Internal.hs | |
| parent | 1067284cc1f6ca8ba646545c5b8d0a79cc2e41ad (diff) | |
| download | verismith-a9002d9bfdfa8b6ae0973b7972ce300142c1ded0.tar.gz verismith-a9002d9bfdfa8b6ae0973b7972ce300142c1ded0.zip | |
Fix internal modules
Diffstat (limited to 'src/VeriFuzz/Internal.hs')
| -rw-r--r-- | src/VeriFuzz/Internal.hs | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/src/VeriFuzz/Internal.hs b/src/VeriFuzz/Internal.hs index 1adbc84..9136aba 100644 --- a/src/VeriFuzz/Internal.hs +++ b/src/VeriFuzz/Internal.hs @@ -10,7 +10,17 @@ Portability : POSIX Shared high level code used in the other modules internally. -} -module VeriFuzz.Internal where +module VeriFuzz.Internal + ( -- * Useful functions + safe + -- * Circuit modules + , module VeriFuzz.Internal.Circuit + -- * Simulator Internals + , module VeriFuzz.Internal.Simulator + ) where + +import VeriFuzz.Internal.Circuit +import VeriFuzz.Internal.Simulator -- | Converts unsafe list functions in the Prelude to a safe version. safe :: ([a] -> b) -> [a] -> Maybe b |