| Language | Title | Created | Visibility | 
|---|---|---|---|
| TMVar getPOSIXTime STM | Public | ||
| Add a Parameter | Public | ||
| ExceptT dead code | Public | ||
| Reader Monad | Public | ||
| Reduce | Public | ||
| Welford Variance | Public | ||
| Typed Hierarchical Access Control System | Public | ||
| TypeFamilies - Intro | Public | ||
| TypeFamilies - class Key k | Public | ||
| Control.Exception.Safe | Public | ||
| TemplateHaskell - CurryN | Public | ||
| App a b = App { unApp :: WriterT a IO b } | Public | ||
| WriterT [a] IO b | Public | ||
| Type Families Vector (a :: *) (n :: Nat) Plus | Public | ||
| Pause Monad | Public | ||
| ExistentialQuantification forall a. (...) vs (fora | Public | ||
| RankNTypes | Public | ||
| Vector (a :: *) (n :: Nat) | Public | ||
| FooBar StateMachines | Public | ||
| Suspendable Process | Public |