Safe Haskell | None |
---|---|
Language | Haskell2010 |
Topaz.Types
Documentation
data Rec :: (k -> Type) -> [k] -> Type where Source #
Instances
class TestEqualityHetero h where Source #
Minimal complete definition
quantification-0.5.0: Rage against the quantification
Safe Haskell | None |
---|---|
Language | Haskell2010 |
Topaz.Types
data Rec :: (k -> Type) -> [k] -> Type where Source #
class TestEqualityHetero h where Source #
Minimal complete definition