@just-func/types

@just-func/types

Type System of just-func.

• JustEmpty: A empty value.
• JustUno: A single value.
• JustDuo: A value with meta.
• JustValue: Infer type of JustEmpty, JustUno, and JustDuo.
• justValue(): helper to define JustValue.
• JustResult: Return value of a function compliant with just-func.
• JustFunction: Functions that compliant with just-func
• justFunction(): helper to define JustFunction.

Type guards

• isJustEmpty()
• isJustUno()
• isJustDuo()
• isJustValue()

Metadata

Metadata is a first-class concept in just-func. A compliant just-func function can accept a JustMeta value as its second parameter.

The parameter is read only and can never be modified by the calling function.

• JustMeta: The basic form of metadata.
• StackTraceMeta: Metadata for function that can adjust its stack trace when error occurs.