Skip to content

Instantly share code, notes, and snippets.

View err0r500's full-sized avatar

Matthieu Jacquot err0r500

View GitHub Profile
.> run http.example.echo
ucm: can't hashComponents if bindings have free variables:
["User \"\\8461#0hoa6tis7604fo17o91lfjflsvd843uvm7sueu5rfqqn5nbneajoh9fldfbmmjnhh1h2690ktfflrbb96q9lksesuh3t5amcc1ph92g\"","User \"\\8461#ausqmo0vrtdm6lo1l2c0o6aord9i20hsap890ruk3s48mb8g6akn810inn23h46dffa0it6jhhit97un6645vocn3b9vfg93g2p8n40\"","User \"\\8461#bivcubo21g1dv6dvi6og2glj7up42tjmkm32kt8s60c5b91hmmhcvaegmkfs91im8sb8rpsducpdssjiv8t07en6dgs6rv7qj7odtb0\"","User \"\\8461#cqe9aa74fsjcg589r4rkiif3rm6o4trk8n06bg5d9rbhsaf1eiehmeufotfcsde4h88ldg7d21gcdi822925qlub4cr3bip7ssihrt8\"","User \"\\8461#do0af4msvjr540dam9fq3qv9b1t0kjg8g9ldokj1v6o15li140k381h6vrk9369fin8qv319oi38thsnensf970u7kl2hcacch67vm0\"","User \"\\8461#e95a9ev05jdao981r1qcb3cott58bonl77jm205j4uv8ctvdedn5rthicig5igb4veoqvgdoklhnfpsvlelvbm72gk53b232mgei1l0\"","User \"\\8461#gn13vdupub60p22r3lc5107bc3jq1vl9s0l93hq80naemb9e4f7bqdavfc7pr0uvug8on0qqcrk23cbo8pam08b2flffi8j98h5duq8\"","User \"\\8461#j1ejquc7so57gceg2fsnurckebs21napum8h7jbs58bmefncgvb8h654kcp6tdt31epf

je me demande si cela fonctionne

@err0r500
err0r500 / type-refinement.ts
Last active January 17, 2022 14:21
io-ts type refinement
import assert from 'assert';
import { isLeft, isRight } from 'fp-ts/lib/Either';
import { unsafeCoerce } from 'fp-ts/lib/function';
import * as t from 'io-ts';
// Int
export const IntC = t.brand(
t.number,
(s): s is t.Branded<number, { readonly IntBrand: unique symbol }> =>
Number.isInteger(s),
import zio.*
import scala.collection.mutable
// TYPES
case class Metadata(
title: String,
description: String,
language: String,
format: String
)