├── .gitignore ├── LICENSE ├── Makefile ├── README.md ├── RealWorldAppComonadicUI.pdf ├── bower.json ├── corss.png ├── package.json ├── public ├── buttons.css ├── index.css ├── index.html ├── inputs.css ├── layout.css └── loading.svg └── src ├── Control ├── Comonad │ ├── Cofree │ │ └── Trans.purs │ ├── Day.purs │ ├── Sum.purs │ └── Zipper.purs └── Monad │ └── Transition │ └── Trans.purs ├── Main.purs ├── RSS.purs ├── RSS ├── App.purs ├── App │ ├── NewFeedModal.purs │ ├── Pages.purs │ ├── Router.purs │ ├── Sidenav.purs │ ├── ViewFeed.purs │ └── ViewItem.purs ├── Parser.js ├── Parser.purs ├── Persistence.purs └── React.purs ├── UI.purs └── UI ├── Combination.purs ├── Day.purs ├── Optional.purs ├── React.purs ├── Sum.purs └── Zipper.purs /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arthurxavierx/purescript-comonad-rss/HEAD/.gitignore -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arthurxavierx/purescript-comonad-rss/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arthurxavierx/purescript-comonad-rss/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arthurxavierx/purescript-comonad-rss/HEAD/README.md -------------------------------------------------------------------------------- /RealWorldAppComonadicUI.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arthurxavierx/purescript-comonad-rss/HEAD/RealWorldAppComonadicUI.pdf -------------------------------------------------------------------------------- /bower.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arthurxavierx/purescript-comonad-rss/HEAD/bower.json -------------------------------------------------------------------------------- /corss.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arthurxavierx/purescript-comonad-rss/HEAD/corss.png -------------------------------------------------------------------------------- /package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arthurxavierx/purescript-comonad-rss/HEAD/package.json -------------------------------------------------------------------------------- /public/buttons.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arthurxavierx/purescript-comonad-rss/HEAD/public/buttons.css -------------------------------------------------------------------------------- /public/index.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arthurxavierx/purescript-comonad-rss/HEAD/public/index.css -------------------------------------------------------------------------------- /public/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arthurxavierx/purescript-comonad-rss/HEAD/public/index.html -------------------------------------------------------------------------------- /public/inputs.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arthurxavierx/purescript-comonad-rss/HEAD/public/inputs.css -------------------------------------------------------------------------------- /public/layout.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arthurxavierx/purescript-comonad-rss/HEAD/public/layout.css -------------------------------------------------------------------------------- /public/loading.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arthurxavierx/purescript-comonad-rss/HEAD/public/loading.svg -------------------------------------------------------------------------------- /src/Control/Comonad/Cofree/Trans.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arthurxavierx/purescript-comonad-rss/HEAD/src/Control/Comonad/Cofree/Trans.purs -------------------------------------------------------------------------------- /src/Control/Comonad/Day.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arthurxavierx/purescript-comonad-rss/HEAD/src/Control/Comonad/Day.purs -------------------------------------------------------------------------------- /src/Control/Comonad/Sum.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arthurxavierx/purescript-comonad-rss/HEAD/src/Control/Comonad/Sum.purs -------------------------------------------------------------------------------- /src/Control/Comonad/Zipper.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arthurxavierx/purescript-comonad-rss/HEAD/src/Control/Comonad/Zipper.purs -------------------------------------------------------------------------------- /src/Control/Monad/Transition/Trans.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arthurxavierx/purescript-comonad-rss/HEAD/src/Control/Monad/Transition/Trans.purs -------------------------------------------------------------------------------- /src/Main.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arthurxavierx/purescript-comonad-rss/HEAD/src/Main.purs -------------------------------------------------------------------------------- /src/RSS.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arthurxavierx/purescript-comonad-rss/HEAD/src/RSS.purs -------------------------------------------------------------------------------- /src/RSS/App.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arthurxavierx/purescript-comonad-rss/HEAD/src/RSS/App.purs -------------------------------------------------------------------------------- /src/RSS/App/NewFeedModal.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arthurxavierx/purescript-comonad-rss/HEAD/src/RSS/App/NewFeedModal.purs -------------------------------------------------------------------------------- /src/RSS/App/Pages.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arthurxavierx/purescript-comonad-rss/HEAD/src/RSS/App/Pages.purs -------------------------------------------------------------------------------- /src/RSS/App/Router.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arthurxavierx/purescript-comonad-rss/HEAD/src/RSS/App/Router.purs -------------------------------------------------------------------------------- /src/RSS/App/Sidenav.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arthurxavierx/purescript-comonad-rss/HEAD/src/RSS/App/Sidenav.purs -------------------------------------------------------------------------------- /src/RSS/App/ViewFeed.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arthurxavierx/purescript-comonad-rss/HEAD/src/RSS/App/ViewFeed.purs -------------------------------------------------------------------------------- /src/RSS/App/ViewItem.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arthurxavierx/purescript-comonad-rss/HEAD/src/RSS/App/ViewItem.purs -------------------------------------------------------------------------------- /src/RSS/Parser.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arthurxavierx/purescript-comonad-rss/HEAD/src/RSS/Parser.js -------------------------------------------------------------------------------- /src/RSS/Parser.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arthurxavierx/purescript-comonad-rss/HEAD/src/RSS/Parser.purs -------------------------------------------------------------------------------- /src/RSS/Persistence.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arthurxavierx/purescript-comonad-rss/HEAD/src/RSS/Persistence.purs -------------------------------------------------------------------------------- /src/RSS/React.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arthurxavierx/purescript-comonad-rss/HEAD/src/RSS/React.purs -------------------------------------------------------------------------------- /src/UI.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arthurxavierx/purescript-comonad-rss/HEAD/src/UI.purs -------------------------------------------------------------------------------- /src/UI/Combination.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arthurxavierx/purescript-comonad-rss/HEAD/src/UI/Combination.purs -------------------------------------------------------------------------------- /src/UI/Day.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arthurxavierx/purescript-comonad-rss/HEAD/src/UI/Day.purs -------------------------------------------------------------------------------- /src/UI/Optional.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arthurxavierx/purescript-comonad-rss/HEAD/src/UI/Optional.purs -------------------------------------------------------------------------------- /src/UI/React.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arthurxavierx/purescript-comonad-rss/HEAD/src/UI/React.purs -------------------------------------------------------------------------------- /src/UI/Sum.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arthurxavierx/purescript-comonad-rss/HEAD/src/UI/Sum.purs -------------------------------------------------------------------------------- /src/UI/Zipper.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arthurxavierx/purescript-comonad-rss/HEAD/src/UI/Zipper.purs --------------------------------------------------------------------------------