Safe Haskell | None |
---|---|
Language | Haskell2010 |
Data.Singletons.Bool
Contents
Documentation
Minimal complete definition
Data.Type.Bool and .Equality
These are only defined with base >= 4.7
trivialRefl :: () :~: () Source #
Since: 0.1.1.0
singleton-bool-0.1.1.0: Type level booleans
Safe Haskell | None |
---|---|
Language | Haskell2010 |
Data.Singletons.Bool
Contents
Minimal complete definition
These are only defined with base >= 4.7
trivialRefl :: () :~: () Source #
Since: 0.1.1.0