jimn
06/21/2018, 1:39 AMjimn
06/21/2018, 2:00 AMjimn
06/21/2018, 2:00 AMpakoito
06/23/2018, 2:12 PMpakoito
06/23/2018, 2:12 PMjereksel
06/24/2018, 4:36 PMOptional<List<A>, A>
from: https://github.com/arrow-kt/arrow/blob/3928a19ba5cd797a691f1251e092c4726ade9fe7/arrow-optics/src/main/kotlin/arrow/optics/instances/OptionalInstances.kt#L19jereksel
06/24/2018, 4:36 PMat
?simon.vergauwen
06/24/2018, 4:40 PMindex
simon.vergauwen
06/24/2018, 4:41 PMAt
works with Lens
which is not valid for List
indexes.jereksel
06/24/2018, 4:42 PMpakoito
06/25/2018, 11:24 PMpakoito
06/25/2018, 11:25 PMsimon.vergauwen
06/26/2018, 6:37 AMarrow-docs:runAnk
for https://github.com/arrow-kt/arrow/pull/908pakoito
06/26/2018, 9:23 AMsimon.vergauwen
06/26/2018, 9:23 AMsimon.vergauwen
06/27/2018, 10:50 AMraulraja
06/28/2018, 10:54 AMraulraja
06/28/2018, 10:57 AMpguardiola
06/28/2018, 9:11 PMpakoito
06/30/2018, 1:28 PMpakoito
06/30/2018, 1:40 PMpakoito
06/30/2018, 1:40 PMsimon.vergauwen
06/30/2018, 1:41 PMjacob
07/04/2018, 12:02 AMsimon.vergauwen
07/05/2018, 10:31 AMjereksel
07/05/2018, 12:38 PMsimon.vergauwen
07/05/2018, 2:51 PMsimon.vergauwen
07/05/2018, 2:53 PMval lens: Lens<A, List<B>>
ListInstances.index().run {
lens[0].getOption(value)
}