| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Lorentz.Constraints.Derivative
Description
Some derivative constraints.
They are moved to separate module because they need to lie quite high in modules dependencies graph (unlike Lorentz.Constraints.Scopes).
Synopsis
- type NiceParameterFull cp = (Typeable cp, ParameterDeclaresEntrypoints cp)
Documentation
type NiceParameterFull cp = (Typeable cp, ParameterDeclaresEntrypoints cp) Source #
Constraint applied to a whole parameter type.