Moduleplutus-core-1.70.0.0

PlutusCore.StdLib.Data.Function

Synopsis

valueapplyFun :: TermLike term TyName Name uni fun => term ()

valueconst :: TermLike term TyName Name uni fun => term ()

valuefix :: TermLike term TyName Name uni fun => term ()

valuefixAndType :: TermLike term TyName Name uni fun => (term (), Type TyName uni ())

valuefixBy :: TermLike term TyName Name uni fun => term ()

valuefixByAndType :: TermLike term TyName Name uni fun => (term (), Type TyName uni ())

valuefixN :: TermLike term TyName Name uni fun => Integer -> term () -> term ()

valuefixNAndType

valuegetMutualFixOf

valuegetSingleFixOf

valueidFun :: TermLike term TyName Name uni fun => term ()

valueselfData :: RecursiveType uni fun ()

valueunroll :: TermLike term TyName Name uni fun => term ()

datadata FunctionDef (term :: Type -> Type) tyname name (uni :: Type -> Type) (fun :: k) ann