lorentz-0.9.1: EDSL for the Michelson Language
Safe HaskellNone
LanguageHaskell2010

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

Documentation

type NiceParameterFull cp = (Typeable cp, ParameterDeclaresEntrypoints cp) Source #

Constraint applied to a whole parameter type.