fp-ts-laws

fp-ts type class laws for property based testing

Usage no npm install needed!

<script type="module">
  import fpTsLaws from 'https://cdn.skypack.dev/fp-ts-laws';
</script>

README

fp-ts type class laws for property based testing

Usage of fast-check is required.

Example

import * as laws from 'fp-ts-laws'
import * as fc from 'fast-check'

import { Semigroup } from 'fp-ts/lib/Semigroup'
import { eqString } from 'fp-ts/lib/Eq'

describe('my semigroup instance', () => {
  it('should test Semigroup laws', () => {
    const semigroupSpace: Semigroup<string> = {
      concat: (x, y) => x + ' ' + y
    }
    laws.semigroup(semigroupSpace, eqString, fc.string())
  })
})

For other examples check out the tests