michaelt

martin-lof. papers of Per Martin Löf

streaming. An optimized general monad transformer for streaming applications, with a simple prelude of functions

tagless. oleg modules

streaming-bytestring. effectful sequences of bytes; an alternative no-lazy-io implementation of Data.ByteString.Lazy

lens-simple. simplified import of lens-family

streaming-utils. experimental http, attoparsec and pipes material for `streaming` and `streaming-bytestring`

text-pipes. Text pipes

streaming-tutorial. preliminary draft tutorial for the streaming and streaming-bytestring libraries

structured-graphs. Code for "Functional Programming with Structured Graphs", Bruno C. d. S. Oliveira and William R. Cook

pipes-bytestring-mmap. lazy bytestrings from `bytestring-mmap` replaced by `Producer ByteString IO ()`

streaming-attoparsec. Apply Attoparsec parsers to bytestreams.

extensible-streaming. the "alternative to monad transformers" ... as a monad transformer

remorse. `Streaming/FreeT` type implemented with `type-aligned` - which, alas, fills everything with molasses

write-yourself-a-scheme-no-compiler-errors. Source associated with 'Write Yourself a Scheme' trivially emended to compile with recent ghcs.

streaming-network-tcp-examples. simple illustrations of networking with streaming-bytestring and streaming.

streaming-zstd. zstd compression and decompression of byte streams

pipes-builder. pipes builder

series. Preludes for FreeT, Pipes.Producer, etc. with a simple build/foldr optimization model following Data.List

kjv. scripture for testing

foldm. conveniences for the use of monadic folds from the `foldl` library

pipes-network-tcp-examples. pipes replicas of the simple conduit examples http://www.yesodweb.com/blog/2014/03/network-conduit-async

michaelt.github.io. HTML