TimWSpence’s gists

TimWSpence / http4s_body_reuse.scala

Created February 22, 2024 14:34

	//> using scala 3
	//> using toolkit typelevel:default

	import cats.syntax.all.*
	import cats.effect.*
	import org.http4s.ember.client.EmberClientBuilder
	import org.http4s.*
	import org.http4s.circe.CirceEntityDecoder.*
	import org.http4s.implicits.*
	import org.http4s.headers.Authorization

TimWSpence / lift_hang.scala

Created November 17, 2023 11:40

Minimization of hanging caused by canceling a Doobie transaction whilst inside `WeakAsync.liftK`


	//> using scala "3.3.1"
	//> using dep "org.typelevel::cats-effect::3.5.2"

	import cats.*
	import cats.syntax.all.*
	import cats.effect.*
	import cats.effect.std.Dispatcher
	import scala.concurrent.duration.*

TimWSpence / gist:e33248116f9cbdb370c7b3001db49951

Created September 3, 2023 13:15

Map Nuke Error

	UnauthorizedAccessException: Access to the path "/private/var/folders/dr/hhydhgf570g59xhljl0l0mkm0000gn/T/AppTranslocation/3231433E-CA2C-435B-BD58-0049DADD6331/d/MapNuke.app/Contents/Export/mapnuke1.map" is denied.

	System.IO.FileStream..ctor (System.String path, System.IO.FileMode mode, System.IO.FileAccess access, System.IO.FileShare share, System.Int32 bufferSize, System.Boolean anonymous, System.IO.FileOptions options) (at <319b5411003b47fbaceecace494b6f79>:0)
	System.IO.FileStream..ctor (System.String path, System.IO.FileMode mode, System.IO.FileAccess access, System.IO.FileShare share, System.Int32 bufferSize) (at <319b5411003b47fbaceecace494b6f79>:0)
	(wrapper remoting-invoke-with-check) System.IO.FileStream..ctor(string,System.IO.FileMode,System.IO.FileAccess,System.IO.FileShare,int)
	System.IO.File.Create (System.String path, System.Int32 bufferSize) (at <319b5411003b47fbaceecace494b6f79>:0)
	System.IO.File.Create (System.String path) (at <319b5411003b47fbaceecace494b6f79>:0)
	MapFileWriter.GenerateText (

TimWSpence / TestControl.scala

Last active November 15, 2022 15:44

	//> using scala "3.2.1"
	//> using lib "org.typelevel::cats-effect-testkit:3.4.0"
	//> using lib "org.typelevel::munit-cats-effect-3:1.0.7"

	import cats.effect.*
	import cats.effect.testkit.TestControl
	import munit.CatsEffectSuite
	import scala.concurrent.duration.*

	class Suite extends CatsEffectSuite:

TimWSpence / binary_tree.dhall

Created March 1, 2021 14:09

	let Tree
	: Type → Type
	= λ(Elem : Type) →
	∀(T : Type) → ∀(Branch : Elem → T → T → T) → ∀(Leaf : T) → T

	let showTree =
	λ(elem : Type) →
	λ(show : elem → Text) →
	λ(tree : Tree elem) →
	tree

TimWSpence / blockOn.scala

Last active April 28, 2023 13:42

Cats effect 2 nested evalOn/blockOn gotcha

	import cats.implicits._
	import cats.effect.{Blocker, IO, IOApp, ExitCode}
	import java.util.concurrent.Executors

	object Test extends IOApp {
	override def run(args: List[String]): IO[ExitCode] = {
	val blocker = Blocker.liftExecutorService(Executors.newCachedThreadPool())
	blocker.blockOn(
	for {
	_ <- printThread

TimWSpence / cats_stm_0.7.0_4.md

Last active February 28, 2020 11:51

    import cats.effect.{ExitCode, IO, IOApp}
import io.github.timwspence.cats.stm.{TVar, STM}
import scala.concurrent.duration._

object Main extends IOApp {

  override def run(args: List[String]): IO[ExitCode] =
    for {
      accountForTim   <- TVar.of[Long](100).commit[IO]

  

TimWSpence / cats_stm_0.7.0_3.md

Last active February 26, 2020 10:49

def atomically[F[_], A](s: STM[A]): F[A]

TimWSpence / cats_stm_0.7.0_2.md

Last active February 26, 2020 10:50

    def get: STM[A]
def set(a: A): STM[Unit]
def modify(f: A => A): STM[Unit]

  

TimWSpence / cats_stm_0.7.0_1.md

Last active February 26, 2020 10:50

    def map[A, B](s: STM[A], f: A => B): STM[B]
def orElse[A](attempt: STM[A], fallback: STM[A]): STM[A]
def check(check: => Boolean): STM[Unit]

  

Tim Spence TimWSpence