A Prelude for TypeScript.
The primary motivation for this is to provide a Haskell-like runtime system for LambdaBuffers, but this may find interest elsewhere. It implements type classes via dictionary passing where the programmer must manually pass the desired instance to functions requiring such a type class.
The following functionality has been implemented.
-
Eq
,Ord
, andJSON
instances for various types. -
Map
andSet
containers where keys are ordered by a givenOrd
instance -
JSON
serializers and deserializers which can parse large numbers.