CJ Smith CJSmith-0141

CJSmith-0141 / submarine.scala

Created March 2, 2025 05:01

	//> using toolkit typelevel:default
	//> using scala 3.6.3
	//> using dep org.typelevel::cats-mtl:1.5.0

	import cats.effect.*
	import cats.mtl.{Handle, Raise}
	import cats.syntax.all.*
	import cats.mtl.syntax.all.*
	import cats.*
	import cats.data.NonEmptyList

CJSmith-0141 / iron.scala

Created February 10, 2025 02:01

Quick example using Iron with an optional refined type

	#!/usr/bin/env -S scala-cli shebang -S 3
	//> using toolkit typelevel:default
	//> using dep io.github.iltotore::iron:2.6.0
	//> using dep io.github.iltotore::iron-cats:2.6.0
	//> using dep io.github.iltotore::iron-circe:2.6.0

	import cats.*
	import cats.data.EitherNec
	import cats.data.NonEmptyChain
	import cats.effect.*

CJSmith-0141 / Day7.scala

Created December 11, 2023 01:06

Aoc 2023 Day 7

	package net.tazato
	import cats.Eq
	import cats.effect.*
	import cats.syntax.all.*
	import cats.parse.Parser as P
	import cats.parse.Numbers.digits
	import cats.parse.Rfc5234.{alpha, lf, wsp, octet}

	object Day7 extends IOApp.Simple {
	val input = io.Source.fromResource("day7.txt").mkString

CJSmith-0141 / Day6.scala

Created December 11, 2023 01:01

AoC 2023 Day 6

	package net.tazato

	import cats.*
	import cats.data.NonEmptyList
	import cats.effect.*
	import cats.parse.Parser as P
	import cats.parse.Numbers.digits
	import cats.parse.Rfc5234.lf
	import cats.parse.Rfc5234.wsp
	import cats.syntax.all.*

CJSmith-0141 / Day5.scala

Last active December 7, 2023 21:17

AoC 2023 Day 5

	package net.tazato

	import cats.*
	import cats.data.NonEmptyList
	import cats.effect.*
	import cats.parse.Parser as P
	import cats.parse.Numbers.digits
	import cats.parse.Rfc5234.lf
	import cats.parse.Rfc5234.wsp
	import cats.syntax.all.*

CJSmith-0141 / Day4.scala

Created December 4, 2023 16:25

AoC 2023 Day 4

	package net.tazato

	import cats.*
	import cats.effect.*
	import cats.syntax.all.*
	import cats.parse.Parser as P
	import cats.parse.Rfc5234.{digit, wsp}

	import scala.collection.mutable

CJSmith-0141 / Day3.scala

Created December 4, 2023 01:29

AoC 2023 Day 3

	package net.tazato

	import cats.*
	import cats.effect.*
	import cats.syntax.all.*

	object Day3 extends IOApp.Simple {

	case class PartNumberCoordinate(xMin: Int, xMax: Int, y: Int)
	case class PartNumber(partNumber: Int, coordinate: PartNumberCoordinate)

CJSmith-0141 / Day2.scala

Last active December 2, 2023 15:55

AoC 2023 Day 2

	package net.tazato
	import cats.*
	import cats.data.NonEmptyList
	import cats.effect.*
	import cats.syntax.all.*
	import cats.parse.*
	import cats.derived.*
	import cats.parse.Rfc5234.{alpha, digit, wsp}

	import scala.io.BufferedSource

CJSmith-0141 / Day1.scala

Last active December 1, 2023 18:42

AoC 2023 Day 1

	package net.tazato
	import cats.effect.*

	object Day1 extends IOApp.Simple {
	private def eat(s: String): String = {
	s.replaceAll("one", "o1e")
	.replaceAll("two", "t2o")
	.replaceAll("three", "t3e")
	.replaceAll("four", "f4r")
	.replaceAll("five", "f5e")

CJSmith-0141 / ValidationRoutes.scala

Last active September 9, 2023 15:45

	package com.example.routes

	import cats.Applicative
	import cats.effect.Concurrent
	import cats.syntax.all.*
	import org.http4s.*
	import org.http4s.circe.{jsonEncoderOf, jsonOf}
	import org.http4s.dsl.Http4sDsl
	import org.typelevel.ci.CIString
	import io.circe.generic.semiauto.*