From 04b20179e3791d1ef4ab424b779ee8ffab544dd0 Mon Sep 17 00:00:00 2001 From: weiss Date: Mon, 30 Mar 2020 15:18:46 +0200 Subject: [PATCH] TodoMVC example --- README.md | 13 +- generator/template/spago.dhall | 8 +- generator/templateExampleApp/src/App.purs | 59 +- generator/templateExampleApp/src/App.vue | 71 +- .../templateExampleApp/src/assets/logo.png | Bin 0 -> 6849 bytes .../templateExampleApp/src/assets/logo.svg | 51 ++ .../src/components/HelloWorld.vue | 58 ++ generator/templateExampleApp/src/main.js | 11 + .../src/views/PrivacyPolicy.purs | 24 - .../src/views/PrivacyPolicy.vue | 31 - .../templateExampleApp/src/views/Todo.purs | 195 ++++++ .../templateExampleApp/src/views/Todo.vue | 619 ++++++++++++++++++ src/Props.purs | 10 +- 13 files changed, 1031 insertions(+), 119 deletions(-) create mode 100644 generator/templateExampleApp/src/assets/logo.png create mode 100644 generator/templateExampleApp/src/assets/logo.svg create mode 100644 generator/templateExampleApp/src/components/HelloWorld.vue create mode 100644 generator/templateExampleApp/src/main.js delete mode 100644 generator/templateExampleApp/src/views/PrivacyPolicy.purs delete mode 100644 generator/templateExampleApp/src/views/PrivacyPolicy.vue create mode 100644 generator/templateExampleApp/src/views/Todo.purs create mode 100644 generator/templateExampleApp/src/views/Todo.vue diff --git a/README.md b/README.md index 96c7f15..8440999 100644 --- a/README.md +++ b/README.md @@ -1,18 +1,19 @@ # pure-vue -## Project setup + + +## Project setup ![npm](https://img.shields.io/npm/v/pure-vue) ``` npm install ``` ### Compiles and hot-reloads for development -1. spago install arrays -3. spago install record-extra -1. vue create my_cool_project -2. cd my_cool_project +1. vue create my_project +2. cd my_project 3. spago init 4. npm install vue-cli-plugin-pure-vue 5. vue invoke vue-cli-plugin-pure-vue ## Example Application -Check out Todo List [Example Application](https://https://github.com/smarwei/pure-vue-todo-example). +The Plugin will install a few examples (you can find the sources in generator/templateExampleApp/src) +Have a look at them [Example Applications](pure-vue-todo-mvc.epizy.com). diff --git a/generator/template/spago.dhall b/generator/template/spago.dhall index 1f32be7..e376755 100644 --- a/generator/template/spago.dhall +++ b/generator/template/spago.dhall @@ -8,8 +8,12 @@ You can edit this file as you like. , "console" , "effect" , "psci-support" - , "record-extra" - , "typelevel-prelude" + , "web-html" + , "web-storage" + , "simple-json" + , "foreign" + , "partial" + , "stringutils" ] , packages = ./packages.dhall , sources = [ "src/**/*.purs", "node_modules/vue-cli-plugin-pure-vue/src/**/*.purs", "test/**/*.purs" ] diff --git a/generator/templateExampleApp/src/App.purs b/generator/templateExampleApp/src/App.purs index ce0f427..01e6858 100644 --- a/generator/templateExampleApp/src/App.purs +++ b/generator/templateExampleApp/src/App.purs @@ -1,52 +1,47 @@ module App where import Prelude +import Data.Maybe (Maybe(..)) import Effect (Effect) import Effect.Unsafe (unsafePerformEffect) import Effect.Vue.Ref as Ref import Effect.Vue.Hooks as Hooks import Effect.Class.Console (logShow) -import Data.Array (snoc) +import Web.HTML (window) +import Web.HTML.Window (history, location) +import Web.HTML.Location (pathname) +import Web.HTML.History (pushState, state, DocumentTitle(..), URL(..)) -type Product = { id :: Int, title :: String, price :: Number } -createProduct :: Array Product -> Int -> String -> Number -> Array Product -createProduct products id title price = snoc products { id, title, price } +setView :: Ref.Ref String -> String -> Effect Unit +setView route vName = Ref.write vName route -execCreateProduct :: Ref.Ref (Array Product) -> String -> Number -> Effect Unit -execCreateProduct products title price = do - p <- Ref.read products - let p' = createProduct p 42 title (23.666) - Ref.write p' products +linkClicked :: Ref.Ref String -> String -> Effect Unit +linkClicked route link = do + setView route link + win <- window + hist <- history win + st <- state hist + Ref.write link route + pushState st (DocumentTitle link) (URL link) hist -incRelease :: Ref.Ref Int -> Effect Unit -incRelease release = Ref.modify_ (\x -> x + 1) release +getPathname :: Effect String +getPathname = do + win <- window + loc <- location win + pathname loc -compTest :: Ref.Ref Int -> Effect Int -compTest release = do - r <- Ref.read release - pure (r + 1) - -type Props = {} - -setup :: forall a. Props -> Effect a +setup :: forall a. {} -> Effect a setup props = unsafePerformEffect do - products :: Ref.Ref (Array Product) <- Ref.new [] - showUserInfo <- Ref.new false - release <- Ref.new 9 - - computedTest <- Ref.computed $ compTest release + r <- getPathname + logShow r + route <-Ref.new r Hooks.onMounted mounted - Ref.vReturn { products - , showUserInfo - , release - , computedTest - , incRelease: (incRelease release) - , addProduct: (execCreateProduct products) + Ref.vReturn { route + , linkClicked: linkClicked route } mounted :: Effect Unit -mounted = do - logShow "estasetase" \ No newline at end of file +mounted = logShow "I am an onMounted hook" diff --git a/generator/templateExampleApp/src/App.vue b/generator/templateExampleApp/src/App.vue index 318d4e1..577bcc0 100644 --- a/generator/templateExampleApp/src/App.vue +++ b/generator/templateExampleApp/src/App.vue @@ -1,31 +1,64 @@ + + diff --git a/generator/templateExampleApp/src/assets/logo.png b/generator/templateExampleApp/src/assets/logo.png new file mode 100644 index 0000000000000000000000000000000000000000..f3d2503fc2a44b5053b0837ebea6e87a2d339a43 GIT binary patch literal 6849 zcmaKRcUV(fvo}bjDT-7nLI_nlK}sT_69H+`qzVWDA|yaU?}j417wLi^B1KB1SLsC& zL0ag7$U(XW5YR7p&Ux?sP$d4lvMt8C^+TcQu4F zQqv!UF!I+kw)c0jhd6+g6oCr9P?7)?!qX1ui*iL{p}sKCAGuJ{{W)0z1pLF|=>h}& zt(2Lr0Z`2ig8<5i%Zk}cO5Fm=LByqGWaS`oqChZdEFmc`0hSb#gg|Aap^{+WKOYcj zHjINK)KDG%&s?Mt4CL(T=?;~U@bU2x_mLKN!#GJuK_CzbNw5SMEJorG!}_5;?R>@1 zSl)jns3WlU7^J%=(hUtfmuUCU&C3%8B5C^f5>W2Cy8jW3#{Od{lF1}|?c61##3dzA zsPlFG;l_FzBK}8>|H_Ru_H#!_7$UH4UKo3lKOA}g1(R&|e@}GINYVzX?q=_WLZCgh z)L|eJMce`D0EIwgRaNETDsr+?vQknSGAi=7H00r`QnI%oQnFxm`G2umXso9l+8*&Q z7WqF|$p49js$mdzo^BXpH#gURy=UO;=IMrYc5?@+sR4y_?d*~0^YP7d+y0{}0)zBM zIKVM(DBvICK#~7N0a+PY6)7;u=dutmNqK3AlsrUU9U`d;msiucB_|8|2kY=(7XA;G zwDA8AR)VCA#JOkxm#6oHNS^YVuOU;8p$N)2{`;oF|rQ?B~K$%rHDxXs+_G zF5|-uqHZvSzq}L;5Kcy_P+x0${33}Ofb6+TX&=y;;PkEOpz%+_bCw_{<&~ zeLV|!bP%l1qxywfVr9Z9JI+++EO^x>ZuCK);=$VIG1`kxK8F2M8AdC$iOe3cj1fo(ce4l-9 z7*zKy3={MixvUk=enQE;ED~7tv%qh&3lR<0m??@w{ILF|e#QOyPkFYK!&Up7xWNtL zOW%1QMC<3o;G9_S1;NkPB6bqbCOjeztEc6TsBM<(q9((JKiH{01+Ud=uw9B@{;(JJ z-DxI2*{pMq`q1RQc;V8@gYAY44Z!%#W~M9pRxI(R?SJ7sy7em=Z5DbuDlr@*q|25V)($-f}9c#?D%dU^RS<(wz?{P zFFHtCab*!rl(~j@0(Nadvwg8q|4!}L^>d?0al6}Rrv9$0M#^&@zjbfJy_n!%mVHK4 z6pLRIQ^Uq~dnyy$`ay51Us6WaP%&O;@49m&{G3z7xV3dLtt1VTOMYl3UW~Rm{Eq4m zF?Zl_v;?7EFx1_+#WFUXxcK78IV)FO>42@cm@}2I%pVbZqQ}3;p;sDIm&knay03a^ zn$5}Q$G!@fTwD$e(x-~aWP0h+4NRz$KlnO_H2c< z(XX#lPuW_%H#Q+c&(nRyX1-IadKR-%$4FYC0fsCmL9ky3 zKpxyjd^JFR+vg2!=HWf}2Z?@Td`0EG`kU?{8zKrvtsm)|7>pPk9nu@2^z96aU2<#` z2QhvH5w&V;wER?mopu+nqu*n8p~(%QkwSs&*0eJwa zMXR05`OSFpfyRb!Y_+H@O%Y z0=K^y6B8Gcbl?SA)qMP3Z+=C(?8zL@=74R=EVnE?vY!1BQy2@q*RUgRx4yJ$k}MnL zs!?74QciNb-LcG*&o<9=DSL>1n}ZNd)w1z3-0Pd^4ED1{qd=9|!!N?xnXjM!EuylY z5=!H>&hSofh8V?Jofyd!h`xDI1fYAuV(sZwwN~{$a}MX^=+0TH*SFp$vyxmUv7C*W zv^3Gl0+eTFgBi3FVD;$nhcp)ka*4gSskYIqQ&+M}xP9yLAkWzBI^I%zR^l1e?bW_6 zIn{mo{dD=)9@V?s^fa55jh78rP*Ze<3`tRCN4*mpO$@7a^*2B*7N_|A(Ve2VB|)_o z$=#_=aBkhe(ifX}MLT()@5?OV+~7cXC3r!%{QJxriXo9I%*3q4KT4Xxzyd{ z9;_%=W%q!Vw$Z7F3lUnY+1HZ*lO;4;VR2+i4+D(m#01OYq|L_fbnT;KN<^dkkCwtd zF7n+O7KvAw8c`JUh6LmeIrk4`F3o|AagKSMK3))_5Cv~y2Bb2!Ibg9BO7Vkz?pAYX zoI=B}+$R22&IL`NCYUYjrdhwjnMx_v=-Qcx-jmtN>!Zqf|n1^SWrHy zK|MwJ?Z#^>)rfT5YSY{qjZ&`Fjd;^vv&gF-Yj6$9-Dy$<6zeP4s+78gS2|t%Z309b z0^fp~ue_}i`U9j!<|qF92_3oB09NqgAoehQ`)<)dSfKoJl_A6Ec#*Mx9Cpd-p#$Ez z={AM*r-bQs6*z$!*VA4|QE7bf@-4vb?Q+pPKLkY2{yKsw{&udv_2v8{Dbd zm~8VAv!G~s)`O3|Q6vFUV%8%+?ZSVUa(;fhPNg#vab@J*9XE4#D%)$UU-T5`fwjz! z6&gA^`OGu6aUk{l*h9eB?opVdrHK>Q@U>&JQ_2pR%}TyOXGq_6s56_`U(WoOaAb+K zXQr#6H}>a-GYs9^bGP2Y&hSP5gEtW+GVC4=wy0wQk=~%CSXj=GH6q z-T#s!BV`xZVxm{~jr_ezYRpqqIcXC=Oq`b{lu`Rt(IYr4B91hhVC?yg{ol4WUr3v9 zOAk2LG>CIECZ-WIs0$N}F#eoIUEtZudc7DPYIjzGqDLWk_A4#(LgacooD z2K4IWs@N`Bddm-{%oy}!k0^i6Yh)uJ1S*90>|bm3TOZxcV|ywHUb(+CeX-o1|LTZM zwU>dY3R&U)T(}5#Neh?-CWT~@{6Ke@sI)uSuzoah8COy)w)B)aslJmp`WUcjdia-0 zl2Y}&L~XfA`uYQboAJ1;J{XLhYjH){cObH3FDva+^8ioOQy%Z=xyjGLmWMrzfFoH; zEi3AG`_v+%)&lDJE;iJWJDI@-X9K5O)LD~j*PBe(wu+|%ar~C+LK1+-+lK=t# z+Xc+J7qp~5q=B~rD!x78)?1+KUIbYr^5rcl&tB-cTtj+e%{gpZZ4G~6r15+d|J(ky zjg@@UzMW0k9@S#W(1H{u;Nq(7llJbq;;4t$awM;l&(2s+$l!Ay9^Ge|34CVhr7|BG z?dAR83smef^frq9V(OH+a+ki#q&-7TkWfFM=5bsGbU(8mC;>QTCWL5ydz9s6k@?+V zcjiH`VI=59P-(-DWXZ~5DH>B^_H~;4$)KUhnmGo*G!Tq8^LjfUDO)lASN*=#AY_yS zqW9UX(VOCO&p@kHdUUgsBO0KhXxn1sprK5h8}+>IhX(nSXZKwlNsjk^M|RAaqmCZB zHBolOHYBas@&{PT=R+?d8pZu zUHfyucQ`(umXSW7o?HQ3H21M`ZJal+%*)SH1B1j6rxTlG3hx1IGJN^M7{$j(9V;MZ zRKybgVuxKo#XVM+?*yTy{W+XHaU5Jbt-UG33x{u(N-2wmw;zzPH&4DE103HV@ER86 z|FZEmQb|&1s5#`$4!Cm}&`^{(4V}OP$bk`}v6q6rm;P!H)W|2i^e{7lTk2W@jo_9q z*aw|U7#+g59Fv(5qI`#O-qPj#@_P>PC#I(GSp3DLv7x-dmYK=C7lPF8a)bxb=@)B1 zUZ`EqpXV2dR}B&r`uM}N(TS99ZT0UB%IN|0H%DcVO#T%L_chrgn#m6%x4KE*IMfjX zJ%4veCEqbXZ`H`F_+fELMC@wuy_ch%t*+Z+1I}wN#C+dRrf2X{1C8=yZ_%Pt6wL_~ zZ2NN-hXOT4P4n$QFO7yYHS-4wF1Xfr-meG9Pn;uK51?hfel`d38k{W)F*|gJLT2#T z<~>spMu4(mul-8Q3*pf=N4DcI)zzjqAgbE2eOT7~&f1W3VsdD44Ffe;3mJp-V@8UC z)|qnPc12o~$X-+U@L_lWqv-RtvB~%hLF($%Ew5w>^NR82qC_0FB z)=hP1-OEx?lLi#jnLzH}a;Nvr@JDO-zQWd}#k^an$Kwml;MrD&)sC5b`s0ZkVyPkb zt}-jOq^%_9>YZe7Y}PhW{a)c39G`kg(P4@kxjcYfgB4XOOcmezdUI7j-!gs7oAo2o zx(Ph{G+YZ`a%~kzK!HTAA5NXE-7vOFRr5oqY$rH>WI6SFvWmahFav!CfRMM3%8J&c z*p+%|-fNS_@QrFr(at!JY9jCg9F-%5{nb5Bo~z@Y9m&SHYV`49GAJjA5h~h4(G!Se zZmK{Bo7ivCfvl}@A-ptkFGcWXAzj3xfl{evi-OG(TaCn1FAHxRc{}B|x+Ua1D=I6M z!C^ZIvK6aS_c&(=OQDZfm>O`Nxsw{ta&yiYPA~@e#c%N>>#rq)k6Aru-qD4(D^v)y z*>Rs;YUbD1S8^D(ps6Jbj0K3wJw>L4m)0e(6Pee3Y?gy9i0^bZO?$*sv+xKV?WBlh zAp*;v6w!a8;A7sLB*g-^<$Z4L7|5jXxxP1}hQZ<55f9<^KJ>^mKlWSGaLcO0=$jem zWyZkRwe~u{{tU63DlCaS9$Y4CP4f?+wwa(&1ou)b>72ydrFvm`Rj-0`kBJgK@nd(*Eh!(NC{F-@=FnF&Y!q`7){YsLLHf0_B6aHc# z>WIuHTyJwIH{BJ4)2RtEauC7Yq7Cytc|S)4^*t8Va3HR zg=~sN^tp9re@w=GTx$;zOWMjcg-7X3Wk^N$n;&Kf1RgVG2}2L-(0o)54C509C&77i zrjSi{X*WV=%C17((N^6R4Ya*4#6s_L99RtQ>m(%#nQ#wrRC8Y%yxkH;d!MdY+Tw@r zjpSnK`;C-U{ATcgaxoEpP0Gf+tx);buOMlK=01D|J+ROu37qc*rD(w`#O=3*O*w9?biwNoq3WN1`&Wp8TvKj3C z3HR9ssH7a&Vr<6waJrU zdLg!ieYz%U^bmpn%;(V%%ugMk92&?_XX1K@mwnVSE6!&%P%Wdi7_h`CpScvspMx?N zQUR>oadnG17#hNc$pkTp+9lW+MBKHRZ~74XWUryd)4yd zj98$%XmIL4(9OnoeO5Fnyn&fpQ9b0h4e6EHHw*l68j;>(ya`g^S&y2{O8U>1*>4zR zq*WSI_2o$CHQ?x0!wl9bpx|Cm2+kFMR)oMud1%n2=qn5nE&t@Fgr#=Zv2?}wtEz^T z9rrj=?IH*qI5{G@Rn&}^Z{+TW}mQeb9=8b<_a`&Cm#n%n~ zU47MvCBsdXFB1+adOO)03+nczfWa#vwk#r{o{dF)QWya9v2nv43Zp3%Ps}($lA02*_g25t;|T{A5snSY?3A zrRQ~(Ygh_ebltHo1VCbJb*eOAr;4cnlXLvI>*$-#AVsGg6B1r7@;g^L zFlJ_th0vxO7;-opU@WAFe;<}?!2q?RBrFK5U{*ai@NLKZ^};Ul}beukveh?TQn;$%9=R+DX07m82gP$=}Uo_%&ngV`}Hyv8g{u z3SWzTGV|cwQuFIs7ZDOqO_fGf8Q`8MwL}eUp>q?4eqCmOTcwQuXtQckPy|4F1on8l zP*h>d+cH#XQf|+6c|S{7SF(Lg>bR~l(0uY?O{OEVlaxa5@e%T&xju=o1`=OD#qc16 zSvyH*my(dcp6~VqR;o(#@m44Lug@~_qw+HA=mS#Z^4reBy8iV?H~I;{LQWk3aKK8$bLRyt$g?- + + + + + + + + + + + + + + + + + + diff --git a/generator/templateExampleApp/src/components/HelloWorld.vue b/generator/templateExampleApp/src/components/HelloWorld.vue new file mode 100644 index 0000000..879051a --- /dev/null +++ b/generator/templateExampleApp/src/components/HelloWorld.vue @@ -0,0 +1,58 @@ + + + + + + diff --git a/generator/templateExampleApp/src/main.js b/generator/templateExampleApp/src/main.js new file mode 100644 index 0000000..d75a149 --- /dev/null +++ b/generator/templateExampleApp/src/main.js @@ -0,0 +1,11 @@ +import Vue from 'vue' +import App from './App.vue' +import VueCompositionApi from '@vue/composition-api' + +Vue.use(VueCompositionApi); + +Vue.config.productionTip = false + +new Vue({ + render: h => h(App), +}).$mount('#app') diff --git a/generator/templateExampleApp/src/views/PrivacyPolicy.purs b/generator/templateExampleApp/src/views/PrivacyPolicy.purs deleted file mode 100644 index 00efb15..0000000 --- a/generator/templateExampleApp/src/views/PrivacyPolicy.purs +++ /dev/null @@ -1,24 +0,0 @@ -module PrivacyPolicy where - -import Prelude -import Effect (Effect) -import Effect.Unsafe (unsafePerformEffect) -import Effect.Vue.Ref as Ref -import Record.Extra as Record -import Data.Array as Arr -import Type.Row (RProxy(..)) - -type Props = ( release :: Int ) - --- this to lib --- type RecordProps = Record.Record Props -props = Record.keys (RProxy :: RProxy Props) - -privacyPolicy :: String -> String -privacyPolicy policyRaw = policyRaw - -buildSetup :: forall a. String -> _ -> Effect a -buildSetup policyRaw props = unsafePerformEffect do - dialog <- Ref.new true - - Ref.vReturn { dialog, privacyPolicy: privacyPolicy policyRaw } \ No newline at end of file diff --git a/generator/templateExampleApp/src/views/PrivacyPolicy.vue b/generator/templateExampleApp/src/views/PrivacyPolicy.vue deleted file mode 100644 index 1bac6fb..0000000 --- a/generator/templateExampleApp/src/views/PrivacyPolicy.vue +++ /dev/null @@ -1,31 +0,0 @@ - - - - - diff --git a/generator/templateExampleApp/src/views/Todo.purs b/generator/templateExampleApp/src/views/Todo.purs new file mode 100644 index 0000000..e95fac5 --- /dev/null +++ b/generator/templateExampleApp/src/views/Todo.purs @@ -0,0 +1,195 @@ +module Todo where + +import Prelude +import Effect (Effect) +import Effect.Unsafe (unsafePerformEffect) +import Effect.Vue.Ref as Ref +import Props (PropType(..), Props) +import Data.Array (snoc, filter) +import Data.Foldable (any, all) +import Data.Maybe (Maybe(..), fromJust) +import Partial.Unsafe (unsafePartial) +import Web.HTML (window) +import Web.HTML.Window (localStorage, location) +import Web.HTML.Location (hash, setHash) +import Web.Storage.Storage (getItem, setItem) +import Simple.JSON as JSON +import Data.Either (Either(..)) +import Data.String.Utils (startsWith) +import Data.String.CodePoints (drop) +import Effect.Console (log) + +props :: Props +props = [String "prop_filter"] + +data TaskStatus = Active | Completed +instance showTaskStatus :: Show TaskStatus where + show Active = "active" + show Completed = "completed" +derive instance eqTaskStatus :: Eq TaskStatus + +type Filter = Maybe TaskStatus + +readFilter :: String -> Filter +readFilter ts | ts == "active" = Just Active +readFilter ts | ts == "completed" = Just Completed +readFilter _ = Nothing + +type Task = { title :: String, status :: TaskStatus } +type Tasks = Array Task + +type SerializableTask = { title :: String, status :: String } + +toSerializableTask :: Task -> SerializableTask +toSerializableTask t = t { status = show t.status } + +fromSerializableTask :: SerializableTask -> Task +fromSerializableTask t = t { status = unsafePartial $ fromJust $ readFilter t.status } + +-- Only add a task if it is not already on this list +addTask :: Tasks-> Task -> Tasks +addTask tasks { title: "", status: _ } = tasks +addTask tasks task = + if any (\t -> t.title == task.title) tasks + then tasks + else snoc tasks task + +execAddTask :: Ref.Ref Tasks -> Ref.Ref String -> Effect Unit +execAddTask tasks taskTitle = do + ts <- Ref.read tasks + title <- Ref.read taskTitle + let t = { title, status: Active } + let ts' = addTask ts t + Ref.write ts' tasks + updateTasksJs tasks + +updateTasksJs :: Ref.Ref Tasks -> Effect Unit +updateTasksJs tasks = do + win <- window + store <- localStorage win + tasks' <- Ref.read tasks + setItem "todos-pure-vue" (JSON.writeJSON $ toSerializableTask <$> tasks') store + +restoreTasks :: Effect Tasks +restoreTasks = do + win <- window + store <- localStorage win + i <- getItem "todos-pure-vue" store + case i of + Just items -> do + case JSON.readJSON items of + Right (st :: Array SerializableTask) -> pure $ fromSerializableTask <$> st + Left e -> do + log $ "error: " <> show e + pure [] + Nothing -> pure [] + +toggleAll :: Ref.Ref Tasks -> Effect Unit +toggleAll tasks = do + tasks' <- Ref.read tasks + if allCompleted tasks' + then Ref.modify_ (setStatus Active) tasks + else Ref.modify_ (setStatus Completed) tasks + updateTasksJs tasks + where + setStatus :: TaskStatus -> Tasks -> Tasks + setStatus status tasks' = map (\t -> t { status = status }) tasks' + + allCompleted :: Tasks -> Boolean + allCompleted tasks' = all (\task -> task.status == Completed) tasks' + +toggleTask :: Ref.Ref Tasks -> Task -> Effect Unit +toggleTask tasks task = do + Ref.modify_ (\ts -> toggleTask' ts task) tasks + updateTasksJs tasks + +toggleTask' :: Tasks -> Task -> Tasks +toggleTask' tasks' task = do + t <- tasks' + if t.title == task.title + then pure $ t { status = if t.status == Completed then Active else Completed } + else pure t + +removeTask :: Ref.Ref Tasks -> Task -> Effect Unit +removeTask tasks task = Ref.modify_ (filter (\t -> t.title /= task.title)) tasks + +tasksToJs :: Tasks -> Array { title :: String, status :: String } +tasksToJs tasks = map (\t -> t { status = show t.status }) tasks + +clearCompleted :: Ref.Ref Tasks -> Effect Unit +clearCompleted tasks = do + Ref.modify_ clearCompleted' tasks + updateTasksJs tasks + where clearCompleted' :: Tasks -> Tasks + clearCompleted' tasks' = filter (\t -> t.status /= Completed) tasks' + +filterTasks :: Ref.Ref Tasks -> Ref.Ref Filter -> Effect (Array { title :: String, status :: String }) +filterTasks tasks taskFilter = do + t <- Ref.read tasks + f <- Ref.read taskFilter + pure $ tasksToJs $ filterTasks' t f + +filterTasksLeft :: Ref.Ref Tasks -> Effect (Array { title :: String, status :: String }) +filterTasksLeft tasks = do + t <- Ref.read tasks + pure $ tasksToJs $ filterTasks' t $ Just Active + +filterTasks' :: Tasks -> Filter -> Tasks +filterTasks' tasks' Nothing = tasks' +filterTasks' tasks' (Just taskFilter') = filter (\t -> t.status == taskFilter') tasks' + +setFilter :: Ref.Ref Filter -> Filter -> Effect Unit +setFilter filter toFilter = do + win <- window + loc <- location win + setHash ("/" <> showFilter toFilter) loc + Ref.write toFilter filter + where showFilter :: Filter -> String + showFilter (Just Active) = "active" + showFilter (Just Completed) = "completed" + showFilter Nothing = "" + +initFilters :: Effect (Ref.Ref Filter) +initFilters = do + win <- window + loc <- location win + hsh <- hash loc + let filter = if startsWith "#/" hsh + then readFilter $ drop 2 hsh + else Nothing + taskFilter :: Ref.Ref Filter <- Ref.new filter + pure taskFilter + +setup :: forall a. Props -> Effect a +setup props = unsafePerformEffect do + taskTitle <- Ref.new "" + + tasksRestored <- restoreTasks + tasks :: Ref.Ref Tasks <- Ref.new tasksRestored + + taskFilter <- initFilters + + filteredTasks <- Ref.computed $ filterTasks tasks taskFilter + tasksLeft <- Ref.computed $ filterTasksLeft tasks + + Ref.vReturn { taskTitle + , addTask: execAddTask tasks taskTitle + , removeTask: removeTask tasks + , toggleTask: toggleTask tasks + , toggleAll: toggleAll tasks + , clearCompleted: clearCompleted tasks + , filter: taskFilter + , filteredTasks + , setFilter: setFilter taskFilter + , tasksLeft + , tasks + , filterIs: filterIs taskFilter + , fNothing: Nothing + , fActive: Just Active + , fCompleted: Just Completed + } + where + filterIs :: Ref.Ref Filter -> Filter -> Effect Boolean + filterIs fRef fa = do + fb <- Ref.read fRef + pure $ fa == fb \ No newline at end of file diff --git a/generator/templateExampleApp/src/views/Todo.vue b/generator/templateExampleApp/src/views/Todo.vue new file mode 100644 index 0000000..451f71b --- /dev/null +++ b/generator/templateExampleApp/src/views/Todo.vue @@ -0,0 +1,619 @@ + + + + + diff --git a/src/Props.purs b/src/Props.purs index 43964c4..bd9ef32 100644 --- a/src/Props.purs +++ b/src/Props.purs @@ -9,13 +9,13 @@ data PropType = Int String | Number String -- | Object String -toProp :: PropType -> String -toProp (Int s) = s -toProp (String s) = s -toProp (Number s) = s +instance showPropType :: Show PropType where + show (Int a) = show a + show (String a) = a + show (Number a) = show a toProps :: Array PropType -> Array String -toProps = map toProp +toProps = map show -- class Proppable a where