192 Commits

Author	SHA1	Message	Date
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
Rob Rix	4dd90b9083	Merge branch 'upgrade-to-fused-effects-0.5' into scope-safety	2019-07-15 16:28:23 -04:00
Rob Rix	157d931ad8	🔥 TransC.	2019-07-15 16:20:27 -04:00
Rob Rix	6fe74f012a	Use LiftC instead of TransC to define ReadlineC.	2019-07-15 16:20:07 -04:00
Rob Rix	ba8e03b111	Derive the HFunctor & Effect instances for Readline.	2019-07-15 16:12:47 -04:00
Rob Rix	b1fe3e6073	🔥 a bunch of redundant imports.	2019-07-15 15:23:29 -04:00
Rob Rix	7c4f35c1de	Generalize block.	2019-07-15 13:27:49 -04:00
Rob Rix	4863189099	Simplify the shape of Gensym.	2019-07-15 13:25:44 -04:00
Rob Rix	eacc890658	Rename the smart constructor to fresh.	2019-07-15 13:15:49 -04:00
Rob Rix	dc1a8144cd	Rename the Gensym constructor to Fresh.	2019-07-15 13:14:09 -04:00
Rob Rix	1f0428cc5b	🔥 //.	2019-07-15 13:12:27 -04:00
Rob Rix	2c10a9171c	Generalize all the smart constructors.	2019-07-15 13:04:47 -04:00
Rob Rix	c83d5f083e	Define a Carrier instance for Core.	2019-07-15 13:01:22 -04:00
Rob Rix	3e5d703263	Derive Generic1 & HFunctor instances for CoreF.	2019-07-15 13:01:07 -04:00
Rob Rix	5a0799f471	Define an HFunctor instance for Scope.	2019-07-15 13:00:22 -04:00
Rob Rix	e135751ecc	🔥 TransC.	2019-07-15 12:51:37 -04:00
Rob Rix	a69c34e57e	Bump semantic-core to fused-effects-0.5.	2019-07-15 12:48:13 -04:00
Rob Rix	9e4d91c688	Simplify the definition of block using the Maybe Monoid.	2019-07-15 10:56:53 -04:00
Rob Rix	9cf37ef4d0	Rename k to bound.	2019-07-15 10:53:15 -04:00
Rob Rix	82e779df29	Don’t label lambda-bound variables.	2019-07-15 10:52:45 -04:00
Rob Rix	b0776d4cbc	Spacing.	2019-07-15 10:50:45 -04:00
Rob Rix	6a237b7f41	Provide a bunch more Scope machinery.	2019-07-15 10:50:42 -04:00