| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Test.TypeSpec.Internal.Equality
Description
Type Equality
- type family PolyKindEq (a :: ak) (b :: bk) :: Bool where ...
Documentation
type family PolyKindEq (a :: ak) (b :: bk) :: Bool where ... Source #
Operator 'Data.Equality.(==)' expects both arguments to have the same kind.
Equations
| PolyKindEq a a = True | |
| PolyKindEq a b = False |