Initial commit

Author: garyb

.gitignore

@@ -0,0 +1,4 @@
+/js/
+/externs/
+/node_modules/
+/bower_components/

LICENSE

@@ -0,0 +1,20 @@
+The MIT License (MIT)
+
+Copyright (c) 2014 PureScript
+
+Permission is hereby granted, free of charge, to any person obtaining a copy of
+this software and associated documentation files (the "Software"), to deal in
+the Software without restriction, including without limitation the rights to
+use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of
+the Software, and to permit persons to whom the Software is furnished to do so,
+subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS
+FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR
+COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER
+IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN
+CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.

bower.json

@@ -0,0 +1,21 @@
+{
+  "name": "purescript-control",
+  "version": "0.0.0",
+  "homepage": "https://github.com/purescript/purescript-control",
+  "description": "Monad and Applicative utility functions",
+  "keywords": [
+    "purescript"
+  ],
+  "license": "MIT",
+  "ignore": [
+    "**/.*",
+    "node_modules",
+    "bower_components",
+    "examples",
+    "externs",
+    "js"
+  ],
+  "dependencies": {
+    "purescript-foldable-traversable": "*"
+  }
+}

src/Control/Applicative.purs

@@ -0,0 +1,21 @@
+module Control.Applicative where
+
+import Prelude
+
+infixl 4 <*
+infixl 4 *>
+
+(<*) :: forall a b f. (Applicative f) => f a -> f b -> f a
+(<*) x y = const <$> x <*> y
+
+(*>) :: forall a b f. (Applicative f) => f a -> f b -> f b
+(*>) x y = const id <$> x <*> y
+
+lift2 :: forall a b c f. (Applicative f) => (a -> b -> c) -> f a -> f b -> f c
+lift2 f x y = f <$> x <*> y
+
+lift3 :: forall a b c d f. (Applicative f) => (a -> b -> c -> d) -> f a -> f b -> f c -> f d
+lift3 f x y z = f <$> x <*> y <*> z
+
+zipWithA :: forall m a b c. (Applicative m) => (a -> b -> m c) -> [a] -> [b] -> m [c]
+zipWithA f xs ys = sequence (zipWith f xs ys)

src/Control/Monad.purs

@@ -0,0 +1,36 @@
+module Control.Monad where
+
+import Prelude
+import Data.Array
+import Data.Traversable
+
+replicateM :: forall m a. (Monad m) => Number -> m a -> m [a]
+replicateM 0 _ = return []
+replicateM n m = do
+  a <- m
+  as <- replicateM (n - 1) m
+  return (a : as)
+
+infixr 1 >=>
+infixr 1 <=<
+
+(>=>) :: forall m a b c. (Monad m) => (a -> m b) -> (b -> m c) -> a -> m c
+(>=>) f g a = do
+  b <- f a
+  g b
+
+(<=<) :: forall m a b c. (Monad m) => (b -> m c) -> (a -> m b) -> a -> m c
+(<=<) = flip (>=>)
+
+join :: forall m a. (Monad m) => m (m a) -> m a
+join mm = do
+  m <- mm
+  m
+
+foldM :: forall m a b. (Monad m) => (a -> b -> m a) -> a -> [b] -> m a
+foldM _ a [] = return a
+foldM f a (b:bs) = f a b >>= \a' -> foldM f a' bs
+
+when :: forall m. (Monad m) => Boolean -> m {} -> m {}
+when true m = m
+when false _ = return {}