We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
I
Identity
1 parent b6db475 commit 605bf06Copy full SHA for 605bf06
src/content/3.11/code/haskell/snippet07.hs
@@ -1 +1 @@
1
-type Exp a b = Lan ((,) a) I b
+type Exp a b = Lan ((,) a) Identity b
src/content/3.11/code/haskell/snippet08.hs
@@ -1,5 +1,5 @@
toExp :: (a -> b) -> Exp a b
2
-toExp f = Lan (f . fst) (I ())
+toExp f = Lan (f . fst) (Identity ())
3
4
fromExp :: Exp a b -> (a -> b)
5
-fromExp (Lan f (I x)) = \a -> f (a, x)
+fromExp (Lan f (Identity x)) = \a -> f (a, x)
0 commit comments