Partial

Usage

import from Partial T

Parameter	Type	Description
T	Type	a type

Description

Partial(T) implements a union of T and failed.

Exports

[]:	T $\to$ %	create an element
failed:	%	the element failed
failed?:	% $\to$ Boolean	check for the element failed
retract:	% $\to$ T	convert to an element of T

if $T$ has PrimitiveType then

PrimitiveType

if $T$ has HashType then

HashType

if $T$ has InputType then

InputType

if $T$ has OutputType then

OutputType

if $T$ has SerializableType then

SerializableType