show-combinators: Combinators to write Show instances
| Versions [RSS] [faq] | 0.1.0.0, 0.1.1.0, 0.2.0.0 |
|---|---|
| Change log | CHANGELOG.md |
| Dependencies | base (>=4.8 && <5) [details] |
| License | MIT |
| Copyright | 2018 Li-yao Xia |
| Author | Li-yao Xia |
| Maintainer | lysxia@gmail.com |
| Revised | Revision 2 made by lyxia at 2021-02-16T14:35:40Z |
| Category | Text |
| Home page | https://github.com/Lysxia/show-combinators#readme |
| Source repo | head: git clone https://github.com/Lysxia/show-combinators |
| Uploaded | by lyxia at 2020-03-22T21:10:10Z |
| Distributions | Arch:0.2.0.0, LTSHaskell:0.2.0.0, NixOS:0.2.0.0, Stackage:0.2.0.0 |
| Downloads | 8969 total (530 in the last 30 days) |
| Rating | (no votes yet) [estimated by Bayesian average] |
| Your Rating | |
| Status | Docs available [build log] Last success reported on 2020-03-22 [all 1 reports] |
Downloads
- show-combinators-0.2.0.0.tar.gz [browse] (Cabal source package)
- Package description (revised from the package)
Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.
Readme for show-combinators-0.2.0.0
[back to package description]Show combinators 
A minimal set of convenient combinators to write Show instances.
data MyType a
= C a a -- a regular constructor
| a :+: a -- an infix constructor
| R { f1 :: a, f2 :: a } -- a record
infixl 4 :+:
instance Show a => Show (MyType a) where
showsPrec = flip precShows where
precShows (C a b) = showCon "C" @| a @| b
precShows (c :+: d) = showInfix ":+:" 4 c d
precShows (R {f1 = e, f2 = f}) =
showRecord "R" ("f1" .=. e &| "f2" .=. f)