diff options
-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 |