We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent a692e85 commit 454fc4dCopy full SHA for 454fc4d
src/Data/Identity.purs
@@ -1,5 +1,6 @@
1
module Data.Identity where
2
3
+import Control.Alt (class Alt)
4
import Control.Applicative (class Applicative)
5
import Control.Apply (class Apply)
6
import Control.Bind (class Bind)
@@ -83,6 +84,9 @@ instance functorIdentity :: Functor Identity where
83
84
instance invariantIdentity :: Invariant Identity where
85
imap = imapF
86
87
+instance altIdentity :: Alt Identity where
88
+ alt x _ = x
89
+
90
instance applyIdentity :: Apply Identity where
91
apply (Identity f) (Identity x) = Identity (f x)
92
0 commit comments