Top

Maybe-indname-result

Maybe-indname-result-some

An available maybe-indname-result, i.e., Just val or Some val.

This is a product type, introduced by fty::defoption in support of maybe-indname-result.

Fields

fty::val — indname-result

Subtopics

Maybe-indname-result-some->val: Get the fty::val field from a maybe-indname-result-some.
Make-maybe-indname-result-some: Basic constructor macro for maybe-indname-result-some structures.
Change-maybe-indname-result-some: Modifying constructor for maybe-indname-result-some structures.