Merge pull request idris-lang#3748 from tsani/pair-is-functor

Prelude: implement Functor for `Pair a`
Idris-zh · Apr 16, 2017 · 502ad1f · 502ad1f
2 parents bccb3a5 + ee7a3cb
commit 502ad1f
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 0 deletions.
diff --git a/libs/prelude/Prelude/Functor.idr b/libs/prelude/Prelude/Functor.idr
@@ -1,5 +1,6 @@
 module Prelude.Functor
 
+import Builtins
 import Prelude.Basics
 
 %access public export
@@ -22,3 +23,5 @@ infixl 4 <$>
 (<$>) : Functor f => (func : a -> b) -> f a -> f b
 func <$> x = map func x
 
+Functor (Pair a) where
+  map f (x, y) = (x, f y)
diff --git a/test/docs003/expected b/test/docs003/expected
@@ -10,6 +10,7 @@ Methods:
 
         The function is Total
 Implementations:
+    Functor (Pair a)
     Functor List
     Functor (IO' ffi)
     Functor Stream