diff options
Diffstat (limited to 'stdlib/source/documentation/lux/meta/type/check.lux')
-rw-r--r-- | stdlib/source/documentation/lux/meta/type/check.lux | 28 |
1 files changed, 14 insertions, 14 deletions
diff --git a/stdlib/source/documentation/lux/meta/type/check.lux b/stdlib/source/documentation/lux/meta/type/check.lux index f9d19f78b..312eba27d 100644 --- a/stdlib/source/documentation/lux/meta/type/check.lux +++ b/stdlib/source/documentation/lux/meta/type/check.lux @@ -24,54 +24,54 @@ ($.default /.peek) ($.default /.read) - ($.documentation /.Var + ($.definition /.Var "The ID for a type-variable in a type-checking context.") - ($.documentation (/.Check it) + ($.definition (/.Check it) "A type-checking computation which may fail or yield a value.") - ($.documentation /.result + ($.definition /.result "" [(result context proc)]) - ($.documentation /.failure + ($.definition /.failure "" [(failure message)]) - ($.documentation /.assertion + ($.definition /.assertion "" [(assertion message test)]) - ($.documentation /.except + ($.definition /.except "" [(except exception message)]) - ($.documentation /.existential + ($.definition /.existential "A brand-new existential type.") - ($.documentation /.bind + ($.definition /.bind (format "Attemmpts to buy a type-variable." \n "Fails if the variable has been bound already.") [(bind type id)]) - ($.documentation /.var + ($.definition /.var "A brand-new (unbound) type-variable.") - ($.documentation /.fresh_context + ($.definition /.fresh_context "An empty/un-used type-checking context.") - ($.documentation /.check + ($.definition /.check "Type-check to ensure that the 'expected' type subsumes the 'actual' type." [(check expected actual)]) - ($.documentation /.subsumes? + ($.definition /.subsumes? "A simple type-checking function that just returns a yes/no answer." [(subsumes? expected actual)]) - ($.documentation /.context + ($.definition /.context "The current state of the type-checking context.") - ($.documentation /.clean + ($.definition /.clean "Resolves every bound type-variable to yield a new type that is as resolved as possible." [(clean inputT)])] [])) |