Tony Morris avatar Tony Morris committed b320493

minor change

Comments (0)

Files changed (1)

partiallenses.tex

 
 Following are more interesting partial lens values defined on data types that are integral to the Scala standard library \textemdash some oriented toward the above questions:
 
-\lstinputlisting[label=lst:MorePartialLens.scala,caption={Partial Lens for list head, JSON array, \lstinline$Option Some$}]{source/MorePartialLens.scala}
+\lstinputlisting[label=lst:MorePartialLens.scala,caption={Partial Lens for list head, \lstinline$Option Some$, JSON array}]{source/MorePartialLens.scala}
 
 Partial lenses exhibit many of the same properties of regular lenses:
 
 \begin{itemize}
-\item Partial lenses form a category, with the ability to compose and an identity value. {$((P \rightsquigarrow Q) \rightarrow (Q \rightsquigarrow R) \rightarrow (P \rightsquigarrow R)) \otimes (P \rightsquigarrow P)$}
+\item Partial lenses form a category, with the ability to compose and an identity value. {$(P \rightsquigarrow Q) \rightarrow (Q \rightsquigarrow R) \rightarrow (P \rightsquigarrow R)$} and {$(P \rightsquigarrow P)$}
 \item Partial lenses can alternate on a choice. {$(R \rightsquigarrow F) \rightarrow (S \rightsquigarrow F) \rightarrow (R \oplus S \rightsquigarrow F)$}
 \item Partial lenses combine on the product of disjoint values. {$(R \rightsquigarrow F) \rightarrow (S \rightsquigarrow G) \rightarrow (R \otimes S \rightsquigarrow F \otimes G)$}
 \item Partial lenses give rise to a codiagonal morphism. {$A \oplus A \rightsquigarrow A$}
Tip: Filter by directory path e.g. /media app.js to search for public/media/app.js.
Tip: Use camelCasing e.g. ProjME to search for ProjectModifiedEvent.java.
Tip: Filter by extension type e.g. /repo .js to search for all .js files in the /repo directory.
Tip: Separate your search with spaces e.g. /ssh pom.xml to search for src/ssh/pom.xml.
Tip: Use ↑ and ↓ arrow keys to navigate and return to view the file.
Tip: You can also navigate files with Ctrl+j (next) and Ctrl+k (previous) and view the file with Ctrl+o.
Tip: You can also navigate files with Alt+j (next) and Alt+k (previous) and view the file with Alt+o.