homepage: https://github.com/s9gf4ult/type-fun
changelog-type: markdown
hash: c1d80758607192a27140fc2c5ed6877fd3a12793ce30735a829f17171e7a7d49
test-bench-deps:
  base: -any
  type-fun: -any
maintainer: s9gf4ult@gmail.com
synopsis: Collection of widely reimplemented type families
changelog: ! "# TODO\n* Add doctests\n* Add TyFun from singletons (or just depend
  from)?\n\n# CHANGELOG\n\n## 0.1.1\n### Fixed\n* Compilable with ghc-8.0.1\n\n##
  0.1.0\n### Added\n* Type family `Substract` to remove elements of one list from
  another\n* Unsafe helper functions to relax constraints in some safe points. But
  we use\n  `unsafeCoerce` so this functions are potentially just break constants\n###
  Changed\n* Compilable under ghc-7.8\n\n## 0.0.1\nFirst version\n"
basic-deps:
  base: ! '>=4.7 && <5'
all-versions:
- 0.0.1
- 0.1.0
- 0.1.1
author: Aleksey Uimanov
latest: 0.1.1
description-type: haddock
description: ''
license-name: BSD-3-Clause

homepage: https://github.com/s9gf4ult/type-fun
changelog-type: markdown
hash: c08422f9f9b326778d43063bc4dd3069cec336e15082b274953f3800d766b147
test-bench-deps:
  base: -any
  type-fun: -any
maintainer: s9gf4ult@gmail.com
synopsis: Collection of widely reimplemented type families
changelog: |
  # TODO
  * Add doctests
  * Add TyFun from singletons (or just depend from)?

  # CHANGELOG

  ## 0.1.2
  ### Added KnownPeano

  ## 0.1.1
  ### Fixed
  * Compilable with ghc-8.0.1

  ## 0.1.0
  ### Added
  * Type family `Substract` to remove elements of one list from another
  * Unsafe helper functions to relax constraints in some safe points. But we use
    `unsafeCoerce` so this functions are potentially just break constants
  ### Changed
  * Compilable under ghc-7.8

  ## 0.0.1
  First version
basic-deps:
  base: '>=4.7 && <5'
all-versions:
- 0.0.1
- 0.1.0
- 0.1.1
- 0.1.2
author: Aleksey Uimanov
latest: 0.1.2
description-type: haddock
description: ''
license-name: BSD-3-Clause

Update from Hackage at 2020-10-11T17:13:49Z
Update from Hackage at 2020-10-11T17:13:49Z
