See polymorphic lenses.
- Examples:
Define lenses for a structure type.
See road and cityaddress.
- Using lenses to write parts of a structure.
Exports
-
write, run, map, modify, writtenMemberType, read, readStateType, toReader, PLens, ask, flatMap, MemberUpdater, chain, writtenStateType, ask, readMemberType, plens, MemberReader, lens, readStateType, writtenStateType, toReader, ../monad/reader, Reader, write, modify, writtenMemberType, readMemberType, read, local, ../monad/reader, Reader, ask, local, map, run, ask, toReader, flatMap, toReader