575 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Matija Sosic	3561b58aac	Implemented v1 of Waspello.	2021-10-06 16:36:35 +02:00
Martin Sosic	0785378a53	Added information on where the examples are deployed.	2021-10-06 16:16:41 +02:00
ASHUTOSH KUMAR SINGH	f2a94e345a	Added docs about "app.head" (#320)	2021-10-04 16:23:11 +02:00
Martin Šošić	e7c3afd9b7	Update README.md	2021-10-04 16:12:31 +02:00
Martin Šošić	f12003c889	Update README.md	2021-10-04 16:10:34 +02:00
Martin Sosic	e29a116761	Made page robust to multiple trailing slashes + some small fixes.	2021-10-04 15:50:52 +02:00
Martin Sosic	604656c47a	Updated docusaurus.config.js to have correct url/baseUrl.	2021-10-04 14:45:15 +02:00
Martin Sosic	7903b80ef1	Updated docusaurus version.	2021-10-04 11:43:23 +02:00
Martin Šošić	a5f2eb03c8	Merge pull request #300 from wasp-lang/analyzer-evaluator ... feat: Implement evaluator for new type checker	2021-09-22 23:39:45 +02:00
Martin Sosic	a25f8fc809	Renamed Evaluation.Core to Evaluation.Internal.	2021-09-22 23:30:42 +02:00
Martin Sosic	84f32b0e67	fixed ormolu	2021-09-21 21:16:34 +02:00
Martin Sosic	70fc06ee15	IsEnumType now has enumEvaluate method.	2021-09-21 21:04:10 +02:00
Martin Sosic	08eec6f1c7	Added declEvaluate function.	2021-09-21 19:43:59 +02:00
Martin Sosic	074529d79c	Made TypeDefinitions implementation Internal.	2021-09-18 00:08:42 +02:00
Martin Sosic	11f494df81	fix	2021-09-17 23:28:38 +02:00
Martin Sosic	22c00d6310	Refactored TH.hs into multiple files.	2021-09-17 13:35:18 +02:00
Martin Sosic	60e8574f9d	fix	2021-09-17 12:20:21 +02:00
Martin Sosic	674c3ec3a7	fix	2021-09-17 12:09:44 +02:00
Martin Sosic	dd96f724e1	Refactored Evaluator.Combinators into more structured code.	2021-09-17 11:52:41 +02:00
Martin Sosic	123765c494	fix	2021-09-17 10:10:36 +02:00
Martin Sosic	5c19d42ed1	fix	2021-09-16 16:08:43 +02:00
Martin Sosic	5a1ba5017a	fix	2021-09-16 14:47:34 +02:00
Martin Sosic	cb50008b98	fix	2021-09-14 17:08:53 +02:00
Martin Sosic	147d1d6466	Separated EvalCtx from evaluation input in Evaluator.Combinators and ... removed duplication.	2021-09-14 14:05:12 +02:00
Martin Šošić	7a32aa38c4	IsDeclType and IsEnumType now have toDeclType and toEnumType functions. (#304)	2021-09-14 11:57:48 +02:00
Martin Šošić	9455697c51	Added IsDeclType constraint to Decl, hidden its internal representation. (#303)	2021-09-14 11:19:12 +02:00
Martin Šošić	d283aabdaf	Added some general Analyzer docs. (#302)	2021-09-14 11:13:54 +02:00
Saatvik Shah	347cca6d9b	Move bash completion logic to Haskell (#305) ... This patch moves majority of the bash completion logic from Bash to Haskell taking advantage of the environment variables exposed by the `complete` builtin to infer and suggest possible outputs. Co-authored-by: sshah1 <saatvik.shah@imc.com>	2021-09-06 13:09:03 +02:00
Martin Sosic	9db0c2ed52	Added blog post about 'forall' in Haskell.	2021-09-01 16:18:32 +02:00
craigmc08	c99e9a9050	Suggestions from code review	2021-08-24 12:00:06 -04:00
Craig McIlwrath	d37cfed9f9	Apply suggestions from code review ... Co-authored-by: Martin Šošić <Martinsos@users.noreply.github.com>	2021-08-24 11:53:22 -04:00
zant	76acbfd52a	feat: Implement wasp info command (#295)	2021-08-23 18:13:04 +02:00
craigmc08	43450647c7	Fix some comments	2021-08-22 14:19:38 -04:00
craigmc08	9686eaf4dc	Add test for Analyzer module	2021-08-22 13:33:44 -04:00
craigmc08	b294e42889	Refactor EvaluationError type	2021-08-22 13:18:12 -04:00
Martin Sosic	af201435be	Updated wasp version to 0.2.2.2.	2021-08-20 17:50:57 +02:00
Martin Sosic	0a33598b7f	fix: Fixed compiler thinking auth is enabled per operation when it is not.	2021-08-20 17:47:55 +02:00
craigmc08	923a9ad35a	Refactoring	2021-08-07 09:22:52 -04:00
craigmc08	2507a71abe	Add evaluation for import, json, psl	2021-08-05 15:22:21 -04:00
craigmc08	5f3f845416	More cleanup in TH	2021-08-05 14:34:46 -04:00
craigmc08	865a5196aa	Refactor evaluator TH code and add more comments	2021-08-05 13:25:13 -04:00
craigmc08	4120bc53dc	Add TH generation for IsDeclType, IsEnumType instances	2021-08-05 13:25:13 -04:00
craigmc08	d043548ecc	Get evaluation working a bit ... Code is probably not great, but passing tests for generating haskell data structures exist! Still have to hand write IsDeclType and IsEnumType instances, but it's cool	2021-08-05 13:25:13 -04:00
craigmc08	a65a964b76	Add TODO for tests in Util.Control.Monad	2021-08-05 13:17:49 -04:00
craigmc08	96450aa31d	Suggestions from code review	2021-08-05 13:17:49 -04:00
craigmc08	6f178115dc	Suggestions from code review	2021-08-05 13:17:49 -04:00
craigmc08	d335562263	Suggestions from code review	2021-08-05 13:17:49 -04:00
Craig McIlwrath	5d013fab6d	Apply suggestions from code review ... Co-authored-by: Martin Šošić <Martinsos@users.noreply.github.com>	2021-08-05 13:17:49 -04:00
craigmc08	31a4ebaee3	Refactor typechecker tests	2021-08-05 13:17:49 -04:00
craigmc08	e1e062479e	Suggestions from code review	2021-08-05 13:17:49 -04:00