From a9002d9bfdfa8b6ae0973b7972ce300142c1ded0 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Fri, 1 Feb 2019 19:43:22 +0000 Subject: Fix internal modules --- src/VeriFuzz/Internal.hs | 12 +++++++++++- 1 file changed, 11 insertions(+), 1 deletion(-) (limited to 'src/VeriFuzz') 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 -- cgit