2015-09-23.js

const { curry, anyPass, toPairs, map, flip, propSatisfies, apply, memoize } = require('ramda');
const strContains = curry((needle, haystack) => haystack.indexOf(needle) >= 0);

const objSpecToPreds = memoize((spec) =>
  map(apply(flip(propSatisfies)), toPairs(spec)))

const whereAny = curry((spec, obj) =>
  anyPass(objSpecToPreds(spec), obj)
);

const contract = whereAny({
  name: strContains('Alice'),
  email: strContains('gmail')
});

require('treis')(contract)({ name: 'Alice', email: 'foo@example.com' });
require('treis')(contract)({ name: 'bar', email: 'foo@example.com' });

λ1 a0: { name: 'Alice', email: 'foo@example.com' }
λ1 => true
λ2 a0: { name: 'bar', email: 'foo@example.com' }
λ2 => false