Fuzion • Library Modules • tokiwa • container • Types

container.Types

ref

[Contains abstract features]

[Module base]

Types -- sequence of `Type` that may be processed without being boxed

This inherits from `Sequence Type` for convenience of all the
infrastructure provided by `Sequence`. Nevertheless, the
preferred use is via calls to `Types.type_foldf` only since
these calls do not require boxing of the types and permit
code specialization of the actual types.

This is a parent of `Open_Types`, which itself is the parent of
the types generated for calls to open type parameters.

Functions

execute

(env_vars option (container.Map String String), feed_stdin option io.path, timeout option time.duration)

outcome tokiwa.process_result

[Inherited from Sequence]

[src]

execute this Sequence of process+args

0.099dev (GIT hash 250922c42fb1dcef5ce7ce89820538f53498ca37)

last changed: 2026-08-14