dnaumenko

interface A { kind: "A", propA: string }
interface B { kind: "B", propB: string }
function foo(param: A | B): string {
  switch (param.kind) {
    case "A":
    return 'foo'
  case "B":
    return 'bar'
  }
}

dnaumenko

sealed trait Or
trait Left extends Or
trait Right extends Or

dnaumenko

interface Animal {
  suitableFood: "grass"
}

dnaumenko

// Includes functions for exporting active sheet or all sheets as JSON object (also Python object syntax compatible).
// Tweak the makePrettyJSON_ function to customize what kind of JSON to export.

var FORMAT_ONELINE   = 'One-line';
var FORMAT_MULTILINE = 'Multi-line';
var FORMAT_PRETTY    = 'Pretty';

var LANGUAGE_JS      = 'JavaScript';
var LANGUAGE_PYTHON  = 'Python';

dnaumenko

import com.example.functional.env.catz._

def buildProgram[F[_] : Sync]: F[Unit] = {
  import cats.implicits._
  for {
    _ <- Sync[F].delay(println("Starting"))
    _ <- Sync[F].delay(println("Finished"))
  } yield ()
}

dnaumenko

import com.example.functional.env.catz._

def buildProgram[F[_] : Sync]: F[Unit] = {
  import cats.implicits._
  for {
    _ <- Sync[F].delay(println("Starting"))
    _ <- Sync[F].delay(println("Finished"))
  } yield ()
}

dnaumenko

def initUnsafe[Ctx](value: Ctx): Context[Ctx] = {
  Runtime({}, PlatformLive.Default).unsafeRun(Context.init(value))
}

dnaumenko

private[env] abstract class CatsInstance {
  implicit def emptyRuntime[Ctx](implicit provideEmptyEnv: ProvideEnv[Ctx]): Runtime[Ctx] = {
    Runtime[Ctx](provideEmptyEnv.provide, PlatformLive.Default)
  }
}

dnaumenko

val context = Runtime({}, PlatformLive.Default).unsafeRun(Context.init(ExampleEnv("test")))
implicit val rts: Runtime[Context[ExampleEnv]] = Runtime(context, PlatformLive.Default)

buildProgram[Env[ExampleEnv, ?]].unsafeRunSync(ExampleEnv("test"))

dnaumenko

object EnvFinalTaglessTest extends App {
  import com.example.functional.env.catz._
  
  def buildProgram[F[_] : Sync]: F[Unit] = {
    import cats.implicits._
    for {
      _ <- Sync[F].delay(println("Starting"))
      _ <- Sync[F].delay(println("Finished"))
    } yield ()
  }