22107 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	91830fce67	Define Eq1 & Eq instances for Quieterm.	2018-05-15 18:22:09 -04:00
Charlie Somerville	406e15e8b2	appease hlint	2018-05-15 15:21:26 -07:00
Rob Rix	7b85c5eeb0	Add a helper to construct quieterms.	2018-05-15 18:19:40 -04:00
Timothy Clem	a0d24106a4	Interface changed here, runResolution manually	2018-05-15 15:19:10 -07:00
Rob Rix	90c8274afd	Derive Declarations & FreeVariables instances for Quieterm.	2018-05-15 18:15:35 -04:00
Rob Rix	7454e0d5b6	Derive the Declarations instance for Term.	2018-05-15 18:15:15 -04:00
Rob Rix	788a80006b	Define a Declarations instance for TermF.	2018-05-15 18:15:09 -04:00
Rob Rix	37ab211ff2	Derive the FreeVariables instance for Term.	2018-05-15 18:11:45 -04:00
Rob Rix	7ab10a2ed4	Define a FreeVariables instance for TermF.	2018-05-15 18:09:36 -04:00
Rob Rix	51e8b0a57d	Define a Show instance for Quieterm.	2018-05-15 18:06:25 -04:00
Rob Rix	78c952f770	Define a Show1 instance for Quieterm.	2018-05-15 18:06:15 -04:00
Rob Rix	f083dc5266	Define Recursive & Corecursive instances for Quieterm.	2018-05-15 18:04:55 -04:00
Rob Rix	e7c4a0dd9b	Define a Quieterm type.	2018-05-15 18:04:41 -04:00
Charlie Somerville	ce49f91e78	implement assignment	2018-05-15 15:04:26 -07:00
Rob Rix	01a37e9c8b	Generalize withTermSpans over the term type.	2018-05-15 18:04:24 -04:00
Timothy Clem	4ef324f512	Merge remote-tracking branch 'origin/master' into package-dot-json-parsing	2018-05-15 15:04:13 -07:00
Rob Rix	9c5bd85748	Customize the Show instance for Span for brevity.	2018-05-15 17:52:57 -04:00
Rob Rix	65d2fb968c	Customize the Show instance for Pos for brevity.	2018-05-15 17:51:56 -04:00
Rob Rix	f8c12cb213	🔥 a bunch of unused instances for Pos & Span.	2018-05-15 17:50:05 -04:00
Rob Rix	09f84bee65	Further abbreviate the Show instance for Environment.	2018-05-15 17:46:31 -04:00
Rob Rix	e118012fde	Customize the Show instance for Range for brevity.	2018-05-15 17:45:35 -04:00
Rob Rix	788618a9d0	Fix extracting values from Latest in the tests.	2018-05-15 17:43:57 -04:00
Rob Rix	eaed433601	🔥 the Generic instance for Range.	2018-05-15 17:41:24 -04:00
Rob Rix	32e3110146	Abbreviate the Show1 instance for Term to elide the TermF.	2018-05-15 17:40:01 -04:00
Rob Rix	5dd0136fa4	Customize the Show instance for ModuleTable for brevity.	2018-05-15 17:34:24 -04:00
Charlie Somerville	4b2cbc6a7a	implement lval in MemberAccess	2018-05-15 14:33:25 -07:00
Charlie Somerville	6ab67e3762	fix up cache for ValueRef	2018-05-15 14:31:45 -07:00
Rob Rix	22ff3e47a1	Resume defining unModuleTable as a field selector.	2018-05-15 17:31:29 -04:00
Rob Rix	39864b91ff	Customize the Show instance for Exports for brevity.	2018-05-15 17:30:51 -04:00
Rob Rix	052c266cc6	Resume defining unExports as a field selector.	2018-05-15 17:28:56 -04:00
Rob Rix	d2222798ee	Abbreviate the Show instance for Cache a little more.	2018-05-15 17:28:18 -04:00
Rob Rix	8ae329cc2d	Define Latest wrapping Last for free Monoid/Semigroup instances.	2018-05-15 17:25:16 -04:00
Rob Rix	7b3303c102	Define a Lower instance for Data.Monoid.Last.	2018-05-15 17:24:09 -04:00
Charlie Somerville	16283d527f	fix up eval instances	2018-05-15 14:17:31 -07:00
Charlie Somerville	0268ce75f0	change Evaluatable to work with ValueRef rather than value	2018-05-15 13:58:39 -07:00
Rob Rix	6530ffd090	📝 All.	2018-05-15 16:42:10 -04:00
Rob Rix	52ae604b8f	Correct the docs for Latest.	2018-05-15 16:41:17 -04:00
Rob Rix	a961111217	Customize the Show instance for Latest.	2018-05-15 16:39:20 -04:00
Rob Rix	b758efc6b1	Resume defining unLatest as a field selector.	2018-05-15 16:38:44 -04:00
Rob Rix	d47451dee6	Customize the Show instance for All for brevity.	2018-05-15 16:37:55 -04:00
Rob Rix	2ac08e68c3	Define a new All type for the cells in monovariant analyses.	2018-05-15 16:36:17 -04:00
Rob Rix	3b7e38ffd5	Customize the Show instance for Cache for brevity.	2018-05-15 15:57:24 -04:00
Rob Rix	412eb38c7f	Revert "Define unCache as a function rather than a field selector." ... This reverts commit b8f17d8a5f1571aab352fcedbae221eb574dcef7.	2018-05-15 15:55:56 -04:00
Rob Rix	a763e872be	Customize the Show instance for Precise to allow us to have a field selector.	2018-05-15 15:55:39 -04:00
Rob Rix	37efd92710	Resume defining a field selector for Monovariant.	2018-05-15 15:54:32 -04:00
Rob Rix	49ce5eb5bb	Move the Show instance for Address up.	2018-05-15 15:54:06 -04:00
Rob Rix	703f7298c1	Customize the Show instance for Monovariant.	2018-05-15 15:52:42 -04:00
Rob Rix	615aa773ac	Resume defining unAddress as a field selector.	2018-05-15 15:51:27 -04:00
Rob Rix	4dfd2920a3	Customize the Show instance for Address for brevity.	2018-05-15 15:51:07 -04:00
Rob Rix	7fda70b507	Customize the Show instance for Live for brevity.	2018-05-15 15:48:36 -04:00