Safe Haskell | Safe |
---|---|
Language | Haskell98 |
Simple implementation of singletons, portable back to ghc 7.6.3
Documentation
The data family of singleton types.
A class used to pass singleton values implicitly.
Safe Haskell | Safe |
---|---|
Language | Haskell98 |
Simple implementation of singletons, portable back to ghc 7.6.3
The data family of singleton types.
A class used to pass singleton values implicitly.