| Copyright | (C) 2014 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.
- showbPropEquality :: (a :~: b) -> Builder
Documentation
showbPropEquality :: (a :~: b) -> Builder Source
Convert a propositional equality value to a Builder.