Safe Haskell	Safe-Inferred
Language	Haskell2010

PlutusCore.StdLib.Meta.Data.Function

Description

Meta-functions relating to functions.

Synopsis

constPartial :: TermLike term TyName Name uni fun => term () -> term ()
etaExpand :: TermLike term tyname Name uni fun => Type tyname uni () -> term () -> term ()

Documentation

constPartial :: TermLike term TyName Name uni fun => term () -> term () Source #

const as a PLC term.

constPartial t = /\(A :: *) -> \(x : A) -> t

etaExpand :: TermLike term tyname Name uni fun => Type tyname uni () -> term () -> term () Source #

Eta-expand a function at a given type. Note that this has to be a "meta" function for it not force the function it receives and instead directly hide it under a lambda.

etaExpand ty fun = \(x : ty) -> fun x