28871 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	e6e580d0a2	Spacing.	2019-07-18 14:30:20 -04:00
Rob Rix	fbb5688bd4	Use the top-level definition of with.	2019-07-18 14:29:57 -04:00
Rob Rix	d7e4f2129d	Combine prettyCore & prettify.	2019-07-18 14:28:12 -04:00
Rob Rix	4598da7e21	Define prettify direct-recursively. ... This uses fromScope to recur, and accumulates a continuation for the variables to avoid n² fmaps.	2019-07-18 14:26:51 -04:00
Rob Rix	f958374892	Merge branch 'master' into scope-safety	2019-07-18 12:56:13 -05:00
Rob Rix	72701fe9fc	Reuse fromScope.	2019-07-18 11:02:56 -04:00
Rob Rix	e36cc7c184	Fix the doctest for concrete.	2019-07-18 10:25:43 -04:00
Rob Rix	325ec2a2c4	Sort the fixity declarations like in the syntax.	2019-07-17 15:29:40 -04:00
Rob Rix	d3cf5624e7	Give fixities for ... and .=.	2019-07-17 15:29:22 -04:00
Rob Rix	d9ea6e783e	Correct the precedences of pretty-printing for :. and :=.	2019-07-17 15:29:12 -04:00
Rob Rix	36827bb85c	Strip annotations in the tests.	2019-07-17 15:23:56 -04:00
Rob Rix	8aacefb5d1	Parse string literals.	2019-07-17 15:10:21 -04:00
Rob Rix	d076bbb21f	🔥 re-exports of iter & cata.	2019-07-17 14:54:29 -04:00
Rob Rix	1d94634cce	Generate User names.	2019-07-17 12:55:05 -04:00
Rob Rix	25f6f96ea4	Define a helper for constructing Named User.	2019-07-17 12:54:08 -04:00
Rob Rix	76f79fd315	Specialize pretty-printing to User.	2019-07-17 12:51:42 -04:00
Rob Rix	da85c697b2	Correct the types in the spec.	2019-07-17 12:44:34 -04:00
Rob Rix	c2812f8995	Fix up the generators.	2019-07-17 12:44:27 -04:00
Rob Rix	a1ee196d76	Define a helper to interpret a Term in some other eff-Carrier.	2019-07-17 11:57:44 -04:00
Rob Rix	1c85529a33	Move the fixities adjacent to Core.	2019-07-17 11:54:56 -04:00
Rob Rix	1e8a4ffa31	Replace Core with Term CoreF.	2019-07-17 11:53:20 -04:00
Rob Rix	1adc85d6a1	🔥 the Semigroup instance for Core.	2019-07-17 11:43:48 -04:00
Rob Rix	3e53644a36	Define block using a newtype helper. ... We can’t rely on having a Semigroup instance for the term type.	2019-07-17 11:42:16 -04:00
Rob Rix	1e3e8dd425	Use the RightModule instance for CoreF to define the Monad instance for Core.	2019-07-17 11:24:57 -04:00
Rob Rix	e63e04724a	Define a RightModule instance for CoreF.	2019-07-17 11:24:44 -04:00
Rob Rix	d1c6d9fab8	Define a catamorphism over Terms.	2019-07-17 11:19:30 -04:00
Rob Rix	43061122b9	Define an iterator for Term.	2019-07-17 11:17:06 -04:00
Rob Rix	bb30733b83	Replace foldCoreF with a Syntax instance.	2019-07-17 11:15:24 -04:00
Rob Rix	7f828469c3	🔥 foldScope.	2019-07-17 11:14:46 -04:00
Rob Rix	7684e4c4cc	Define a Syntax instance for sums.	2019-07-17 11:13:36 -04:00
Rob Rix	f76f73cbeb	Define a Syntax instance for Scope.	2019-07-17 11:13:31 -04:00
Rob Rix	5f7f6c7982	Define a class of foldable Syntax types.	2019-07-17 11:12:34 -04:00
Rob Rix	2350792e23	Define a Carrier instance for Term.	2019-07-17 11:11:07 -04:00
Rob Rix	9d7b63c56e	Define Scope-compatible Eq & Ord instances for Term.	2019-07-17 11:10:24 -04:00
Rob Rix	8ca7382ab9	Define Applicative & Monad instances for Term.	2019-07-17 11:09:34 -04:00
Rob Rix	37b00e5a47	Derive Foldable, Functor, & Traversable instances for Term.	2019-07-17 11:09:04 -04:00
Rob Rix	168d0fa318	Define a Show instance for Term.	2019-07-17 11:06:57 -04:00
Rob Rix	a9508fa516	Define a Term datatype.	2019-07-17 11:05:50 -04:00
Rob Rix	3c664ece81	Stub in a module for a Term type.	2019-07-17 11:05:25 -04:00
Rob Rix	f72070d378	Define a RightModule instance.	2019-07-17 11:03:10 -04:00
Rob Rix	497e0dd226	Define a RightModule class & associated helpers.	2019-07-17 11:02:09 -04:00
Rob Rix	d211a10852	Stub in a module for modules over monads.	2019-07-17 11:00:32 -04:00
Timothy Clem	c3181d1d88	Merge pull request #197 from github/proto-rework ... Protoc rework	2019-07-16 08:54:35 -07:00
Timothy Clem	d8ad7f2b25	Merge branch 'master' into proto-rework	2019-07-16 08:36:39 -07:00
Rob Rix	8fd1c12c02	Merge branch 'master' into scope-safety	2019-07-16 00:06:37 -05:00
Rob Rix	f7111f138a	Merge pull request #195 from github/upgrade-to-fused-effects-0.5 ... Upgrade to fused-effects v0.5.	2019-07-16 00:06:01 -05:00
Rob Rix	fd8a53baa7	Merge branch 'upgrade-to-fused-effects-0.5' into scope-safety	2019-07-15 16:50:37 -04:00
Rob Rix	1dbb44170f	Fix some deprecations &c.	2019-07-15 16:50:06 -04:00
Rob Rix	7cd6eb5478	Fix some deprecations and stuff.	2019-07-15 16:44:59 -04:00
Rob Rix	4dd90b9083	Merge branch 'upgrade-to-fused-effects-0.5' into scope-safety	2019-07-15 16:28:23 -04:00