homepage: ''
changelog-type: ''
hash: dcbc08b0c57312ba124420b8c2379e8bb8568dfc0e09eedbb4088fbe11436543
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'
- '0.0.0.1'
author: Gabor Greif
latest: '0.0.0.1'
description-type: haddock
description: ! 'Template Haskell routine for generating form type family @Foo@


  [@FooRefl@]: a GADT capturing the equalities of each type family clause

  [@reify_Foo@]: a function that analyses @TypeRep@s and reifies the matching clause
  as a @FooRefl@


  Note that @Type.Reflection@ is new with GHC v8.2!'
license-name: MIT

homepage: ''
changelog-type: ''
hash: 0668b13aee6607458954a99b991856ca6834a26826e039e547e9fb5b11e6db3e
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'
- '0.0.0.1'
- '0.1'
author: Gabor Greif
latest: '0.1'
description-type: haddock
description: ! 'Template Haskell routine for generating from type family ''Foo''


  [@FooRefl@]: a GADT capturing the equalities of each type family clause

  [@reify_Foo@]: a function that analyses ''TypeRep''s and reifies the matching clause
  as a ''FooRefl''


  Note that ''Type.Reflection'' is new with GHC v8.2!'
license-name: MIT

Update from Hackage at 2017-10-12T08:27:05Z
Update from Hackage at 2017-10-12T08:27:05Z
