https://kotlinlang.org logo
Channels
Powered by
#arrow-contributors
  • j

    jereksel

    02/06/2018, 3:25 PM
    Setter only it is then - I'll combine BoundSetter with Annotation processing today and we'll see how it looks.
    👍 2
  • s

    simon.vergauwen

    02/06/2018, 5:56 PM
    I enabled some additional syntax using 
    Each
    and 
    Index
    .
  • s

    simon.vergauwen

    02/06/2018, 5:56 PM
    @simon.vergauwen uploaded a file: Untitled
    -.kt
  • s

    simon.vergauwen

    02/06/2018, 5:57 PM
    I am afraid we lose some elegancy due to the generics there but we can overload them for common datatypes like 
    ListKW
    .
  • s

    simon.vergauwen

    02/06/2018, 5:58 PM
    employees.setter().employees.get(0).company.nullable.address.street.name.modify(String::toUpperCase)
  • j

    jereksel

    02/06/2018, 6:00 PM
    employees.get(0), could be employees[0] I think
  • s

    simon.vergauwen

    02/06/2018, 6:04 PM
    Yes but that would break for other containers than 
    ListKW
  • j

    jereksel

    02/06/2018, 6:20 PM
    @simon.vergauwen @radimir.sorokin https://github.com/arrow-kt/arrow/pull/669
  • r

    raulraja

    02/06/2018, 8:04 PM
    Does anyone have an opinion on this? https://github.com/arrow-kt/arrow/pull/665
  • p

    pakoito

    02/07/2018, 1:45 AM
    The renaming proposed last Sunday is underway, please be patient because it’ll break a bunch of branches
  • p

    pakoito

    02/07/2018, 1:45 AM
    I’ll help whomever has issues or needs encouragement 🙂
  • s

    simon.vergauwen

    02/07/2018, 12:36 PM
    👍
  • s

    simon.vergauwen

    02/08/2018, 9:47 AM
  • s

    simon.vergauwen

    02/08/2018, 9:50 AM
    Doesn’t this break identity law?
  • s

    simon.vergauwen

    02/08/2018, 9:51 AM
    Copy code
    Try.traverse().traverse(Try { throw RuntimeException("BOOM") }, { Id.pure(it) }, Id.applicative()).value()
            .let(::println) //Failure(exception=java.lang.IllegalStateException)
  • s

    simon.vergauwen

    02/08/2018, 9:53 AM
    TraverseLaws.laws(Try.traverse(), Try.functor(), ::Success, Eq.any())
    The way we’re currently testing laws we’re not catching this unlawfulness. Are we?
  • r

    raulraja

    02/08/2018, 12:49 PM
    @simon.vergauwen yeah that is wrong
  • s

    simon.vergauwen

    02/08/2018, 12:50 PM
    Alright I’ll make a PR for that 🙂
    ❤️ 1
  • s

    simon.vergauwen

    02/08/2018, 12:52 PM
    What should we do with the laws?
  • s

    simon.vergauwen

    02/08/2018, 12:52 PM
    inline fun <reified F> laws(TF: Traverse<F> = traverse<F>(), FF: Functor<F> = functor<F>(), crossinline cf: (Int) -> Kind<F, Int>, EQ: Eq<Kind<F, Int>> = eq())
  • s

    simon.vergauwen

    02/08/2018, 12:52 PM
    should be
  • s

    simon.vergauwen

    02/08/2018, 12:53 PM
    inline fun <reified F> laws(TF: Traverse<F> = traverse<F>(), FF: Functor<F> = functor<F>(), gen: Gen<Kind<F, Int>>, EQ: Eq<Kind<F, Int>> = eq())
  • s

    simon.vergauwen

    02/08/2018, 12:54 PM
    But that requires the users to deal with 
    Gen
    .
  • j

    jereksel

    02/08/2018, 2:52 PM
    I was just checking documentation for 
    At
    (http://arrow-kt.io/docs/optics/at/) and I'm wondering why is it 
    Lens
    and not 
    Optional
    and how can it be defined for Set when its elements are not numbered (I would understand it for List, but there is no mentioning of List in docs).
  • j

    jereksel

    02/08/2018, 2:53 PM
    From my understanding Lens is when we're sure that element exists (like field in class), but index doesn't have to exist for given List/Map.
  • j

    jereksel

    02/08/2018, 2:57 PM
    Oh ok - 
    Index
    is Optional and 
    At
    is Lens.
  • j

    jereksel

    02/08/2018, 2:58 PM
    I was confused by this naming, sorry
  • s

    simon.vergauwen

    02/08/2018, 2:59 PM
    👍
  • s

    simon.vergauwen

    02/08/2018, 2:59 PM
    Too fast for me to answer 😄
  • r

    raulraja

    02/09/2018, 12:14 AM
1...181920...115Latest