Disclaimer 1: Type classes are great but they are not the right tool for every job. Enjoy some balance and balance to your balance.
Disclaimer 2: I should tidy this up but probably won’t.
Disclaimer 3: Yeah called it, better to be realistic.
Type classes are a language of their own, this is an attempt to document features and give a name to them.
| /* @flow */ | |
| // Helper function for matching against an ADT. | |
| export function match<A,B>(matcher: A): (match: (matcher: A) => B) => B { | |
| return match => match(matcher) | |
| } |
| {-# LANGUAGE TypeFamilies, TypeOperators, FlexibleContexts, | |
| TypeSynonymInstances, FlexibleInstances, MultiParamTypeClasses | |
| #-} | |
| import Data.List.NonEmpty (NonEmpty(..)) | |
| import Data.Maybe (maybeToList) | |
| import Data.Ratio (numerator, denominator) | |
| import Data.IORef (IORef) | |
| import SubType |
| Service | SSL | status | Response Type | Allowed methods | Allowed headers |
|---|
| // NOTE: code now moved to https://github.com/tycho01/typical | |
| // older revision left here, but it no longer runs well in TS Playground | |
| export type Obj<T> = { [k: string]: T }; | |
| export type NumObj<T> = { [k: number]: T }; | |
| // export type List = ArrayLike; // no unapplied generic types :( | |
| export type List<T> = ArrayLike<T>; | |
| // progress: https://github.com/Microsoft/TypeScript/issues/16392 | |
| export function force<T, V extends T>() {} |
| /* Slaying a UI Anti Pattern in Reason */ | |
| type remoteData 'e 'a = | |
| | Nothing | |
| | Loading | |
| | Failure 'e | |
| | Success 'a; | |
| type item = { | |
| userId: int, |
In your command-line run the following commands:
brew doctorbrew update
| -- This is based on ideas from the excellent article "Beautiful Aggregations | |
| -- with Haskell" by Evan Borden: https://tech.freckle.com/2017/09/22/aggregations/ | |
| module Aggregation where | |
| import Prelude | |
| import Data.Foldable (foldMap) | |
| import Data.Monoid.Additive (Additive(..)) | |
| import Data.Newtype (un) |
| async function aesEncrypt(data, password, difficulty = 10) { | |
| const hashKey = await grindKey(password, difficulty) | |
| const iv = await getIv(password, data) | |
| const key = await window.crypto.subtle.importKey( | |
| 'raw', | |
| hashKey, { | |
| name: 'AES-GCM', | |
| }, | |
| false, |
