We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
2 parents 91b2e2f + be66cf9 commit 17aced5Copy full SHA for 17aced5
src/Data/Identity.purs
@@ -5,6 +5,7 @@ import Prelude
5
import Control.Alt (class Alt)
6
import Control.Comonad (class Comonad)
7
import Control.Extend (class Extend)
8
+import Control.Lazy (class Lazy)
9
10
import Data.Foldable (class Foldable)
11
import Data.Functor.Invariant (class Invariant, imapF)
@@ -40,6 +41,8 @@ derive newtype instance commutativeRingIdentity :: CommutativeRing a => Commutat
40
41
42
derive newtype instance fieldIdentity :: Field a => Field (Identity a)
43
44
+derive newtype instance lazyIdentity :: Lazy a => Lazy (Identity a)
45
+
46
instance showIdentity :: Show a => Show (Identity a) where
47
show (Identity x) = "(Identity " <> show x <> ")"
48
0 commit comments