Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/sectore/program-imperatively-using-purescript
Program imperatively using PureScript, State monad and lenses
https://github.com/sectore/program-imperatively-using-purescript
lenses purescript
Last synced: 11 days ago
JSON representation
Program imperatively using PureScript, State monad and lenses
- Host: GitHub
- URL: https://github.com/sectore/program-imperatively-using-purescript
- Owner: sectore
- Created: 2017-01-29T18:56:52.000Z (almost 8 years ago)
- Default Branch: master
- Last Pushed: 2018-09-09T11:32:21.000Z (over 6 years ago)
- Last Synced: 2024-11-12T23:42:06.382Z (2 months ago)
- Topics: lenses, purescript
- Language: PureScript
- Homepage:
- Size: 68.4 KB
- Stars: 25
- Watchers: 4
- Forks: 2
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# Program imperatively with PureScript using `State` and `Lenses`
> I guess people really aren't joking when they say Haskell is the finest imperative language.
_Quote by Gabriel Gonzalez at his famous blog post ["Program imperatively using Haskell lenses"](http://www.haskellforall.com/2013/05/program-imperatively-using-haskell.html)_
:space_invader: :space_invader: :space_invader: **Let's have with PureScript an another _finest_ imperative language!** :space_invader: :space_invader: :space_invader:
That's why you will find here all code of [`Program imperatively using Haskell lenses`](http://www.haskellforall.com/2013/05/program-imperatively-using-haskell.html) (originally written by [@Gabriel439](https://github.com/Gabriel439)) ported to [PureScript](http://www.purescript.org/).
The fun part with `lenses` are supported by [`purescript-profunctor-lenses`](https://github.com/purescript-contrib/purescript-profunctor-lenses/)
Have fun :sunglasses:
## How to ...?
### Read the code
To understand all code start to read the [original Haskell tutorial](http://www.haskellforall.com/2013/05/program-imperatively-using-haskell.html). Compare the [original Haskell examples](http://www.haskellforall.com/2013/05/program-imperatively-using-haskell.html) with the following PureScript files:
* [Game.purs](./src/Game.purs) (state manipulation w/ lenses)
* [Lenses.purs](./src/Lenses.purs) (lenses generated by [`purescript-derive-lenses`](https://github.com/paf31/purescript-derive-lenses))
* [Data.purs](./src/Data.purs) (all types)
* [Main.purs](./src/Main.purs) (output of all results to console)
### Run
```bash
npm install
npm start
```
### Output
```bash
##################
Getter / Setter
##################
# get score
0
# set score
(Game { boss: (GameUnit { health: 100, position: (GamePoint { x: 0.0, y: 0.0 }) }), score: 10000, units: [(GameUnit { health: 10, position: (GamePoint { x: 3.5, y: 7.0 }) }),(GameUnit { health: 15, position: (GamePoint { x: 1.0, y: 1.0 }) }),(GameUnit { health: 8, position: (GamePoint { x: 0.0, y: 2.1 }) })] })
# update score
(Game { boss: (GameUnit { health: 100, position: (GamePoint { x: 0.0, y: 0.0 }) }), score: 222, units: [(GameUnit { health: 10, position: (GamePoint { x: 3.5, y: 7.0 }) }),(GameUnit { health: 15, position: (GamePoint { x: 1.0, y: 1.0 }) }),(GameUnit { health: 8, position: (GamePoint { x: 0.0, y: 2.1 }) })] })
##################
Composition
##################
# strike
*shink*
(Game { boss: (GameUnit { health: 133, position: (GamePoint { x: 0.0, y: 0.0 }) }), score: 0, units: [(GameUnit { health: 10, position: (GamePoint { x: 3.5, y: 7.0 }) }),(GameUnit { health: 15, position: (GamePoint { x: 1.0, y: 1.0 }) }),(GameUnit { health: 8, position: (GamePoint { x: 0.0, y: 2.1 }) })] })
# strike'
*shink*
(Game { boss: (GameUnit { health: 133, position: (GamePoint { x: 0.0, y: 0.0 }) }), score: 0, units: [(GameUnit { health: 10, position: (GamePoint { x: 3.5, y: 7.0 }) }),(GameUnit { health: 15, position: (GamePoint { x: 1.0, y: 1.0 }) }),(GameUnit { health: 8, position: (GamePoint { x: 0.0, y: 2.1 }) })] })
##################
Traversal
##################
# fireBreath
*srawr*
(Game { boss: (GameUnit { health: 100, position: (GamePoint { x: 0.0, y: 0.0 }) }), score: 0, units: [(GameUnit { health: 7, position: (GamePoint { x: 3.5, y: 7.0 }) }),(GameUnit { health: 12, position: (GamePoint { x: 1.0, y: 1.0 }) }),(GameUnit { health: 5, position: (GamePoint { x: 0.0, y: 2.1 }) })] })
# fireBreath'
*srawr*
(Game { boss: (GameUnit { health: 100, position: (GamePoint { x: 0.0, y: 0.0 }) }), score: 0, units: [(GameUnit { health: 10, position: (GamePoint { x: 3.5, y: 7.0 }) }),(GameUnit { health: 12, position: (GamePoint { x: 1.0, y: 1.0 }) }),(GameUnit { health: 5, position: (GamePoint { x: 0.0, y: 2.1 }) })] })
##################
Zooming
##################
# partyLoc
((GamePoint { x: 3.5, y: 7.0 }) : (GamePoint { x: 1.0, y: 1.0 }) : (GamePoint { x: 0.0, y: 2.1 }) : Nil)
# retreat
Retreat!
(Game { boss: (GameUnit { health: 100, position: (GamePoint { x: 0.0, y: 0.0 }) }), score: 0, units: [(GameUnit { health: 10, position: (GamePoint { x: 3.5, y: 17.0 }) }),(GameUnit { health: 15, position: (GamePoint { x: 1.0, y: 11.0 }) }),(GameUnit { health: 8, position: (GamePoint { x: 0.0, y: 12.1 }) })] })
# retreat newstate
Retreat!
((GamePoint { x: 3.5, y: 17.0 }) : (GamePoint { x: 1.0, y: 11.0 }) : (GamePoint { x: 0.0, y: 12.1 }) : Nil)
Retreat!
((GamePoint { x: 3.5, y: 17.0 }) : (GamePoint { x: 1.0, y: 11.0 }) : (GamePoint { x: 0.0, y: 12.1 }) : Nil)
##################
Combining
##################
# battle
Take that!
*shink*
and that!
*shink*
and that!
*shink*
*srawr*
Retreat!
Retreat!
Retreat!
(Game { boss: (GameUnit { health: 199, position: (GamePoint { x: 0.0, y: 0.0 }) }), score: 0, units: [(GameUnit { health: 10, position: (GamePoint { x: 3.5, y: 67.0 }) }),(GameUnit { health: 12, position: (GamePoint { x: 1.0, y: 61.0 }) }),(GameUnit { health: 5, position: (GamePoint { x: 0.0, y: 62.1 }) })] })
```