From a2b01b92612a098673ff03890e6e8aef4ceb28ea Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Wed, 4 Sep 2019 20:15:51 +1000 Subject: Renaming to VeriSmith --- src/VeriFuzz/Internal.hs | 49 ------------------------------------------------ 1 file changed, 49 deletions(-) delete mode 100644 src/VeriFuzz/Internal.hs (limited to 'src/VeriFuzz/Internal.hs') diff --git a/src/VeriFuzz/Internal.hs b/src/VeriFuzz/Internal.hs deleted file mode 100644 index 86cb1f7..0000000 --- a/src/VeriFuzz/Internal.hs +++ /dev/null @@ -1,49 +0,0 @@ -{-| -Module : VeriSmith.Internal -Description : Shared high level code used in the other modules internally. -Copyright : (c) 2018-2019, Yann Herklotz -License : BSD-3 -Maintainer : yann [at] yannherklotz [dot] com -Stability : experimental -Portability : POSIX - -Shared high level code used in the other modules internally. --} - -module VeriSmith.Internal - ( -- * Useful functions - safe - , showT - , showBS - , comma - , commaNL - ) -where - -import Data.ByteString (ByteString) -import Data.ByteString.Builder (byteStringHex, toLazyByteString) -import qualified Data.ByteString.Lazy as L -import Data.Text (Text) -import qualified Data.Text as T -import Data.Text.Encoding (decodeUtf8) - --- | Function to show a bytestring in a hex format. -showBS :: ByteString -> Text -showBS = decodeUtf8 . L.toStrict . toLazyByteString . byteStringHex - --- | Converts unsafe list functions in the Prelude to a safe version. -safe :: ([a] -> b) -> [a] -> Maybe b -safe _ [] = Nothing -safe f l = Just $ f l - --- | Show function for 'Text' -showT :: (Show a) => a -> Text -showT = T.pack . show - --- | Inserts commas between '[Text]' and except the last one. -comma :: [Text] -> Text -comma = T.intercalate ", " - --- | Inserts commas and newlines between '[Text]' and except the last one. -commaNL :: [Text] -> Text -commaNL = T.intercalate ",\n" -- cgit