diff options
author | Yann Herklotz <ymherklotz@gmail.com> | 2018-12-31 19:17:04 +0100 |
---|---|---|
committer | Yann Herklotz <ymherklotz@gmail.com> | 2018-12-31 19:17:04 +0100 |
commit | 4b29933ce947acb9da6fb1d3a61aae186e235843 (patch) | |
tree | 6d8e5ec30e3ada7b057bd663340ec9432926a15c /src/Test/VeriFuzz/Internal/Shared.hs | |
parent | 8dd9e46314c775b92574b67fc0d7207180fbec78 (diff) | |
download | verismith-4b29933ce947acb9da6fb1d3a61aae186e235843.tar.gz verismith-4b29933ce947acb9da6fb1d3a61aae186e235843.zip |
Remove sep and fromList in favour of fold
Diffstat (limited to 'src/Test/VeriFuzz/Internal/Shared.hs')
-rw-r--r-- | src/Test/VeriFuzz/Internal/Shared.hs | 19 |
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 |