Pond v0.2.0 Pond.App

Pond Applicative.

In Pond, an Applicative is something that can take arguments and produce another value.

Link to this section Summary

Functions

Applies arguments into an applicative

Returns the number of arguments that an applicative can take

Creates a function from an applicative

Link to this section Types

Link to this section Functions

Link to this function apply(app, args)
apply(t(), list()) :: term()

Applies arguments into an applicative.

Link to this function arity(app)
arity(t()) :: non_neg_integer()

Returns the number of arguments that an applicative can take.

Link to this function to_fun(app)
to_fun(t()) :: (... -> any())

Creates a function from an applicative.