NotSpaceAsciiString.hs

module TestSpace.NotSpaceAsciiString where

import Test.QuickCheck.Arbitrary
import Test.QuickCheck.Gen
import Data.Coerce
import Data.Char (isSpace)


newtype NotSpace = NotSpace Char
  deriving (Eq, Ord, Show)

newtype NotSpaceString1 = NotSpaceString1 [NotSpace]
  deriving (Eq, Ord, Show)

instance Arbitrary NotSpace where
  arbitrary = do
    c <- elements [c | c <- ['\0'..'\127'], not $ isSpace c]
    pure $ NotSpace c

instance Arbitrary NotSpaceString1 where
  arbitrary = do
    c <- arbitrary
    l <- arbitrary
    pure $ NotSpaceString1 $ c : l

fromNotSpaceString1 :: NotSpaceString1 -> String
fromNotSpaceString1 = coerce