Handle list head and tail updates with explicit empty-list errors

This commit is contained in:
milner committed 2019-03-01 05:48:41 +00:00
1 parent d8c191be6d
commit a7237a6412
4 files changed
+26

No files matched your search

+2
View File
@@ -9,3 +9,5 @@ val compose : ('s, 't, 'a, 'b) lens -> ('a, 'b, 'c, 'd) lens -> ('s, 't, 'c, 'd)
val _1 : ('a * 'c, 'b * 'c, 'a, 'b) lens
val _2 : ('c * 'a, 'c * 'b, 'a, 'b) lens
val _id : ('a, 'b, 'a, 'b) lens
val _hd : ('a list, 'a) lens'
val _tl : ('a list, 'a list) lens'