118 Commits

Author	SHA1	Message	Date
Sridhar Ratnakumar	bda8dff448	Demystify RouteEncoder; drop CtxPrism separation	2022-06-28 20:49:32 -04:00
Sridhar Ratnakumar	bbff7368d2	Cleanup	2022-06-28 17:34:51 -04:00
Sridhar Ratnakumar	98deb1dc90	Avoid undefined	2022-06-28 17:22:12 -04:00
Sridhar Ratnakumar	494875a1af	Show friendly type-error if user tries to derive HasSubModels on non-const sub models	2022-06-28 11:17:52 -04:00
Sridhar Ratnakumar	d5f082c316	Disable SubRoute generics if on GHC <9.2 ... Resolves #99	2022-06-28 11:01:19 -04:00
Sridhar Ratnakumar	baf9b45b09	Move Multi.hs to route lib package	2022-06-27 19:35:07 -04:00
Sridhar Ratnakumar	5a95286043	reorg: move generic code under Ema.Route.Generic	2022-06-27 19:33:48 -04:00
Sridhar Ratnakumar	5e465e592f	reorg: rename to FileRoute/FolderRoute	2022-06-27 19:30:31 -04:00
Sridhar Ratnakumar	c8e5f31b3d	Add WithSubRoutes for DerivingVia ... Due to coercion issues, we must move subRoutesIso to outside of type-class.	2022-06-27 12:28:23 -04:00
Sridhar Ratnakumar	60ffdafaed	Switch to GHC 9.2 UnconsSymbol which is faster	2022-06-26 16:05:49 -04:00
Sridhar Ratnakumar	b024152071	encode Foo_Bar -> "bar.html"	2022-06-26 14:48:50 -04:00
Sridhar Ratnakumar	87b5d89cbc	Split modules for legibility	2022-06-25 13:05:50 -04:00
Sridhar Ratnakumar	2287c26c7a	Move examples to their own module, to reduce clutter	2022-06-24 10:19:15 -04:00
Sridhar Ratnakumar	73fe027578	Initial prototype	2022-06-23 18:06:45 -04:00
Sridhar Ratnakumar	bc9231b769	Add SingletonRoute	2022-06-23 17:36:58 -04:00
Sridhar Ratnakumar	c4e98ccd75	Add an example of Ema.Multi	2022-06-22 17:49:47 -04:00
Sridhar Ratnakumar	f35eb9baea	Enable with-examples by default (to unbreak macOS build)	2022-06-11 11:42:52 -04:00
Sridhar Ratnakumar	90f6a05257	Add most trivial example, Ex00_Hello.hs	2022-06-05 21:46:53 -04:00
Sridhar Ratnakumar	453364cdac	rename: Ema.Model -> Ema.Site	2022-05-21 10:53:30 -04:00
Sridhar Ratnakumar	80d93a5989	treefmt: format cabal file	2022-05-21 09:48:16 -04:00
Sridhar Ratnakumar	84025f50cb	Rename example modules appropriately	2022-05-16 20:30:31 -04:00
Sridhar Ratnakumar	e2c7f2de30	Add store.json for Store example, and monitor it to update the model	2022-04-14 17:18:34 -04:00
Sridhar Ratnakumar	d53dad29fb	Re-organize modules	2022-04-13 21:30:00 -04:00
Sridhar Ratnakumar	7b2953f026	Derive HasModel on MultiRoute	2022-04-10 18:13:26 -04:00
Sridhar Ratnakumar	f9230bebbe	Start Multi.hs, for sop-core based composing. Derive CanGenerate and CanRender	2022-04-10 17:52:46 -04:00
Sridhar Ratnakumar	6ffa27b3f8	Changelog and cabal ver	2022-04-07 12:36:09 -04:00
Sridhar Ratnakumar	4c0545664d	rename	2022-03-19 13:58:46 -04:00
Sridhar Ratnakumar	e88e38040f	Use relude 1.0	2022-03-18 18:50:23 -04:00
Sridhar Ratnakumar	2b97a6e172	Factor out CtxPrism	2022-03-15 18:38:22 -04:00
Sridhar Ratnakumar	c0f1c8080a	add some encoders, and a new example WIP	2022-03-12 16:02:25 -05:00
Sridhar Ratnakumar	aea64d32cb	switch to optics, and add generic prism	2022-03-11 18:39:55 -05:00
Sridhar Ratnakumar	7b60de029a	Refactor, outer,inner Mmodel	2022-03-11 17:47:41 -05:00
Sridhar Ratnakumar	c9b8bb302d	Module organization	2022-03-11 17:28:07 -05:00
Sridhar Ratnakumar	285b090337	HasModel can now be derived; Basic example is simplified	2022-03-10 18:35:10 -05:00
Sridhar Ratnakumar	5a25bc1977	Expose	2022-03-10 15:32:19 -05:00
Sridhar Ratnakumar	918fd9c1e5	Add generic route encoding	2022-03-08 16:29:50 -05:00
Sridhar Ratnakumar	a3de61cc38	Create Ema.Mount	2022-03-06 10:55:16 -05:00
Sridhar Ratnakumar	f5527cc5c0	Make Dynamic a module	2022-03-06 10:49:59 -05:00
Sridhar Ratnakumar	b789b1cdd6	X -> Dynamic	2022-03-06 10:46:54 -05:00
Sridhar Ratnakumar	537a54cbe7	make iso checks verbose	2022-02-26 11:00:59 -05:00
Sridhar Ratnakumar	e2e04d7c4b	Merge remote-tracking branch 'origin/master' into multisite	2022-02-18 23:02:40 -05:00
Sridhar Ratnakumar	602002a1fd	Advance nixpkgs	2022-02-16 19:30:52 -05:00
Sridhar Ratnakumar	6cb4269a59	Use scrollIntoView to scroll on anchor links	2022-02-16 19:21:36 -05:00
Sridhar Ratnakumar	89c9f9234c	Version and changelog	2022-02-15 22:02:37 -05:00
Sridhar Ratnakumar	6dbd0e0b3e	Clarify model runner	2022-02-13 21:24:24 -05:00
Sridhar Ratnakumar	251d4cdb50	Finalize PartialIsoFunctor	2022-02-13 20:59:39 -05:00
Sridhar Ratnakumar	869b7d4456	RouteEncoder: add Contravariant instance	2022-02-13 17:36:37 -05:00
Sridhar Ratnakumar	d18e343e55	merge route encoder	2022-02-13 17:10:55 -05:00
Sridhar Ratnakumar	be8c9deac4	iso check: check for all candidates	2022-02-13 16:50:55 -05:00
Sridhar Ratnakumar	0666e02d02	Create multi site example, and refactor a bit	2022-02-13 12:23:54 -05:00