18426 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	6501431dea	🔥 the effect list parameter from Evaluatable.	2018-02-28 14:14:45 -05:00
Rob Rix	e8cecb4e5f	Evaluator is a newtype.	2018-02-28 14:09:29 -05:00
Rob Rix	7198c506be	Evaluate in terms of Evaluator.	2018-02-28 14:09:06 -05:00
Rob Rix	965053dba1	The module table holds terms, not evaluators.	2018-02-28 14:01:40 -05:00
Rob Rix	f99972622a	Define a local modifier for the module evaluator table.	2018-02-28 10:57:38 -05:00
Rob Rix	48389d716b	Define a getter for the module evaluator table.	2018-02-28 10:50:02 -05:00
Rob Rix	d624686807	Define a modifier for the module table.	2018-02-28 10:48:55 -05:00
Rob Rix	3f1db36e64	Define a getter for the module table.	2018-02-28 10:48:21 -05:00
Rob Rix	df4b54ed11	Add the linker effects to Evaluator.	2018-02-28 10:47:13 -05:00
Rob Rix	a78089032e	Define a modifier for the store.	2018-02-28 10:42:39 -05:00
Rob Rix	93ad93e55c	Define a getter for the store.	2018-02-28 10:42:34 -05:00
Rob Rix	6ad1d024f2	Define local modification to the environment.	2018-02-28 10:42:27 -05:00
Rob Rix	55a2b3f8dc	Define a getter for the local environment.	2018-02-28 10:42:10 -05:00
Rob Rix	c092e9033c	Define a modifier for the global environment.	2018-02-28 10:41:59 -05:00
Rob Rix	37912b315a	Define a getter for the global environment.	2018-02-28 10:41:51 -05:00
Rob Rix	772fd97b38	Define a MonadFresh instance for Evaluator.	2018-02-28 10:41:38 -05:00
Rob Rix	b9ac2858ec	Define a MonadFail instance for Evaluator.	2018-02-28 10:41:28 -05:00
Rob Rix	57f478a5ac	Define a Monad instance for Evaluator.	2018-02-28 10:41:17 -05:00
Rob Rix	93c8562adb	Define an Alternative instance for Evaluator.	2018-02-28 10:41:06 -05:00
Rob Rix	0f52481729	Define an Applicative instance for Evaluator.	2018-02-28 10:40:50 -05:00
Rob Rix	054b4d5bc2	Define a Functor instance for Evaluator.	2018-02-28 10:40:41 -05:00
Rob Rix	d9ddce8b5e	Define an Evaluator datatype.	2018-02-28 10:40:07 -05:00
Rob Rix	d1350fa43a	Stub in a module defining evaluators.	2018-02-28 10:21:16 -05:00
Rob Rix	781c80e34e	🔥 some redundant Show constraints.	2018-02-28 09:41:36 -05:00
Rob Rix	984cd782d8	Explicitly list the Data.Abstract.Value exports.	2018-02-28 09:28:12 -05:00
Rob Rix	463f2a4ae9	Remove redundant constraints from the Evaluatable instance for [].	2018-02-27 17:23:02 -05:00
Rob Rix	b6e7163c5b	Generalize the Evaluatable instance to Call over the value type.	2018-02-27 17:19:00 -05:00
Rob Rix	1a795af3b6	Abstract application into AbstractFunction.	2018-02-27 17:17:06 -05:00
Rob Rix	7a648c1625	Generalize the Evaluatable instance for Declaration.Method.	2018-02-27 16:56:03 -05:00
Rob Rix	f44f32c883	Generalize the Evaluatable instance for Declaration.Function to any value type.	2018-02-27 16:55:09 -05:00
Rob Rix	7a8466c695	Use AbstractFunction to evaluate Declaration.Function.	2018-02-27 16:51:44 -05:00
Rob Rix	8003abbcd9	Note a FIXME in AbstractFunction.	2018-02-27 16:51:13 -05:00
Rob Rix	09288fa4fd	Abstraction uses Subterm.	2018-02-27 16:50:12 -05:00
Rob Rix	518848a6e8	Abstract abstraction.	2018-02-27 16:48:08 -05:00
Rob Rix	898c80a9b9	🔥 a redundant AbstractValue constraint.	2018-02-27 16:40:34 -05:00
Rob Rix	9ef5d8d234	Move the AbstractValue constraint into Evaluatable.	2018-02-27 16:13:22 -05:00
Rob Rix	8a0e203aef	Rename es to effects.	2018-02-27 16:11:19 -05:00
Rob Rix	08df6a2f46	Rename v to value.	2018-02-27 16:11:00 -05:00
Rob Rix	f8a2d24ab2	Parameterize AbstractValue by the term type.	2018-02-27 16:09:13 -05:00
Rob Rix	41a441648a	Parameterize Type by the term type.	2018-02-27 16:07:18 -05:00
Rob Rix	d67fed1201	Move the FreeVariables constraint into Evaluatable.	2018-02-27 14:41:56 -05:00
Rob Rix	23f45dafc4	Destructure on the rhs.	2018-02-27 12:28:41 -05:00
Rob Rix	3b6e23974e	Merge branch 'master' into algebraic-evaluation	2018-02-27 12:27:09 -05:00
Timothy Clem	ddde99b33a	Merge pull request #1506 from github/eval-effect ... Evaluate imports and major refactor to embrace Effects and streamline s/Eval/Evaluatable	2018-02-27 08:55:08 -08:00
Rob Rix	4f5250bc95	Merge branch 'eval-effect' into algebraic-evaluation	2018-02-27 11:53:22 -05:00
Timothy Clem	87df66b2ba	Merge branch 'master' into eval-effect	2018-02-27 08:49:43 -08:00
Timothy Clem	8903fbbecf	Remove micro Ruby/Python	2018-02-27 08:23:13 -08:00
Rob Rix	0a18beb177	Merge branch 'algebraic-evaluation' into closures-embed-actions	2018-02-27 11:21:02 -05:00
Rob Rix	6229b3cab3	eval is a SubtermAlgebra.	2018-02-27 11:02:00 -05:00
Rob Rix	038d3ac683	📝 foldSubterms.	2018-02-27 10:55:36 -05:00