https://github.com/vmchale/composition
Composition extras for Idris
https://github.com/vmchale/composition
Last synced: 11 months ago
JSON representation
Composition extras for Idris
- Host: GitHub
- URL: https://github.com/vmchale/composition
- Owner: vmchale
- License: bsd-3-clause
- Created: 2017-07-14T06:24:11.000Z (over 8 years ago)
- Default Branch: master
- Last Pushed: 2017-11-11T23:44:40.000Z (about 8 years ago)
- Last Synced: 2025-01-08T12:08:11.024Z (about 1 year ago)
- Language: Idris
- Size: 77.1 KB
- Stars: 3
- Watchers: 3
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# composition
This provides a `Data.Composition` module, much like the Haskell
[composition](https://hackage.haskell.org/package/composition-1.0.2.1) package
or the
[composition-extra](https://hackage.haskell.org/package/composition-extra)
package. As of now, it's just a thin wrapper around
[hezarfen](https://github.com/joom/hezarfen) with names I like.
## Installation
First, install hezarfen. Then, in the cloned directory:
```
idris --install composition.ipkg
```
## Use
As an example, you could replace
```
f = \x, y => 2 * y + x
```
with
```
f = (*2) .* +
```
## Documentation
You can find documentation
[here](https://vmchale.github.io/composition/index.html).