homepage: ''
changelog-type: ''
hash: 17b8b75d9f17b3ec30da6929da144ed5ff7c9da21970495ecfc9e6f9d44fbabe
test-bench-deps: {}
maintainer: ggreif+tyfam@gmail.com
synopsis: Provide proof witnesses for closed type family evaluation
changelog: ''
basic-deps:
  base: ! '>=4.10 && <4.11'
  containers: ! '>=0.5'
  template-haskell: ! '>=2.12 && <2.13'
all-versions:
- '0.0'
author: Gabor Greif
latest: '0.0'
description-type: haddock
description: ! 'Template Haskell routine for generating

  - GADT capturing the equalities of each type family clause

  - a function that analyses TypeReps and reify the matching clause'
license-name: MIT

Update from Hackage at 2017-10-08T13:54:00Z
Update from Hackage at 2017-10-08T13:54:00Z
