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 |