15096 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	a4e98d4318	Define a Listable instance for DiffF.	2017-09-09 13:46:21 +01:00
Rob Rix	6c744336a8	Define a Listable1 instance for DiffF.	2017-09-09 13:45:52 +01:00
Rob Rix	923a39faae	Define Listable instances for TermF & Term.	2017-09-09 13:45:22 +01:00
Rob Rix	fa5aeb6ee6	Define a Listable2 instance for DiffF.	2017-09-09 13:44:07 +01:00
Rob Rix	1e6bd6e27e	Define a Traversable instance for Diff.	2017-09-09 13:41:10 +01:00
Rob Rix	ff1cc394c4	Define a Foldable instance for Diff.	2017-09-09 13:40:07 +01:00
Rob Rix	a9ac82819c	Give a different instance of Functor for Diff.	2017-09-09 13:39:04 +01:00
Rob Rix	8df8b345e7	Define a Bitraversable instance for DiffF.	2017-09-09 13:37:11 +01:00
Rob Rix	e42152dca8	Define a Bifoldable instance for DiffF.	2017-09-09 13:35:59 +01:00
Rob Rix	2094dd059b	Derive Foldable & Traversable instances for DiffF.	2017-09-09 13:34:08 +01:00
Rob Rix	48175bb9b0	Define a Show instance for Diff.	2017-09-09 12:35:20 +01:00
Rob Rix	0df5175798	Define a Show1 instance for Diff.	2017-09-09 12:34:47 +01:00
Rob Rix	e7735ad131	Define an Eq instance for Diff.	2017-09-09 12:33:35 +01:00
Rob Rix	b4e02d41fd	Define an Eq1 instance for Diff.	2017-09-09 12:33:09 +01:00
Rob Rix	03eb93db31	Define an Eq instance for DiffF.	2017-09-09 12:31:58 +01:00
Rob Rix	2f63aca72f	Define an Eq1 instance for DiffF.	2017-09-09 12:31:30 +01:00
Rob Rix	f65fb137fa	Define a Show instance for DiffF.	2017-09-09 12:31:04 +01:00
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