≡ ▶ Infestines ·

This is a minimalistic library of basic utilities, such as currying, for writing more interesting high performance FP libraries. This library is not intended to be used for application programming. Primitives that are too specialized to be used as a basis for nearly optimal implementations of higher level operations are not provided.

≡ ▶ Contents

• Reference
  • Currying
    • I.arityN(n, (x1, ..., xm) => y) ~> x1 => ... => xn => y
    • I.curry((x1, ..., xn) => y) ~> x1 => ... => xn => y
    • I.curryN(n, (x1, ..., xn) => y) ~> x1 => ... => xn => y
  • Function composition
    • I.compose2(b => c, (a1, ..., aN) => b) ~> a1 => ... aN => c
    • I.pipe2((a1, ..., an) => b, b => c) ~> a1 => ... aN => c
  • Sequencing
    • I.seq(value, ...fns) ~> value
    • I.seqPartial(maybeValue, ...fns) ~> maybeValue
  • Basic combinators
    • I.always(x, _) ~> x
    • I.apply(x => y, x) ~> y
    • I.id(x) ~> x
    • I.snd(_, x) ~> x
  • Constants
    • I.array0 ~> []
    • I.object0 ~> {}
  • Type predicates
    • I.isArray(any) ~> boolean
    • I.isDefined(any) ~> boolean
    • I.isFunction(any) ~> boolean
    • I.isInstanceOf(Type, any) ~> boolean
    • I.isNumber(any) ~> boolean
    • I.isObject(any) ~> boolean
    • I.isString(any) ~> boolean
    • I.isThenable(any) ~> boolean
  • Equality
    • I.acyclicEquals(any, any) ~> boolean
    • I.hasKeysOf(template, object)
    • I.identical(any, any) ~> boolean
    • I.whereEq(template, object)
  • Objects
    • I.assocPartial(key, value, object) ~> object
    • I.dissocPartial(key, object) ~> object|undefined
    • I.has(propName, object) ~> boolean
    • I.keys(object) ~> [...keys]
    • I.toObject(object) ~> object
    • I.unzipObjInto(object, keys, values)
    • I.values(object) ~> [...values]
  • OOP
    • I.inherit(Derived, Base, Methods, Statics) ~> Derived
  • Meta
    • I.constructorOf(any) ~> Function|null|undefined
    • I.create(proto[, properties]) ~> object
    • I.freeze(any) ~> any
    • I.defineName(function, string) ~> function
    • I.prototypeOf(any) ~> object|null|undefined
  • Imperative
    • I.assign(to, ...from) ~> to
  • Promises
    • I.resolve(any) ~> promise
  • Algebras
    • Algebra constructors
      • I.Functor(map) ~> functor
      • I.Applicative(map, of, ap) ~> applicative
      • I.Monad(map, of, ap, chain) ~> monad
    • Fantasy land
      • I.FantasyFunctor ~> functor
      • I.fromFantasyApplictive(Type) ~> applicative
      • I.fromFantasyMonad(Type) ~> monad
      • I.fromFantasy(Type) ~> functor|applicative|monad
    • Base algebras
      • I.Async ~> monadish
      • I.Identity ~> monad
      • I.IdentityAsync ~> monadish
    • Algebra combinators
      • I.IdentityOr(predicate, applicative|monad) ~> applicative|monad

≡ ▶ Reference

≡ ▶ Currying

≡ ▶ I.arityN(n, (x1, ..., xm) => y) ~> x1 => ... => xn => y

≡ ▶ I.curry((x1, ..., xn) => y) ~> x1 => ... => xn => y

≡ ▶ I.curryN(n, (x1, ..., xn) => y) ~> x1 => ... => xn => y

I.curryN(2, x => {
  const x2 = x*x
  return y => x2 + y
})(2, 3)
// 7

≡ ▶ Function composition

≡ ▶ I.compose2(b => c, (a1, ..., aN) => b) ~> a1 => ... aN => c

≡ ▶ I.pipe2((a1, ..., an) => b, b => c) ~> a1 => ... aN => c

≡ ▶ Sequencing

≡ ▶ I.seq(value, ...fns) ~> value

≡ ▶ I.seqPartial(maybeValue, ...fns) ~> maybeValue

≡ ▶ Basic combinators

≡ ▶ I.always(x, _) ~> x

≡ ▶ I.apply(x => y, x) ~> y

≡ ▶ I.id(x) ~> x

≡ ▶ I.snd(_, x) ~> x

≡ ▶ Constants

≡ ▶ I.array0 ~> []

I.array0 is an empty frozen array [].

≡ ▶ I.object0 ~> {}

I.object0 is an empty frozen object {}.

≡ ▶ Type predicates

≡ ▶ I.isArray(any) ~> boolean

≡ ▶ I.isDefined(any) ~> boolean

≡ ▶ I.isFunction(any) ~> boolean

≡ ▶ I.isInstanceOf(Type, any) ~> boolean

≡ ▶ I.isNumber(any) ~> boolean

≡ ▶ I.isObject(any) ~> boolean

≡ ▶ I.isString(any) ~> boolean

≡ ▶ I.isThenable(any) ~> boolean

≡ ▶ Equality

≡ ▶ I.acyclicEquals(any, any) ~> boolean

≡ ▶ I.hasKeysOf(template, object)

≡ ▶ I.identical(any, any) ~> boolean

≡ ▶ I.whereEq(template, object)

≡ ▶ Objects

≡ ▶ I.assocPartial(key, value, object) ~> object

≡ ▶ I.dissocPartial(key, object) ~> object|undefined

≡ ▶ I.has(propName, object) ~> boolean

≡ ▶ I.keys(object) ~> [...keys]

≡ ▶ I.toObject(object) ~> object

≡ ▶ I.unzipObjInto(object, keys, values)

≡ ▶ I.values(object) ~> [...values]

≡ ▶ OOP

≡ ▶ I.inherit(Derived, Base, Methods, Statics) ~> Derived

≡ ▶ Meta

≡ ▶ I.constructorOf(any) ~> Function|null|undefined

≡ ▶ I.create(proto[, properties]) ~> object

≡ ▶ I.freeze(any) ~> any

≡ ▶ I.defineName(function, string) ~> function

≡ ▶ I.prototypeOf(any) ~> object|null|undefined

≡ ▶ Imperative

≡ ▶ I.assign(to, ...from) ~> to

≡ ▶ Promises

≡ ▶ I.resolve(any) ~> promise

≡ ▶ Algebras

≡ ▶ Algebra constructors

≡ ▶ I.Functor(map) ~> functor

≡ ▶ I.Applicative(map, of, ap) ~> applicative

≡ ▶ I.Monad(map, of, ap, chain) ~> monad

≡ ▶ Fantasy land

≡ ▶ I.FantasyFunctor ~> functor

≡ ▶ I.fromFantasyApplictive(Type) ~> applicative

≡ ▶ I.fromFantasyMonad(Type) ~> monad

≡ ▶ I.fromFantasy(Type) ~> functor|applicative|monad

≡ ▶ Base algebras

≡ ▶ I.Async ~> monadish

≡ ▶ I.Identity ~> monad

≡ ▶ I.IdentityAsync ~> monadish

≡ ▶ Algebra combinators

≡ ▶ I.IdentityOr(predicate, applicative|monad) ~> applicative|monad