Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- data WrappedLambda i o
- = WrappedLambda (i :-> o)
- | RecLambda ((i ++ '[WrappedLambda i o]) :-> o)
- type Lambda i o = WrappedLambda '[i] '[o]
- mkLambda :: (IsNotInView => i :-> o) -> WrappedLambda i o
- mkLambdaRec :: (IsNotInView => (i ++ '[WrappedLambda i o]) :-> o) -> WrappedLambda i o
Documentation
data WrappedLambda i o Source #
A helper type to construct Lorentz lambda values; Use this for lambda
values outside of Lorentz contracts or with push
.
WrappedLambda (i :-> o) | |
RecLambda ((i ++ '[WrappedLambda i o]) :-> o) |
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.
mkLambdaRec :: (IsNotInView => (i ++ '[WrappedLambda i o]) :-> 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.