Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Browse files

Fixing incorrect information about type synonyms

  • Loading branch information...
commit 870dbf0f29050bf4d3b6eb384f8f6225998e21ed 1 parent 5000b77
Justin Bailey authored
Showing with 9 additions and 23 deletions.
  1. +2 −2 CheatSheet.cabal
  2. +7 −21 CheatSheet.lhs
View
4 CheatSheet.cabal
@@ -1,7 +1,7 @@
Name: CheatSheet
License: BSD3
License-File: LICENSE
-Version: 2.7
+Version: 2.8
Homepage: http://cheatsheet.codeslower.com
Maintainer: Justin Bailey <jgbailey@codeslower.com>
Author: Justin Bailey <jgbailey@codeslower.com>
@@ -28,4 +28,4 @@ Source-repository head
Source-repository this
type: git
location: git://github.com/m4dc4p/cheatsheet.git
- tag: v2.7
+ tag: v2.8
View
28 CheatSheet.lhs
@@ -1486,23 +1486,9 @@ of the @Maybe@ type:
can be used on values with the type @FirstName@ or @LastName@ just as easily:
-> lName (Person f l ) =
+> lName (Person f l) =
> Person (lower f) (lower l)
- Because @type@ is just a synonym, it cannot declare multiple constructors the
- way @data@ can. Type variables can be used, but there cannot be more than the
- type variables declared with the original type. That means a synonym like the
- following is possible:
-
-< type NotSure a = Maybe a
-
- but this not:
-
-< type NotSure a b = Maybe a
-
- Note that \emph{fewer} type variables can be used, which is useful in certain
- instances.
-
\shd{Where}\label{where}
Similar to @let@, @where@ defines local functions and constants. The scope of
@@ -1528,15 +1514,15 @@ of the @Maybe@ type:
\hd{Contributors}\label{contributors}
My thanks to those who contributed patches and useful suggestions:
- Dave Bayer, Paul Butler, Elisa Firth, Marc Fontaine, Brian
- Gianforcaro, Cale Gibbard, Andrew Harris, Stephen Hicks, Kurt
- Hutchinson, Johan Kiviniemi, Adrian Neumann, Barak Pearlmutter, Lanny
- Ripple, Markus Roberts, Holger Siegel, Falko Spiller, Adam Vogt, Leif
- Warner, and Jeff Zaroyko.
+Dave Bayer, Paul Butler, Elisa Firth, Marc Fontaine, Brian
+Gianforcaro, Cale Gibbard, Andrew Harris, Stephen Hicks, Kurt
+Hutchinson, Johan Kiviniemi, Patrik Jansson, Adrian Neumann, Barak
+Pearlmutter, Lanny Ripple, Markus Roberts, Holger Siegel, Falko
+Spiller, Adam Vogt, Leif Warner, and Jeff Zaroyko.
\hd{Version}\label{version}
- This is version 2.7. The source can be found at GitHub
+ This is version 2.8. The source can be found at GitHub
(\url{http://github.com/m4dc4p/cheatsheet}). The latest released
version of the PDF can be downloaded from
\url{http://cheatsheet.codeslower.com}. Visit CodeSlower.com
Please sign in to comment.
Something went wrong with that request. Please try again.