15537 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	6dc4cf310e	Define a Show1 instance for Env.	2017-09-11 10:20:48 -04:00
Rob Rix	98cd5eb860	Define an Eq1 instance for Env.	2017-09-11 10:20:42 -04:00
Rob Rix	649aad3f8a	Derive a Semigroup instance for Env.	2017-09-11 10:14:36 -04:00
Rob Rix	5c49c98255	Define a hoisting operation for bindings.	2017-09-11 09:52:28 -04:00
Rob Rix	c8706d6c4b	Spacing.	2017-09-11 09:50:14 -04:00
Rob Rix	8e12798a05	Define a let binding smart constructor using circular programming.	2017-09-11 09:41:46 -04:00
Rob Rix	7e55483157	Derive Foldable, Functor, & Traversable instances for BindingF.	2017-09-11 09:40:14 -04:00
Rob Rix	4d818304fb	Compute the max bound metavariable in an ABT.	2017-09-11 09:36:00 -04:00
Rob Rix	d064e3f1e5	Compute the free metavariables in an ABT.	2017-09-11 09:35:51 -04:00
Rob Rix	65c418359a	List the exports explicitly.	2017-09-11 09:34:57 -04:00
Rob Rix	77cac93526	Define a ToJSONFields instance for BindingF.	2017-09-11 09:33:49 -04:00
Rob Rix	7a80201f99	Rename VarF to Var.	2017-09-11 09:33:39 -04:00
Rob Rix	127980698e	List the imports from Data.Functor.Binding explicitly.	2017-09-11 09:32:07 -04:00
Rob Rix	4a7b93042c	Define a ToJSONFields1 instance for JSONFields1.	2017-09-10 22:40:55 -04:00
Rob Rix	475e12d038	Define a ToJSONFields instance for JSONFields.	2017-09-10 22:40:13 -04:00
Rob Rix	fb26ef6b34	Define a ToJSONFields instance for JSONFields1.	2017-09-10 22:39:27 -04:00
Rob Rix	4955524c29	Lift the ToJSONFields instance for pairs over ToJSONFields instances.	2017-09-10 22:37:39 -04:00
Rob Rix	ccabc81192	Define a ToJSONFields1 instance for sums.	2017-09-10 22:33:29 -04:00
Rob Rix	66e866427f	Define a ToJSONFields1 instance for products.	2017-09-10 22:32:34 -04:00
Rob Rix	f8f3e6466d	Define a JSONFields1 bridge for ToJSON instances.	2017-09-10 22:32:07 -04:00
Rob Rix	f43dc62d12	Define a JSONFields bridge for ToJSON instances.	2017-09-10 22:31:57 -04:00
Rob Rix	8c205e7114	Generalize the ToJSONFields instance for pairs.	2017-09-10 22:26:59 -04:00
Rob Rix	f06b155f1d	Define a ToJSONFields instance for pairs.	2017-09-10 22:26:32 -04:00
Rob Rix	db7301fba2	Define a ToJSON instance for DiffF.	2017-09-10 22:24:08 -04:00
Rob Rix	26e3ca425b	Define a ToJSON instance for BindingF.	2017-09-10 22:23:16 -04:00
Rob Rix	48a4a5f6ce	Define a ToJSON instance for TermF.	2017-09-10 22:21:47 -04:00
Rob Rix	6186ef3ae7	Define a bindings getter for BindingF.	2017-09-10 21:58:18 -04:00
Rob Rix	9a5711cb41	Define a pretty instance for BindingF.	2017-09-10 21:53:14 -04:00
Rob Rix	8a41498ffd	Define a Show instance for BindingF.	2017-09-10 21:52:30 -04:00
Rob Rix	831eb67de8	Define a Show1 instance for BindingF.	2017-09-10 21:51:57 -04:00
Rob Rix	5956cc77ae	Define an Eq instance for BindingF.	2017-09-10 21:48:19 -04:00
Rob Rix	bc7ed4420e	Define an Eq1 instance for BindingF.	2017-09-10 21:47:43 -04:00
Rob Rix	ad83303071	Define a ToJSONFields1 instance for BindingF.	2017-09-10 21:45:02 -04:00
Rob Rix	82897fa5e9	Define a Pretty1 instance for BindingF.	2017-09-10 21:41:41 -04:00
Rob Rix	78ad302339	Define an abstract binding functor.	2017-09-10 21:35:54 -04:00
Rob Rix	a77f9c36d2	Move Metavar & Env to Data.Functor.Binding.	2017-09-10 21:22:32 -04:00
Rob Rix	9b66f548c0	Stub in a module for bindings.	2017-09-10 21:18:31 -04:00
Rob Rix	13accbf65d	Partially apply the Both type synonym.	2017-09-10 20:53:51 -04:00
Rob Rix	c067153077	🔥 the metavariable eliminator.	2017-09-10 20:04:53 +01:00
Rob Rix	5ac5d80875	Define a smart constructor for metavariable diffs.	2017-09-10 20:03:32 +01:00
Rob Rix	289cb11912	Define a smart constructor for let-binding diffs.	2017-09-10 19:56:06 +01:00
Rob Rix	d68a8790ce	Define maxBoundMetavariable using a helper.	2017-09-10 19:55:08 +01:00
Rob Rix	3e2c883b3a	Define a function computing the maximum metavariable bound in a diff.	2017-09-10 19:50:01 +01:00
Rob Rix	7ada1dea20	🔥 liftShowsPrecBoth & liftShowListBoth.	2017-09-10 19:41:13 +01:00
Rob Rix	90496bdc1c	Copy holds a TermF.	2017-09-10 19:40:48 +01:00
Rob Rix	1ccff72b08	Define a Pretty1 instance for Join.	2017-09-10 19:36:22 +01:00
Rob Rix	13c0b6d496	Define a Show1 instance for Join.	2017-09-10 19:34:49 +01:00
Rob Rix	bb11787db9	Define an Eq1 instance for Join.	2017-09-10 19:33:57 +01:00
Rob Rix	62a6235161	Define lifted showing for Both.	2017-09-10 19:32:25 +01:00
Rob Rix	4490297bb5	Derive an Enum instance.	2017-09-10 19:16:29 +01:00