-- | Some derivative constraints.
--
-- They are moved to separate module because they need to lie quite high in
-- modules dependencies graph (unlike "Lorentz.Constraints.Scopes").
module Lorentz.Constraints.Derivative
  ( NiceParameterFull
  ) where

import Lorentz.Constraints.Scopes
import Lorentz.EntryPoints.Core

-- | Constraint applied to a whole parameter type.
type NiceParameterFull cp = (NiceParameter cp, ParameterDeclaresEntryPoints cp)