191 Commits

Author	SHA1	Message	Date
Rick Winfrey	a6cbdab2e9	🔥 prettyprint	2017-09-12 15:40:24 -07:00
Rob Rix	9edec90492	Re-export the whole module.	2017-08-23 11:49:29 -04:00
Rob Rix	520212bc34	Give a generic implementation for liftPretty.	2017-08-23 11:48:12 -04:00
Rob Rix	994789eaaf	Add generic implementations.	2017-08-23 11:42:54 -04:00
Rob Rix	e75c99772c	Stub in a module for generic lifted pretty-printing.	2017-08-23 11:41:14 -04:00
Rob Rix	e44f43e689	🔥 Data.Functor.Classes.Pretty.Orphans.	2017-08-22 14:27:56 -04:00
Rob Rix	f9974f7ec1	Define an orphan Pretty instance for SrcLoc.	2017-08-22 13:55:12 -04:00
Rob Rix	cf1619b58f	Define a Pretty instance for ByteString.	2017-08-22 13:45:09 -04:00
Rob Rix	3d4c52d22e	Disable warnings on orphan instances.	2017-08-22 13:40:23 -04:00
Rob Rix	c2e6438bf5	Stub in a module for orphan instances of Pretty, Pretty1, etc.	2017-08-22 13:40:00 -04:00
Rob Rix	7da8799e08	🔥 Prologue & protolude.	2017-07-28 14:37:02 -04:00
Rob Rix	185e1ffa19	Define gliftShowList as a function, not a method.	2017-06-15 18:26:24 -04:00
Rob Rix	8284bccbfe	🔥 Data.Functor.Union.	2017-06-08 11:43:18 -04:00
Rob Rix	00b659b564	Drop the inj prefix from Union’s Show1 instance.	2017-05-31 15:37:45 -04:00
Rob Rix	289e400a53	Export the Union constructors.	2017-05-29 12:33:30 -04:00
Rob Rix	b5389896de	Define a function weakening unions.	2017-05-19 13:37:49 -04:00
Rob Rix	1f6d044994	Define GAlign instances for Unions.	2017-05-03 15:58:27 -04:00
Rob Rix	c2607ffc4c	📝 Union’s constructors.	2017-04-25 13:53:18 -04:00
Rob Rix	b6723c56f2	Panic! Our system.	2017-04-25 12:33:41 -04:00
Rob Rix	0ad31e7887	Define Traversable instances for Unions.	2017-04-24 13:37:59 -04:00
Rob Rix	09d4dbcb8e	Define Functor instances for unions of Functors.	2017-04-24 13:29:10 -04:00
Rob Rix	3dd4d12af8	Define the strengthening of a single-member union.	2017-04-24 13:28:56 -04:00
Rob Rix	ccf9fa9ee2	Fix a typo.	2017-04-20 13:27:53 -04:00
Rob Rix	92dc311ad5	Export InUnion.	2017-04-19 12:52:24 -04:00
Rob Rix	27b1eb794c	Rename emb/proj to inj/prj.	2017-04-19 12:52:16 -04:00
Rob Rix	aa0d65747f	Make the Eq & Eq1 instances agree.	2017-04-10 16:09:40 -04:00
Rob Rix	848f0759bb	Explicit exports.	2017-04-10 16:02:33 -04:00
Rob Rix	22c9fb404d	Show data constructors.	2017-04-07 16:39:33 -04:00
Rob Rix	cc5ba7674f	Clarify Union’s Show1 instance.	2017-04-07 16:34:56 -04:00
Rob Rix	b0700242ee	Define Foldable instances for Unions.	2017-04-06 14:16:10 -04:00
Rob Rix	8dd1745c56	Define (incorrect) GShow1 instances for constructors and selectors.	2017-04-06 13:34:57 -04:00
Rob Rix	c62bbc17b1	Define GShow1 lifted over compositions.	2017-04-06 11:52:08 -04:00
Rob Rix	4fe7be91c5	Define GShow1 lifted over products.	2017-04-06 11:52:00 -04:00
Rob Rix	ea3649ea79	Define GShow1 lifted over sums.	2017-04-06 11:49:51 -04:00
Rob Rix	2996bd8561	Define a bunch of obvious GShow1 instances for generic representation types.	2017-04-06 11:48:50 -04:00
Rob Rix	bcfd99afde	Define a few GShow1 instances for types with Show1 instances.	2017-04-06 11:43:18 -04:00
Rob Rix	d9abc56818	Define generic implementations for Show1.	2017-04-06 11:43:01 -04:00
Rob Rix	467c808616	Define a GShow1 typeclass.	2017-04-06 11:42:47 -04:00
Rob Rix	ebb97d8a75	Stub in a module for a generic Show1.	2017-04-06 11:34:50 -04:00
Rob Rix	904b32092a	Define a Show1 instance for Union.	2017-04-06 11:33:23 -04:00
Rob Rix	3d1feb70a4	Define an Eq1 instance for empty unions. ... These can never be constructed, so we just return False in case somebody decides to apply this to bottom.	2017-04-06 11:19:57 -04:00
Rob Rix	349214b5c5	Compositions of functors use the appropriate Eq1 instance.	2017-04-06 11:19:21 -04:00
Rob Rix	3f093df987	Recursive applications depend on an Eq1 instance.	2017-04-06 10:50:12 -04:00
Rob Rix	7f401c4e08	Re-export Eq1 from the generic module.	2017-04-06 10:27:00 -04:00
Rob Rix	6163caf82a	Define an Eq1 instance for Union.	2017-04-06 10:19:09 -04:00
Rob Rix	d025a2aa44	Generalize Data.Functor.Union to (k -> *) -> k -> *.	2017-03-26 20:39:26 -04:00
Rob Rix	b13fc0432f	Superset is poly-kinded, and takes a constraint combinator. ... This means that Superset can be used with Data.Record as well as Union.	2017-03-26 18:29:11 -04:00
Rob Rix	497e7e5c99	Define a superset constraint family for easier construction of unions.	2017-03-26 18:26:34 -04:00
Rob Rix	2ab72ea378	Define a convenience to unwrap and project.	2017-03-26 18:03:27 -04:00
Rob Rix	76218f1b9f	Define a convenience to embed-and-wrap.	2017-03-26 18:01:29 -04:00