Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Functions for inferring (and simplifying) the context for derived instances.
Documentation
inferConstraints :: DerivSpecMechanism -> DerivM (ThetaSpec, [TyVar], [TcType], DerivSpecMechanism) Source #
Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Functions for inferring (and simplifying) the context for derived instances.
inferConstraints :: DerivSpecMechanism -> DerivM (ThetaSpec, [TyVar], [TcType], DerivSpecMechanism) Source #