From 4b29933ce947acb9da6fb1d3a61aae186e235843 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Mon, 31 Dec 2018 19:17:04 +0100 Subject: Remove sep and fromList in favour of fold --- src/Test/VeriFuzz/Internal/Shared.hs | 19 ------------------- 1 file changed, 19 deletions(-) (limited to 'src/Test/VeriFuzz/Internal/Shared.hs') 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 -- cgit