18348 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Timothy Clem	3f364fe78f	Remove MonadEnv	2018-02-23 11:35:58 -08:00
Timothy Clem	bae3f74e0f	Move Evaluatable	2018-02-23 11:35:39 -08:00
Timothy Clem	22095cb73e	s/MonadAddress/Addressable	2018-02-23 11:30:27 -08:00
Timothy Clem	da3b840953	Renamed to match usage	2018-02-23 11:16:07 -08:00
Timothy Clem	063fab5d17	Get rid of MonadStore entirely	2018-02-23 11:11:24 -08:00
Timothy Clem	b9b3c1bedd	Pair down to a single, new Evaluatable	2018-02-23 11:11:13 -08:00
Timothy Clem	4d090bb085	Cleanup util a bit	2018-02-23 11:09:02 -08:00
Timothy Clem	31f15ef1d8	Clean up and document new evaluating API	2018-02-23 09:13:23 -08:00
Timothy Clem	545f6cb0cf	DataKinds for now	2018-02-23 09:13:08 -08:00
Timothy Clem	6bfbc37c73	Remove Store2	2018-02-23 09:00:52 -08:00
Timothy Clem	6aba719d1e	Remove debug tracing	2018-02-23 08:57:06 -08:00
Timothy Clem	0358e84a09	Cleanup imports	2018-02-23 08:57:00 -08:00
Timothy Clem	b94f8fdfa2	Evaluatable instance for Function	2018-02-23 08:56:48 -08:00
Timothy Clem	b5d3ddaf28	Clean up constraints	2018-02-23 08:56:06 -08:00
Timothy Clem	436edc5780	Evaluatable instance for Annotation	2018-02-23 08:55:03 -08:00
Timothy Clem	d5ee43da95	Evaluatable instance for Return	2018-02-23 08:54:45 -08:00
Timothy Clem	bd0cc0c027	Add a small version of Python to work with too	2018-02-23 08:54:26 -08:00
Timothy Clem	e5426e3744	Evaluate lots of ruby files	2018-02-22 16:34:30 -08:00
Timothy Clem	b9df69ffe4	Bring back evaluates	2018-02-22 16:24:22 -08:00
Timothy Clem	60c142a049	Fix this Import Evaluatable instance	2018-02-22 16:12:57 -08:00
Timothy Clem	48408b07cc	Use the right require	2018-02-22 16:12:20 -08:00
joshvera	5343976142	Embed require with raiseEmbedded	2018-02-22 17:50:13 -05:00
joshvera	e7c4f6e4ae	Evaluating has a linker effect	2018-02-22 16:31:07 -05:00
joshvera	d1bedfb793	Add require function that uses a Linker effect	2018-02-22 16:30:58 -05:00
joshvera	159cfae2d6	Add Eval instance for Import	2018-02-22 16:30:36 -05:00
joshvera	4dcf446661	remove docs	2018-02-22 16:01:50 -05:00
joshvera	af3e155c87	Just use EnvironmentFor type alias	2018-02-22 15:59:28 -05:00
joshvera	ad5826c93c	Add Reader back	2018-02-22 15:51:03 -05:00
joshvera	e1135f56f9	Use localState with a proxy argument	2018-02-22 12:41:49 -05:00
joshvera	1826192c05	++effects	2018-02-22 12:35:40 -05:00
joshvera	4dbffb0f17	Remove runEval and Eval effects ... ProTip don't make effects around pure functions for no reason	2018-02-22 12:08:42 -05:00
joshvera	d719fbb165	Import Eval, runEval and Evaluatable in Control.Effect	2018-02-21 18:16:29 -05:00
joshvera	91ab51fcd9	Add Integer instance for Evaluatable	2018-02-21 18:15:35 -05:00
joshvera	51ff316305	Add Call instance for Evaluatable	2018-02-21 18:15:12 -05:00
joshvera	4e02199e7e	Add Fail instance to Import	2018-02-21 18:14:46 -05:00
joshvera	c795e6d21b	Add Evaluatable Method instance	2018-02-21 18:14:36 -05:00
joshvera	e8fd74b24e	Add Empty and Error instance to Program	2018-02-21 18:14:14 -05:00
joshvera	f9a536f4ea	Add Evaluatable instace to Program	2018-02-21 18:13:58 -05:00
joshvera	07c291623e	Use MonadFail	2018-02-21 18:13:42 -05:00
joshvera	b03c2b8581	Reorder the type applications	2018-02-21 18:13:29 -05:00
joshvera	24006eecaf	Replace Exc with Fail effect for now ... I think we want to remove the interface and just use the effect.	2018-02-21 18:13:17 -05:00
joshvera	5d59c917f4	Export step	2018-02-21 18:12:46 -05:00
joshvera	baed0e3d82	Add Eval back to Evaluating	2018-02-21 18:12:19 -05:00
joshvera	e364b6f3ae	Move constr back to last term and add TermF and Union instances for eval	2018-02-21 15:37:19 -05:00
joshvera	e498f62fbb	Add RunEffects usage back to Evaluating3.evalutate	2018-02-21 15:36:44 -05:00
joshvera	db7f5b1cb8	Add Identifier instance for Evaluatable	2018-02-21 15:35:46 -05:00
joshvera	0fa73b3d14	whitespace	2018-02-21 15:34:56 -05:00
joshvera	19b6778ac5	Add evaluateRubyFile2	2018-02-21 15:34:49 -05:00
joshvera	0b7db68714	Remove Evaluating'	2018-02-21 12:30:08 -05:00
joshvera	2eb06b7d36	Add the Evaluatable instance for []	2018-02-21 11:16:40 -05:00