Lorentz.Lambda

Documentation

newtype WrappedLambda i o

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.

Constructors

WrappedLambda

Fields

• unWrappedLambda :: i :-> o

Instances

Show (WrappedLambda i o)

Defined in Lorentz.Lambda

Methods

showsPrec :: Int -> WrappedLambda i o -> ShowS

show :: WrappedLambda i o -> String

showList :: [WrappedLambda i o] -> ShowS

Eq (WrappedLambda i o)

Defined in Lorentz.Lambda

Methods

(==) :: WrappedLambda i o -> WrappedLambda i o -> Bool

(/=) :: WrappedLambda i o -> WrappedLambda i o -> Bool

HasAnnotation (i :-> o) => HasAnnotation (WrappedLambda i o)

Defined in Lorentz.Lambda

Methods

getAnnotation :: FollowEntrypointFlag -> Notes (ToT (WrappedLambda i o))

annOptions :: AnnOptions

HasRPCRepr (i :-> o) => HasRPCRepr (WrappedLambda i o)

Defined in Lorentz.Lambda

Associated Types

type AsRPC (WrappedLambda i o)

Each '[Typeable :: [Type] -> Constraint, ReifyList TypeHasDoc] '[i, o] => TypeHasDoc (WrappedLambda i o)

Defined in Lorentz.Doc

Associated Types

type TypeDocFieldDescriptions (WrappedLambda i o) :: FieldDescriptions

Methods

typeDocName :: Proxy (WrappedLambda i o) -> Text

typeDocMdDescription :: Markdown

typeDocMdReference :: Proxy (WrappedLambda i o) -> WithinParens -> Markdown

typeDocDependencies :: Proxy (WrappedLambda i o) -> [SomeDocDefinitionItem]

typeDocHaskellRep :: TypeDocHaskellRep (WrappedLambda i o)

typeDocMichelsonRep :: TypeDocMichelsonRep (WrappedLambda i o)

IsoValue (a :-> b) => IsoValue (WrappedLambda a b)

Defined in Lorentz.Lambda

Associated Types

type ToT (WrappedLambda a b) :: T

Methods

toVal :: WrappedLambda a b -> Value (ToT (WrappedLambda a b))

fromVal :: Value (ToT (WrappedLambda a b)) -> WrappedLambda a b

type AsRPC (WrappedLambda i o)

Defined in Lorentz.Lambda

type AsRPC (WrappedLambda i o) = AsRPC (i :-> o)

type TypeDocFieldDescriptions (WrappedLambda i o)

Defined in Lorentz.Doc

type TypeDocFieldDescriptions (WrappedLambda i o) = '[] :: [(Symbol, (Maybe Symbol, [(Symbol, Symbol)]))]

type ToT (WrappedLambda a b)

Defined in Lorentz.Lambda

type ToT (WrappedLambda a b) = ToT (a :-> b)

type Lambda i o = WrappedLambda '[i] '[o]

A type synonym representing Michelson lambdas.

mkLambda :: (IsNotInView => i :-> o) -> WrappedLambda i o

A constructor providing the required constraint for WrappedLambda. This is the only way to construct a lambda that uses operations forbidden in views.