ghc-type-equality
Data.Type.Equality compat package
This library defines a propositional equality data type, shims 'Data.Type.Equality' as well as possible for older GHCs (<7.8). ' data a :~: b where Refl :: a :~: a ' The module 'Data.Type.Equality.Hetero' shims ':~~:' equality, for compilers with 'PolyKinds'.
BSD-3-Clausecloud_download Downloads
To download packages, you need to log in and have a valid subscription.
Please select a product to see the available package versions:
Loading...
Loading package downloads...