epsanchezma/elixir-contracts

---

epsanchezma/elixir-contracts.json

{
  "createdAt": "2015-11-30T01:39:58Z",
  "defaultBranch": "master",
  "description": "Desing by Contracts for Elixir",
  "fullName": "epsanchezma/elixir-contracts",
  "homepage": null,
  "language": "Elixir",
  "name": "elixir-contracts",
  "pushedAt": "2016-09-07T17:12:55Z",
  "stargazersCount": 54,
  "topics": [],
  "updatedAt": "2025-03-21T14:39:25Z",
  "url": "https://github.com/epsanchezma/elixir-contracts"
}

Contracts

Design by Contract for Elixir

Usage

requires x > 0
ensures (result * result) <= x && (result+1) * (result+1) > x
def sqrt(x) do
  :math.sqrt(x)
end