What is type-eq?
This package provides types and functions to store and manipulate evidence of equality between types. To take advantage of kind polymorphism when it is available but not require it, it is split into the following primary modules: Type.Eq: Types and functions which can be kind-polymorphic if PolyKinds are available, but are specific to kind * otherwise. Type.Eq.Higher: Kind-monomorphic types and functions of higher kind, up to * -> * -> *. Type.Eq.Poly: Combinators that require kind polymorphism. This module is only available if PolyKinds are available. Major required extensions: GADTs, TypeFamilies (for ~), Rank2Types, TypeOperators Optional extensions: PolyKinds (GHC 7.6+) Minimum GHC: 6.10 Related packages: http://hackage.haskell.org/package/type-equality http://hackage.haskell.org/package/eq http://hackage.haskell.org/package/ty http://hackage.haskell.org/package/dependent-sum http://hackage.haskell.org/package/categories (Data.Category.Discrete).
type-eq is a tool in the Build Automation category of a tech stack.
type-eq Pros & Cons
Pros of type-eq
No pros listed yet.
Cons of type-eq
No cons listed yet.
type-eq Alternatives & Comparisons
What are some alternatives to type-eq?
NuGet
A free and open-source package manager designed for the Microsoft development platform. It is also distributed as a Visual Studio extension.
RubyGems
It is a package manager for the Ruby programming language that provides a standard format for distributing Ruby programs and libraries, a tool designed to easily manage the installation of gems, and a server for distributing them.
Bower
Bower is a package manager for the web. It offers a generic, unopinionated solution to the problem of front-end package management, while exposing the package dependency model via an API that can be consumed by a more opinionated build stack. There are no system wide dependencies, no dependencies are shared between different apps, and the dependency tree is flat.
