Merge pull request #77 from purescript/gen

Add some generator functions

Author: garyb

bower.json

@@ -18,6 +18,7 @@
   ],
   "dependencies": {
     "purescript-either": "^3.0.0",
+    "purescript-gen": "^1.1.0",
     "purescript-maybe": "^3.0.0",
     "purescript-partial": "^1.2.0"
   },

src/Data/Char/Gen.purs

@@ -0,0 +1,22 @@
+module Data.Char.Gen where
+
+import Prelude
+
+import Control.Monad.Gen (class MonadGen, chooseInt)
+import Data.Char as C
+
+-- | Generates a character of the Unicode basic multilingual plain.
+genUnicodeChar :: forall m. MonadGen m => m Char
+genUnicodeChar = C.fromCharCode <$> chooseInt 0 65536
+
+-- | Generates a character in the ASCII character set, excluding control codes.
+genAsciiChar :: forall m. MonadGen m => m Char
+genAsciiChar = C.fromCharCode <$> chooseInt 32 127
+
+-- | Generates a character in the ASCII character set.
+genAsciiChar' :: forall m. MonadGen m => m Char
+genAsciiChar' = C.fromCharCode <$> chooseInt 0 127
+
+-- | Generates a character that is a numeric digit.
+genDigitChar :: forall m. MonadGen m => m Char
+genDigitChar = C.fromCharCode <$> chooseInt 48 57

src/Data/String/Gen.purs

@@ -0,0 +1,29 @@
+module Data.String.Gen where
+
+import Prelude
+
+import Control.Monad.Gen (class MonadGen, unfoldable)
+import Control.Monad.Rec.Class (class MonadRec)
+import Data.Char.Gen as CG
+import Data.String as S
+
+-- | Generates a string using the specified character generator.
+genString :: forall m. MonadRec m => MonadGen m => m Char -> m String
+genString = map S.fromCharArray <<< unfoldable
+
+-- | Generates a string using characters from the Unicode basic multilingual
+-- | plain.
+genUnicodeString :: forall m. MonadRec m => MonadGen m => m String
+genUnicodeString = genString CG.genUnicodeChar
+
+-- | Generates a string using the ASCII character set, excluding control codes.
+genAsciiString :: forall m. MonadRec m => MonadGen m => m String
+genAsciiString = genString CG.genAsciiChar
+
+-- | Generates a string using the ASCII character set.
+genAsciiString' :: forall m. MonadRec m => MonadGen m => m String
+genAsciiString' = genString CG.genAsciiChar'
+
+-- | Generates a string made up of numeric digits.
+genDigitString :: forall m. MonadRec m => MonadGen m => m String
+genDigitString = genString CG.genDigitChar