15229 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	e68d46081c	Define a Show1 instance for DiffF.	2017-09-09 12:30:33 +01:00
Rob Rix	6837ee44e4	Define a Show2 instance for DiffF.	2017-09-09 12:30:06 +01:00
Rob Rix	33192c3ce0	Define lifted showing of Both.	2017-09-09 12:28:54 +01:00
Rob Rix	cd154559c4	Reformat the exports from Both.	2017-09-09 12:28:47 +01:00
Rob Rix	af31840ee9	Define an Eq2 instance for DiffF.	2017-09-09 12:24:55 +01:00
Rob Rix	221cf89b5b	Derive Eq1 & Show1 instances for Patch.	2017-09-09 12:24:48 +01:00
Rob Rix	dab0e4d044	Define a Show1 instance for Syntax.	2017-09-09 12:15:54 +01:00
Rob Rix	7ca2e9ed4d	Define a Traversable instance for Term.	2017-09-09 12:04:37 +01:00
Rob Rix	748ecbb104	Define a Bitraversable instance for TermF.	2017-09-09 12:03:55 +01:00
Rob Rix	ce02539dab	Define a Foldable instance for Term.	2017-09-09 12:02:11 +01:00
Rob Rix	a358be60cc	🔥 a redundant Functor constraint.	2017-09-09 12:01:17 +01:00
Rob Rix	cfd583cd51	Define a Bifoldable instance for TermF.	2017-09-09 12:00:28 +01:00
Rob Rix	2454096b2b	Spacing.	2017-09-09 12:00:21 +01:00
Rob Rix	3e496176cc	Use the copy helper widely.	2017-09-09 11:57:56 +01:00
Rob Rix	30fe4d520b	Define a copy helper.	2017-09-09 11:54:29 +01:00
Rob Rix	69cba8430f	🔥 wrapTermF.	2017-09-09 11:53:57 +01:00
Rob Rix	9d1d1717d9	Rename tailF to termSyntax.	2017-09-09 11:51:41 +01:00
Rob Rix	e2ffba2401	Rename headF to termAnnotation.	2017-09-09 11:50:29 +01:00
Rob Rix	b7e211c9c2	Redefine Term as a wrapper for TermF.	2017-09-09 11:47:10 +01:00
Rob Rix	1267fe5ea7	Rename the In constructor to Copy.	2017-09-09 11:27:04 +01:00
Rob Rix	9e40e9a09a	Give our own definition of Diff.	2017-09-09 11:23:57 +01:00
Rob Rix	adf884def0	Rename expr to syntax.	2017-09-08 17:41:31 +01:00
Rob Rix	14e8bb46ec	🔥 UndecidableInstances in Assignment.	2017-09-08 17:40:54 +01:00
Rob Rix	e4c5d6bb82	Rename the Term/TermF type parameters.	2017-09-08 17:40:35 +01:00
Rob Rix	20758f1c31	🔥 the orphan instance disabling in Diff.	2017-09-08 17:38:51 +01:00
Rob Rix	c551923eff	🔥 some unnecessary extensions.	2017-09-08 17:38:35 +01:00
Rob Rix	d5af300094	Specialize the Pretty1 instance for Term to only apply to Terms of Unions.	2017-09-08 17:38:12 +01:00
Rob Rix	07bef3f75e	🔥 deepseq.	2017-09-08 17:35:55 +01:00
Rob Rix	d1ced22ce8	🔥 the NFData instances for Term.	2017-09-08 17:32:24 +01:00
Rob Rix	0ce48d5248	🔥 the NFData instances for Diff.	2017-09-08 17:32:05 +01:00
Rob Rix	ec8f535b2a	Define decidable NFData instances.	2017-09-08 17:31:17 +01:00
Rob Rix	9e4ae0ee34	Rename cofree to term.	2017-09-08 17:23:16 +01:00
Rob Rix	dfccae778a	Rename hoistCofree to hoistTerm.	2017-09-08 17:21:39 +01:00
Rob Rix	a16c6e4f75	Extract union pretty-printing to the top level.	2017-09-08 17:20:55 +01:00
Rob Rix	053954cc97	🔥 alignTermWith.	2017-09-08 17:18:46 +01:00
Rob Rix	ee27d73747	🔥 zipTerms.	2017-09-08 17:18:03 +01:00
Rob Rix	fe3fa0e811	Define Pretty, Pretty1, & Pretty2 instances for TermF.	2017-09-08 17:02:30 +01:00
Rob Rix	c358bfad08	Define a Show1 instance for TermF.	2017-09-08 17:00:09 +01:00
Rob Rix	0ca7a4bdcf	Define a Show2 instance for TermF.	2017-09-08 16:59:40 +01:00
Rob Rix	3231b16399	Define Term printing via Show1.	2017-09-08 16:58:15 +01:00
Rob Rix	a8f0a965c3	Give fixity for :<<.	2017-09-08 16:56:29 +01:00
Rob Rix	d572c64b32	Define Term equality via Eq1.	2017-09-08 16:55:36 +01:00
Rob Rix	ea5107c484	Define Listable instances for Term/TermF.	2017-09-08 16:50:21 +01:00
Rob Rix	185818d8bd	Rename runCofree to unTerm.	2017-09-08 16:46:35 +01:00
Rob Rix	f2cd05d5fc	Rename Cofree/CofreeF to Term/TermF.	2017-09-08 16:45:08 +01:00
Rob Rix	aa9d4c4f19	Give our own definition of CofreeF.	2017-09-08 16:40:23 +01:00
Rob Rix	1a6af2179b	Give our own definition of Cofree.	2017-09-08 16:24:11 +01:00
Rob Rix	a296ec4ca3	Re-enable the orphan instance warning in Term.	2017-09-08 15:54:35 +01:00
Rob Rix	2e8043938d	Merge pull request #1326 from github/task-errors ... Task errors	2017-08-31 17:40:55 -04:00
Rob Rix	78e4ffb8f7	Merge branch 'master' into task-errors	2017-08-31 17:36:42 -04:00