Copyright | (C) 2014 Ryan Scott |
---|---|
License | BSD-style (see the file LICENSE) |
Maintainer | Ryan Scott |
Stability | Experimental |
Portability | GHC |
Safe Haskell | None |
Language | Haskell98 |
Monomorphic Show
function for propositional equality.
- showbPropEquality :: (a :~: b) -> Builder
Documentation
showbPropEquality :: (a :~: b) -> Builder Source
Convert a propositional equality value to a Builder
.