PublicDomain licensed and maintained by James Cook

Module documentation for 0.1.0.1

Opaque unique identifiers in primitive state monads and a GADT-like type using them as witnesses of type equality.

Depends on 3 packages:
Used by 1 package:
comments powered byDisqus