com.github.tonivade.purefun.instances.TupleInstances Maven / Gradle / Ivy

Go to download
/*
 * Copyright (c) 2018-2020, Antonio Gabriel Muñoz Conejo 
 * Distributed under the terms of the MIT License
 */
package com.github.tonivade.purefun.instances;

import com.github.tonivade.purefun.Function1;
import com.github.tonivade.purefun.Kind;
import com.github.tonivade.purefun.Tuple1Of;
import com.github.tonivade.purefun.Tuple1_;
import com.github.tonivade.purefun.Tuple2;
import com.github.tonivade.purefun.Tuple2Of;
import com.github.tonivade.purefun.Tuple2_;
import com.github.tonivade.purefun.typeclasses.Bifunctor;
import com.github.tonivade.purefun.typeclasses.Functor;

public interface TupleInstances {

  static Functor functor() {
    return Tuple1Functor.INSTANCE;
  }

  static Bifunctor bifunctor() {
    return Tuple2Bifunctor.INSTANCE;
  }
}

interface Tuple1Functor extends Functor {

  Tuple1Functor INSTANCE = new Tuple1Functor() {};

  @Override
  default  Kind map(Kind value, Function1 map) {
    return value.fix(Tuple1Of::narrowK).map(map);
  }
}

interface Tuple2Bifunctor extends Bifunctor {

  Tuple2Bifunctor INSTANCE = new Tuple2Bifunctor() {};

  @Override
  default  Tuple2 bimap(Kind, B> value,
                                          Function1 leftMap,
                                          Function1 rightMap) {
    return value.fix(Tuple2Of::narrowK).map(leftMap, rightMap);
  }
}