yasuabe

import scalaz.zio.{DefaultRuntime, IO, ZIO}

// domain layer -----------------------------------------------------------
sealed trait AppError
case object NoValue extends AppError

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

trait MovieRepo {
  def getMovie(id: Int): IO[AppError, 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

package exercise.squants.with_circe

import eu.timepit.refined.types.string.NonEmptyString
import io.circe.parser.parse
import squants.market.{Money, Price}
import cats.syntax.either._
import io.circe.refined._
import io.circe._
import io.circe.generic.auto._
import squants.space.Volume

yasuabe

package exercise.squants.with_pureconfig

import pureconfig.ConfigReader.Result
import squants.motion.Pressure
import pureconfig.module.squants._
import pureconfig.generic.auto._
import squants.Mass
import squants.thermal._
import squants.space._

yasuabe

import squants.market.{JPY, MoneyContext, USD}
import squants.market.MoneyConversions._

val rate = USD / 112.14.yen
// r: CurrencyExchangeRate = USD/JPY 112.14

rate convert 10.dollars
// 1121.4 JPY

import squants.market.defaultMoneyContext

yasuabe

// Analysis Patterns 3.1
import squants.mass.MassConversions._

val m1 = 185 pounds
// m1: Mass = 185.0 lb
val (q, u) = m1 toTuple // 必要なら数値と単位文字列に分けることもできる
// q: Double = 185.0
// u: String = lb

import squants.market.MoneyConversions._

yasuabe

name := "squants_exercise"

version := "0.1"

scalaVersion := "2.12.8"

scalacOptions ++= Seq(
  "-encoding", "utf8",
  "-Xfatal-warnings",
  "-Ypartial-unification",

yasuabe

import ciris.{ConfigKeyType, ConfigSource}

// Coproduct
import shapeless.{:+:, CNil}
import ciris.generic._
val gType = ConfigKeyType[String]("generic key")

ConfigSource.fromEntries(gType)("key" -> "5.0")
  .read("key").decodeValue[Float :+: String :+: CNil].result
// Right(Inl(5.0))

yasuabe

package exercise.ciris.qiita3

import cats.effect.ExitCode.{Error, Success}
import cats.effect.{ExitCode, Sync}
import cats.syntax.functor._
import ciris.api.{Apply => CApply}
import ciris.cats.effect._
import ciris.{envF, loadConfig}
import monix.eval.{Task, TaskApp}
import scala.language.higherKinds

yasuabe

package exercise.ciris.qiita1

import ciris.api.Id
import ciris.{ConfigResult, env, withValues, loadConfig}
import ciris.generic._

object MainMulti {
  case class Config(name: String)

  val config: ConfigResult[Id, Config] =