| Copyright | (C) 2014-2015 Ryan Scott |
|---|---|
| License | BSD-style (see the file LICENSE) |
| Maintainer | Ryan Scott |
| Stability | Experimental |
| Portability | GHC |
| Safe Haskell | None |
| Language | Haskell98 |
Text.Show.Text.Data.Type.Equality
Description
Monomorphic Show function for propositional equality.
This module is only available with base-4.7.0.0 or later.
Since: 0.3
- showbPropEquality :: (a :~: b) -> Builder
Documentation
showbPropEquality :: (a :~: b) -> Builder Source
Convert a propositional equality value to a Builder.
This function is only available with base-4.7.0.0 or later.
Since: 0.3