Merge pull request #15 from natefaubion/eq1-ord1

Add Eq1, Ord1

Author: garyb

src/Data/Identity.purs

@@ -7,10 +7,12 @@ import Control.Comonad (class Comonad)
 import Control.Extend (class Extend)
 import Control.Lazy (class Lazy)
 
+import Data.Eq (class Eq1)
 import Data.Foldable (class Foldable)
 import Data.Functor.Invariant (class Invariant, imapF)
 import Data.Monoid (class Monoid)
 import Data.Newtype (class Newtype)
+import Data.Ord (class Ord1)
 import Data.Traversable (class Traversable)
 
 newtype Identity a = Identity a
@@ -46,6 +48,12 @@ derive newtype instance lazyIdentity :: Lazy a => Lazy (Identity a)
 instance showIdentity :: Show a => Show (Identity a) where
   show (Identity x) = "(Identity " <> show x <> ")"
 
+instance eq1Identity :: Eq1 Identity where
+  eq1 = eq
+
+instance ord1Identity :: Ord1 Identity where
+  compare1 = compare
+
 instance functorIdentity :: Functor Identity where
   map f (Identity x) = Identity (f x)