Safe Haskell | None |
---|
Documentation
data KindConstraint Source
KindConstraint Int Kind KindConstraintOrigin |
newtype KindSolution Source
KindSolution | |
|
Safe Haskell | None |
---|
data KindConstraint Source
KindConstraint Int Kind KindConstraintOrigin |
newtype KindSolution Source
KindSolution | |
|