15062 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
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
Timothy Clem	8baf0d7775	Merge pull request #1328 from github/ruby-singleton-class-fix ... ++tree-sitter-ruby - singleton class fix	2017-08-30 13:27:31 -07:00
Timothy Clem	ebf6395427	++tree-sitter-ruby	2017-08-30 13:08:23 -07:00
Rob Rix	792ce036b2	Merge branch 'master' into task-errors	2017-08-30 12:41:50 -04:00
Rob Rix	06870707b2	Merge pull request #1268 from github/q2-roadmap-results ... Q2 roadmap results	2017-08-29 18:55:26 -04:00
Rob Rix	b0710ccfb8	Define the MonadError instance in terms of SomeException.	2017-08-29 18:22:40 -04:00
Rob Rix	568fce81d3	Use MonadError in runParser.	2017-08-29 18:20:03 -04:00
Rob Rix	04593870e7	Define an Exception instance for Error.	2017-08-29 17:33:30 -04:00
Rob Rix	e0ad055522	Derive a Typeable instance for Error.	2017-08-29 17:33:19 -04:00
Rob Rix	a542607dd7	Add a MonadError instance to Task.	2017-08-29 17:20:21 -04:00
Rob Rix	d420f1460e	Add Throw/Catch primitives to Task.	2017-08-29 17:20:15 -04:00
Rob Rix	500afcad42	📝 LiftIO.	2017-08-29 17:04:05 -04:00
Rob Rix	3a6bfca632	Merge branch 'master' into q2-roadmap-results	2017-08-29 15:28:57 -04:00
Rob Rix	5bc709a372	Merge pull request #1324 from github/update-python-assignment ... Update python assignment	2017-08-28 16:02:50 -04:00
Rob Rix	4c38049e2f	Merge branch 'master' into update-python-assignment	2017-08-25 13:21:32 -04:00
Rob Rix	528a453d4f	Merge pull request #1310 from github/pretty-printing ... Pretty-printing	2017-08-25 13:19:53 -04:00
Rob Rix	84aaba64d9	Add a convenience to read a file and guess its language.	2017-08-25 12:25:18 -04:00
Rob Rix	c7b7d1516e	Define a pretty-printing convenience.	2017-08-25 12:23:22 -04:00