Merge pull request #15 from michaelficarra/perms-ring

add Semiring instance for Perm

Author: hdgarrood

README.md

@@ -221,6 +221,13 @@ instance semigroupPerm :: Semigroup Perm
 ```
 
 
+#### `semiringPerm`
+
+``` purescript
+instance semiringPerm :: Semiring Perm
+```
+
+
 #### `none`
 
 ``` purescript

src/Node/FS/Perms.purs

@@ -50,6 +50,13 @@ instance semigroupPerm :: Semigroup Perm where
   (<>) (Perm { r = r0, w = w0, x = x0 }) (Perm { r = r1, w = w1, x = x1 }) =
     Perm { r: r0 || r1, w: w0 || w1, x: x0 || x1  }
 
+instance semiringPerm :: Semiring Perm where
+  (+) = (<>)
+  zero = none
+  (*) (Perm { r = r0, w = w0, x = x0 }) (Perm { r = r1, w = w1, x = x1 }) =
+    Perm { r: r0 && r1, w: w0 && w1, x: x0 && x1  }
+  one = all
+
 -- | Create a `Perm` value. The arguments represent the readable, writable, and
 -- | executable permissions, in that order.
 mkPerm :: Boolean -> Boolean -> Boolean -> Perm