From dbe0a9e8250477728eb8a652fc92c35dbd018830 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Sat, 1 Dec 2018 16:48:13 +0000 Subject: Add more code to the shared code --- src/Test/VeriFuzz/Internal/Shared.hs | 10 ++++++++++ 1 file changed, 10 insertions(+) (limited to 'src/Test/VeriFuzz/Internal') diff --git a/src/Test/VeriFuzz/Internal/Shared.hs b/src/Test/VeriFuzz/Internal/Shared.hs index 584ecfd..84e6af6 100644 --- a/src/Test/VeriFuzz/Internal/Shared.hs +++ b/src/Test/VeriFuzz/Internal/Shared.hs @@ -1,4 +1,14 @@ module Test.VeriFuzz.Internal.Shared where +import Data.Maybe (fromMaybe) + fromList :: (Foldable t, Monoid a) => t a -> a fromList = foldl mappend mempty + +sep :: (Monoid a) => a -> [a] -> a +sep el l = fromMaybe mempty $ + (fromList . fmap (<>el) <$> safe init l) <> safe last l + +safe :: ([a] -> b) -> [a] -> Maybe b +safe _ [] = Nothing +safe f l = Just $ f l -- cgit