Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- newtype WrappedLambda i o = WrappedLambda {
- unWrappedLambda :: i :-> o
- type Lambda i o = WrappedLambda '[i] '[o]
- mkLambda :: (IsNotInView => i :-> o) -> WrappedLambda i o
Documentation
newtype WrappedLambda i o Source #
A helper type to construct Lorentz lambda values; Use this for lambda
values outside of Lorentz contracts or with push
.
The primary reason this is a newtype and not a type synonym is to avoid
accidentally splicing the output of mkLambda
in-line.
WrappedLambda | |
|
Instances
type Lambda i o = WrappedLambda '[i] '[o] Source #
A type synonym representing Michelson lambdas.
mkLambda :: (IsNotInView => i :-> o) -> WrappedLambda i o Source #
A constructor providing the required constraint for WrappedLambda
. This is
the only way to construct a lambda that uses operations forbidden in views.