Initial commit, extracted from transformers

Author: garyb

.gitignore

@@ -0,0 +1,6 @@
+/.*
+!/.gitignore
+/bower_components/
+/node_modules/
+/output/
+/tmp/

Gruntfile.js

@@ -0,0 +1,30 @@
+module.exports = function(grunt) {
+
+  "use strict";
+
+  grunt.initConfig({ 
+  
+    libFiles: [
+      "src/**/*.purs",
+      "bower_components/purescript-*/src/**/*.purs",
+    ],
+    
+    clean: ["output"],
+  
+    pscMake: ["<%=libFiles%>"],
+    dotPsci: ["<%=libFiles%>"],
+    docgen: {
+        readme: {
+            src: "src/**/*.purs",
+            dest: "README.md"
+        }
+    }
+
+  });
+
+  grunt.loadNpmTasks("grunt-contrib-clean");
+  grunt.loadNpmTasks("grunt-purescript");
+  
+  grunt.registerTask("make", ["pscMake", "dotPsci", "docgen"]);
+  grunt.registerTask("default", ["make"]);
+};

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.

README.md

@@ -0,0 +1,40 @@
+# Module Documentation
+
+## Module Data.Identity
+
+### Types
+
+    newtype Identity a where
+      Identity :: a -> Identity a
+
+
+### Type Class Instances
+
+    instance applicativeIdentity :: Applicative Identity
+
+    instance applyIdentity :: Apply Identity
+
+    instance bindIdentity :: Bind Identity
+
+    instance comonadIdentity :: Comonad Identity
+
+    instance eqIdentity :: (Eq a) => Eq (Identity a)
+
+    instance extendIdentity :: Extend Identity
+
+    instance foldableIdentity :: Foldable Identity
+
+    instance functorIdentity :: Functor Identity
+
+    instance monadIdentity :: Monad Identity
+
+    instance ordIdentity :: (Ord a) => Ord (Identity a)
+
+    instance showConst :: (Show a) => Show (Identity a)
+
+    instance traversableIdentity :: Traversable Identity
+
+
+### Values
+
+    runIdentity :: forall a. Identity a -> a

bower.json

@@ -0,0 +1,25 @@
+{
+  "name": "purescript-identity",
+  "homepage": "https://github.com/purescript/purescript-identity",
+  "description": "Identity value/functor",
+  "keywords": [
+    "purescript"
+  ],
+  "authors": [
+    "Gary Burgess <[email protected]>",
+    "Hardy Jones <[email protected]>"
+  ],
+  "license": "MIT",
+  "ignore": [
+    "**/.*",
+    "bower_components",
+    "node_modules",
+    "output",
+    "bower.json",
+    "Gruntfile.js",
+    "package.json"
+  ],
+  "dependencies": {
+    "purescript-foldable-traversable": "~0.1.4"
+  }
+}

package.json

@@ -0,0 +1,8 @@
+{
+  "private": true,
+  "devDependencies": {
+    "grunt": "~0.4.5",
+    "grunt-purescript": "~0.5.2",
+    "grunt-contrib-clean": "~0.5.0"
+  }
+}

src/Data/Identity.purs

@@ -0,0 +1,50 @@
+module Data.Identity where
+
+import Control.Comonad (Comonad, extract)
+import Control.Extend (Extend, (<<=))
+import Data.Foldable (Foldable, foldr, foldl, foldMap)
+import Data.Traversable (Traversable, traverse, sequence)
+
+newtype Identity a = Identity a
+
+runIdentity :: forall a. Identity a -> a
+runIdentity (Identity x) = x
+
+instance eqIdentity :: (Eq a) => Eq (Identity a) where
+  (==) (Identity x) (Identity y) = x == y
+  (/=) x y = not (x == y)
+
+instance ordIdentity :: (Ord a) => Ord (Identity a) where
+  compare (Identity x) (Identity y) = compare x y
+
+instance showConst :: (Show a) => Show (Identity a) where
+  show (Identity x) = "Identity (" ++ show x ++ ")"
+
+instance functorIdentity :: Functor Identity where
+  (<$>) f (Identity x) = Identity (f x)
+
+instance applyIdentity :: Apply Identity where
+  (<*>) (Identity f) (Identity x) = Identity (f x)
+
+instance applicativeIdentity :: Applicative Identity where
+  pure = Identity
+
+instance bindIdentity :: Bind Identity where
+  (>>=) m f = f (runIdentity m)
+
+instance monadIdentity :: Monad Identity
+
+instance extendIdentity :: Extend Identity where
+  (<<=) f m = Identity (f m)
+
+instance comonadIdentity :: Comonad Identity where
+  extract (Identity x) = x
+
+instance foldableIdentity :: Foldable Identity where
+  foldr f z (Identity x) = f x z
+  foldl f z (Identity x) = f z x
+  foldMap f (Identity x) = f x
+
+instance traversableIdentity :: Traversable Identity where
+  traverse f (Identity x) = Identity <$> f x
+  sequence (Identity x) = Identity <$> x