Portability | see LANGUAGE pragmas (... GHC) |
---|---|
Stability | experimental |
Maintainer | nicolas.frisby@gmail.com |
Safe Haskell | Safe-Infered |
Some type-level programming basics.
Documentation
Re-exports
Type-level Maybe
type family MaybePlus1 x y :: *Source
Type-level mplus
for Maybe
.
module Type.Booleans