aboutsummaryrefslogtreecommitdiffstats
path: root/src/Test/VeriFuzz/Internal/Shared.hs
diff options
context:
space:
mode:
Diffstat (limited to 'src/Test/VeriFuzz/Internal/Shared.hs')
-rw-r--r--src/Test/VeriFuzz/Internal/Shared.hs19
1 files changed, 0 insertions, 19 deletions
diff --git a/src/Test/VeriFuzz/Internal/Shared.hs b/src/Test/VeriFuzz/Internal/Shared.hs
index bf96509..54abb53 100644
--- a/src/Test/VeriFuzz/Internal/Shared.hs
+++ b/src/Test/VeriFuzz/Internal/Shared.hs
@@ -12,25 +12,6 @@ Shared high level code used in the other modules internally.
module Test.VeriFuzz.Internal.Shared where
-import Data.Maybe (fromMaybe)
-
--- | Fold up a list of Monoids using mappend and mempty as the first
--- element.
-fromList :: (Foldable t, Monoid a) => t a -> a
-fromList = foldl mappend mempty
-
--- | Combine the Monoid elements of a list and insert the seperation symbol in
--- between each element except the last one.
-sep :: (Monoid a) => a -> [a] -> a
-sep el l = fromMaybe mempty $
- (fromList . fmap (<>el) <$> safe init l) <> safe last l
-
--- | Alternative sep which returns the pattern if the list is empty.
-sep_ :: (Monoid a) => a -> [a] -> a
-sep_ el l
- | null l = mempty
- | otherwise = el <> sep el l
-
-- | Converts unsafe list functions in the Prelude to a safe version.
safe :: ([a] -> b) -> [a] -> Maybe b
safe _ [] = Nothing