Haskell Packages

Libraries

• logict

  A backtracking logic programming monad.

  • hackage: http://hackage.haskell.org/cgi-bin/hackage-scripts/package/logict
  • latest: darcs get http://code.haskell.org/~dolio/logict/
  • reference: Backtracking, Interleaving, and Terminating Monad Transformers

• CC-delcont

  A monadic implementation of multi-prompt delimited continuations.

  • hackage: http://hackage.haskell.org/cgi-bin/hackage-scripts/package/CC-delcont
  • latest: darcs get http://code.haskell.org/~dolio/CC-delcont/
  • references: A Monadic Framework for Delimited Continuations ; Delimited Dynamic Binding

• uvector-algorithms

  Implementations of various algorithms for uvector

  • latest: darcs get http://code.haskell.org/~dolio/uvector-algorithms/

• pts

  A parser/type checker/evaluator for simple languages based on pure type systems.

  • latest: darcs get http://code.haskell.org/~dolio/pts/
  • References: Heavily influenced by this blog post by Lennart Augustsson. ; A quick overview of pure type systems

• bytestring-show

  Efficient construction of readable byte strings from values

  • hackage: http://hackage.haskell.org/cgi-bin/hackage-scripts/package/bytestring-show
  • latest: darcs get http://code.haskell.org/~dolio/bytestring-show/