Giters

Boarders / algebraic-laws

A Haskell library defining a collection of algebraic laws

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

algebraic-laws library

This library defines a collection of property tests using Tasty.Quickcheck allowing one to test that a typeclass instance satisfies the laws associated with it.

About

A Haskell library defining a collection of algebraic laws

Languages

Language:Haskell 99.5%Language:Shell 0.5%