A single "normalization step", resolves an alias to its underlying, potentially non-rigid value.
A NormalizesTo
consists of two steps. It first applies a single normalization step and then emits a nested NormalizesTo
goal for the resulting value. This nested NormalizesTo
has to be inside of a commit_if_ok
in case the returned alias is rigid.
NormalizesTo(NormalizesToRigid)
RigidAlias
commit_if_ok
:
NormalizesTo(RigidAlias)
~> Err(NoSolution)
RigidAlias
AliasRelate
has to also wrap NormalizesTo
in a commit_if_ok
in case the alias is already rigid.
A NormalizesTo
uses 1 to inf step normalization inside of a commit_if_ok
, returning the unnormalized alias in case one step normalization fails
NormalizesTo(NormalizesToRigid)
commit_if_ok
[1]:
RigidAlias
NormalizesTo(RigidAlias)
commit_if_ok
:
Err(NoSolution)
Ok(RigidAlias)
Ok(RigidAlias)
Ok(RigidAlias)
AliasRelate
does not need to wrap NormalizesTo
in a commit_if_ok
.
as we merge candidates inside of this commit_if_ok
, in case one step normalization returns Err(NoSolution)
, it instead simply returns the rigid alias. ↩︎
or
or
By clicking below, you agree to our terms of service.
New to HackMD? Sign up
Syntax | Example | Reference | |
---|---|---|---|
# Header | Header | 基本排版 | |
- Unordered List |
|
||
1. Ordered List |
|
||
- [ ] Todo List |
|
||
> Blockquote | Blockquote |
||
**Bold font** | Bold font | ||
*Italics font* | Italics font | ||
~~Strikethrough~~ | |||
19^th^ | 19th | ||
H~2~O | H2O | ||
++Inserted text++ | Inserted text | ||
==Marked text== | Marked text | ||
[link text](https:// "title") | Link | ||
 | Image | ||
`Code` | Code |
在筆記中貼入程式碼 | |
```javascript var i = 0; ``` |
|
||
:smile: | ![]() |
Emoji list | |
{%youtube youtube_id %} | Externals | ||
$L^aT_eX$ | LaTeX | ||
:::info This is a alert area. ::: |
This is a alert area. |
On a scale of 0-10, how likely is it that you would recommend HackMD to your friends, family or business associates?
Please give us some advice and help us improve HackMD.
Do you want to remove this version name and description?
Syncing