Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Constrained.TypeErrors
Documentation
type AssertComputes ty em = Computes ty (TE em) Source #
Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Constrained.TypeErrors
type AssertComputes ty em = Computes ty (TE em) Source #