Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
Data.Type.Bool and .Equality
These are only defined with base >= 4.7
trivialRefl :: () :~: () Source #
Since: 0.1.1.0
Safe Haskell | None |
---|---|
Language | Haskell2010 |
These are only defined with base >= 4.7
trivialRefl :: () :~: () Source #
Since: 0.1.1.0