homepage: https://github.com/isovector/type-errors#readme
changelog-type: markdown
hash: ceec9156f366b061d3dbda37230ef5ddc176e28dbf029b72cab5934a5b65e669
test-bench-deps:
  first-class-families: ! '>=0.5.0.0'
  base: ! '>=4.7 && <5'
  doctest: ! '>=0.16.0.1 && <0.17'
  type-errors: -any
maintainer: sandy@sandymaguire.me
synopsis: Tools for writing better type errors
changelog: |
  # Changelog for type-errors

  ## Unreleased changes
basic-deps:
  first-class-families: ! '>=0.5.0.0'
  base: ! '>=4.7 && <5'
all-versions:
- 0.1.0.0
author: Sandy Maguire
latest: 0.1.0.0
description-type: markdown
description: |+
  # type-errors

  [![Build Status](https://api.travis-ci.org/isovector/type-errors.svg?branch=master)](https://travis-ci.org/isovector/type-errors)
  [![Hackage](https://img.shields.io/hackage/v/type-errors.svg?logo=haskell&label=type-errors)](https://hackage.haskell.org/package/type-errors)

  ## Dedication

  > View the gradients of adversity as the colors that paint your story, and the
  > power of experience as what makes you a great teacher, creator, philosopher,
  > entrepreneur, artist, and human. Everything works out eventually.
  >
  > Jennifer Sodini


  ## Overview

  `type-errors` is a collection of tools for writing better, more ergonomic, type
  errors. Some of the more interesting features are the ability to observe
  stuckedness and phantomness, as well as perform substitutions over types.

  For more information, check out the [haddock
  documentation](https://hackage.haskell.org/package/type-errors/docs/Type-Errors.html).


  ## Acknowledgments

  This project wouldn't be possible without the help of two amazing people:

  * [ksongor](https://kcsongor.github.io/) who came up with the original
    technology behind this library.
  * [Lysxia](https://blog.poisson.chat/) for articulating the approach to making
    `IfStuck` work for things of all kinds, and for helping me with the
    substitution machinery.

license-name: BSD-3-Clause

Update from Hackage at 2019-07-01T06:08:56Z
Update from Hackage at 2019-07-01T06:08:56Z
