martinlechner1 / ZIO

Created May 5, 2020 13:54

	# ZIO usage

	## ZLayer for dependency management

	- Type safe
	- Composable
	- No Magic / No reflection (unlike Guice)
	- Support for modeling failing dependencies (such as config loading)

	## Module pattern

martinlechner1 / useful-commands.sh

Created November 18, 2019 09:25

	docker system prune -a --volumes

	curl cheat.sh/curl

martinlechner1 / sqlProgram.scala

Created October 25, 2019 08:19

	def queryProgram(xa: Transactor[IO]) =
	sql"""SELECT your_fields FROM your_table"""
	.query[YourModel]
	.stream
	.transact(xa)
	.evalMap(d => IO(println(d)))
	.compile
	.drain

martinlechner1 / transactorUse.scala

Created October 25, 2019 08:17

prestoTransactor().use { xa => queryProgram(xa) }.unsafeRunSync()

martinlechner1 / buildTransactor.scala

Last active October 25, 2019 08:10

	private def buildTransactor(c: Connection): Resource[IO, Transactor[IO]] =
	Blocker[IO].map { b =>
	Transactor.fromConnection[IO](c, b)
	}

	private def prestoTransactor(): Resource[IO, Transactor[IO]] =
	Resource.fromAutoCloseable[IO, Connection] {
	IO.fromTry(Try {
	val url = "jdbc:presto://your-presto-jdbc-url"
	val properties = new Properties()

martinlechner1 / Sensor.ino

Created October 6, 2019 19:35

	#include <ESP8266WiFi.h>
	#include <PubSubClient.h>
	#include <Adafruit_Sensor.h>
	#include <Adafruit_BME280.h>
	#include <ArduinoJson.h>

	const char* SSID = "ssid";
	const char* PSK = "wifi key";
	const char* MQTT_BROKER = "mqtt ip";

martinlechner1 / fpmaterial.md

Last active January 11, 2019 13:00

FP Material

Scala FP Material

Books

martinlechner1 / myfile.elm

Created March 15, 2017 19:46

Some random elm code to process a large list...

	convertRecordsTask : Task Http.Error (List (List String)) -> Task Http.Error (List TrajectoryPoint)
	convertRecordsTask task =
	Task.map convertRecords task


	convertRecords : List (List String) -> List TrajectoryPoint
	convertRecords records =
	List.take 10000 records
	\|> List.map convertRecord

martinlechner1 / happy_git_on_osx.md

Last active August 29, 2016 12:56 — forked from trey/happy_git_on_osx.md

Creating a Happy Git Environment on OS X

brew install git bash-completion

Configure things:

git config --global user.name "Your Name"

git config --global user.email "[email protected]"