@pokemonads/adts
v0.0.19
Published
Pokemonads is a collection of common algebraic data types which are compatible with [Fantasy Land](https://github.com/fantasyland/fantasy-land/)
Downloads
17
Readme
Pokemonads/adts
Pokemonads is a collection of common algebraic data types which are compatible with Fantasy Land
documentation coming up soon :)
Visit our github page for more information.
Installation
npm i -s @pokemonads/adts
// or
yarn add @pokemonads/adts
Implements
Maybe
The Maybe type is the most common way of representing nothingness (or the null type) with making the possibilities of NullPointer issues disappear.
Maybe is effectively abstract and has two concrete subtypes: Some (also Just) and None (also Nothing).
Example
import { Maybe } from '@pokemonads/adts'
import { compose, map } from '@pokemonads/combinators'
import { prop, inc } from 'ramda'
const a = { x: 10 }
const b = { z: 'no x here' }
const addToObject = compose(
map(inc),
map(prop('x')),
Maybe.of
)
console.log(addToObject(a)) // Just(11)
console.log(addToObject(b)) // Nothing()
Either
Either (or the disjunct union) is a type that can either hold a value of type A or a value of type B but never at the same time. Typically it is used to represent computations that can fail with an error. Think of it as a better way to handle exceptions. We think of an Either as having two sides, the success is held on the right and the failure on the left. This is a right biased either which means that map and chain (flatMap) will operate on the right side of the either.
import { Either } from '@pokemonads/adts'
import { compose, map } from '@pokemonads/combinators'
import { prop, has, inc } from 'ramda'
const getAndAdd = compose(
map(inc),
map(prop('x')),
ifElse(has('x'), Either.Right, Either.Left)
)
console.log(getAndAdd({ x: 10 })) // Right({ x: 11 })
console.log(getAndAdd({ y: 10 })) // Left({ y: 10 })
IO
The IO monad is for isolating effects to maintain referential transparency in your software. Essentially you create a description of your effects of which is performed as the last action in your programme. The IO is lazy and will not be evaluated until the perform (alias run) method is called.
import { IO } from '@pokemonads/adts'
import { composeK } from '@pokemonads/combinators'
const callToServer = x => {
console.log('Sent to server' + x)
}
const makeChangesToDOM = x => {
console.log('DOM changed to' + x)
}
const impure1 = x =>
IO.of(_ => {
callToServer(x) // side effect
return x
})
const impure2 = x =>
IO.of(_ => {
makeChangesToDOM(x) // side effect
return x
})
const impureComputation = composeK(
impure2,
impure1
)
const c = impureComputation(10)
console.log(c.run())
Future
Future offers a control structure similar to Promises, Tasks, Deferreds, and what-have-you.
Much like Promises, Futures represent the value arising from the success or failure of an asynchronous operation (I/O). Though unlike Promises, Futures are lazy and adhere to the monadic interface.
import { Future } from '@pokemonads/adts'
import { compose, map } from '@pokemonads/combinators'
import { prop, inc } from 'ramda'
const apiCall = x =>
Future((_, resolve) => {
setTimeout(_ => resolve({ a: x }), 500)
})
const asyncComp = compose(
map(inc),
map(prop('a')),
apiCall
)
const cancel = asyncComp(10).value(console.log)
Pair
Pair allows the ability to represent two distinct values of different types.
As Pair is a Bifunctor, it can vary in each of the two types it represents. When used as a normal Functor, Pair will always have a bias for the far right or second value,
import { Pair } from '@pokemonads/adts'
const a = Pair(10, 11)
console.log(a.fst(), a.snd())
State
State is an Algebraic Data Type that abstracts away the associated state management that comes with stateful computations.State is parameterized by two types, a state S and a resultant A. The resultant portion may vary it's type, but the state portion must be fixed to a type that is used by all related stateful computations.
import { State } from '@pokemonads/adts'
const comp1 = x => x + ' Comp1'
const comp2 = x => x + ' Comp2'
const sa = compose(
map(comp2),
map(comp1),
State.of
)
console.log(sa('Yo').eval())
Reader
The Reader monad is a wonderful solution to inject dependencies into your functions.
The Reader monad provides a way to "weave" your configuration throughout your programme.
import { Reader } from '@pokemonads/adts'
import { compose, map, chain } from '@pokemonads/combinators'
import { prop, inc } from 'ramda'
const getConfig = x => map(config => config + ' ' + x, Reader.ask)
const ra = compose(
chain(getConfig),
map(inc),
map(prop('x')),
Reader.of
)
const res = ra({ x: 10 }).run('This is config') // added config
console.log(res) // This is config 11
Do notation (function)
Do notation provides easy way to glue together multiple monadic values in sequence.
Though do notation can be used for synchronous Futures like Future.of(100)
, in order to use async Futures pokemonads provide AsyncDO
import { Do } from '@pokemonads/adts'
// Lets take some example that we defined above
// without Do
getAndAdd({ x: 10 }).chain(a =>
addToObject({ x: 20 }).chain(b =>
impure1(10).chain(
c => console.log(a + b + c) // 42
)
)
)
// without Do
const da = Do(function*() {
const a = yield getAndAdd({ x: 10 }) // Either
const b = yield addToObject({ x: 20 }) // Maybe
const c = yield impure1(10) // IO
yield a + b + c
})
console.log(da) // 42
AsyncDo notation (function)
Async do notation allows you to use async effects in sequence. Its called co-routine in promise land.
import { AsyncDo } from '@pokemonads/adts'
// without Do
const ada = AsyncDo(function*() {
const a = yield asyncComp(20) // Future
const b = yield asyncComp(20) // Future
const c = yield asyncComp(20) // Future
return a + b
})
console.log(da) // 42