Safe Haskell | Safe |
---|---|
Language | Haskell98 |
TypeLevel.Boolean
Contents
Documentation
Data type for truth
Data type for false.
Boolean operations
And for boolean types
Or for boolean types
Exlusive or for boolean types
type-level-numbers-0.1.1.1: Type level numbers implemented using type families.
Safe Haskell | Safe |
---|---|
Language | Haskell98 |
TypeLevel.Boolean
Contents
Data type for truth
Data type for false.
And for boolean types
Or for boolean types
Exlusive or for boolean types