yasuabe

import cats.arrow.Profunctor
import cats.data.Kleisli
import eu.timepit.refined.api.Refined
import eu.timepit.refined.boolean.Not
import eu.timepit.refined.generic.Equal
import eu.timepit.refined.string.MatchesRegex
import eu.timepit.refined.{W, refineMV, refineV}
import shapeless.Nat._0
import cats.instances.function._
import cats.syntax.profunctor._

yasuabe

def measure(f: => Int): (Int, Long) = {
  val start  = System.currentTimeMillis()
  val result = f
  val millis = System.currentTimeMillis() - start
  (result, millis)
}

def tarai(x: Int, y: Int, z: Int): Int =
  if (x <= y) y else tarai(tarai(x - 1, y, z),
                           tarai(y - 1, z, x),

yasuabe

import shapeless._
import shapeless.ops.hlist._

object typeChainCat {
  trait Id[A] {
    type Out
    def apply(l: A): Out
  }
  object Id {
    type Aux[L, O] = Id[L] { type Out = O }

yasuabe

import cats.data.{ReaderT, Writer}
import cats.free.Free
import cats.~>

// domain layer -----------------------------------------------------------
case class Movie(id: Int, title: String)

sealed trait Query[A]
case class GetMovie(id: Int) extends Query[Option[Movie]]
type QueryF[T] = Free[Query, T]

yasuabe

import cats.free.Free.liftF
import cats.free.Free
import cats.{Id, ~>}

// domain layer -----------------------------------------------------------
case class Movie(id: Int, title: String)

sealed trait Query[A]
case class GetMovie(id: Int) extends Query[Option[Movie]]

yasuabe

import cats.syntax.option._

// domain layer -----------------------------------------------------------
import monix.eval.Task
import cats.data.ReaderT

case class Movie(id: Int, title: String)

trait MovieRepo {
  def getMovie(id: Int): Task[Option[Movie]]

yasuabe

import cats.syntax.option._

// domain layer -----------------------------------------------------------
import monix.eval.Task

case class Movie(id: Int, title: String)

trait MovieRepo {
  def getMovie(id: Int): Task[Option[Movie]]
}

yasuabe

import cats.syntax.option._

// domain layer -----------------------------------------------------------
import monix.eval.Task
case class Movie(id: Int, title: String)

trait MovieRepoComponent {
  trait MovieRepo {
    def getMovie(id: Int): Task[Option[Movie]]
  }

yasuabe

import cats.Monoid
import cats.arrow.Arrow
import cats.data.Kleisli

sealed case class SimpleFunc[A, B](runF: A => B)

import cats.syntax.arrow._
import cats.syntax.compose._

def arr[F[_, _]: Arrow, A, B](f: A => B): F[A, B] = Arrow[F] lift f

yasuabe

import cats.arrow.Arrow
import cats.data.Kleisli

sealed case class SimpleFunc[A, B](runF: A => B)

import cats.syntax.arrow._
import cats.syntax.compose._

def arr[F[_, _]: Arrow, A, B](f: A => B): F[A, B] = Arrow[F] lift f
def split[F[_, _]: Arrow, A]: F[A, (A, A)] = arr(x => (x, x))