Skip to content

Instantly share code, notes, and snippets.

Brian Cavalier briancavalier

View GitHub Profile
briancavalier / fx.ts
Last active Mar 17, 2019
Small encoding of algebraic effects in Typescript (probably works in Flow, too, with syntax tweaks) used in helicopter:
View fx.ts
export type Cancel = void | ((k: (r: void) => void) => void)
export const runCancel = (c: Cancel, k: (r: void) => void): void =>
c ? c(k) : k()
export type Fx<H, A> = (handler: H, k: (a: A) => void) => Cancel
export type Pure<A> = Fx<{}, A>
export const handle = <H0, H1, A>(fx: Fx<H0 & H1, A>, h1: H1): Fx<H0, A> =>
(h0, k) => fx({ ...h0, ...h1 } as H0 & H1, k)
briancavalier / type-list.js
Created Apr 6, 2018
Flow type-level lists
View type-list.js
// @flow
// Type-level lists
type Empty = []
// Type-level tail function
type Tail<L> = $Call<FTail, L>
interface FTail {
(Empty): Empty,
<H, T>([H, T]): T
briancavalier / type-nat.js
Last active Aug 19, 2018
Flow type-level naturals and addition
View type-nat.js
// @flow
// Type-level naturals
type Zero = 0
interface Succ {
<N>(N): [1, N]
// Hey look, we can do type-level pattern matching
briancavalier / lazy-pair.js
Last active Oct 12, 2017
Fun with a Lazy type and pairs
View lazy-pair.js
// Pair helpers
// Map the first element of a pair
const first = <A, B, C> (f: A => B, [a, c]: [A, C]): [B, C] =>
[f(a), c]
// Map the second element of a pair
const second = <A, B, C> (f: B => C, [a, b]: [A, B]): [A, C] =>
[a, f(b)]
briancavalier / except.js
Last active Sep 7, 2017
A simple Either with added exception semantics, like Haskell ExceptT
View except.js
// @flow
import { curry2, curry3 } from '@most/prelude'
export type Except<E, A> = Exception<E, A> | Result<E, A>
export const result = <E, A> (a: A): Except<E, A> =>
new Result(a)
export const throwError = <E, A> (e: E): Except<E, A> =>
new Exception(e)
View 433.js
import { tap, take, skip, concat, fromArray, runEffects } from '../packages/core/src/index'
import { newDefaultScheduler } from '../packages/scheduler/src/index'
import { EventEmitter } from 'events'
import multicastStream from '@most/multicast'
import { fromEvent } from 'most'
const emitter = new EventEmitter()
const scheduler = newDefaultScheduler()
const observe = (f, stream) => runEffects(tap(f, stream), scheduler)
You can’t perform that action at this time.