mirror of
https://github.com/Lyxal/Keta.git
synced 2024-08-14 23:53:13 +00:00
Update Patterns.md
This commit is contained in:
parent
fe738731c3
commit
67dd1bc6fd
1 changed files with 13 additions and 6 deletions
19
Patterns.md
19
Patterns.md
|
@ -1,12 +1,12 @@
|
||||||
# Different Block Patterns
|
# Different Block Patterns
|
||||||
This is a list of how patterns are evaluated within Ket (ekg)
|
This is a list of how patterns are evaluated within Ket (ekg)
|
||||||
|
|
||||||
Nilads: N n Ñ ñ --> Nilads
|
Nilads: N n Ñ --> Nilads
|
||||||
Singles: S s Š ś --> Monads
|
Singles: S s Š --> Monads
|
||||||
Infixes: I i Ī ī --> Dyads
|
Infixes: I i Ī --> Dyads
|
||||||
|
|
||||||
L L* L& L! --> Left argument -- implicit/whatever is to the left
|
L L* L& --> Left argument -- implicit/whatever is to the left
|
||||||
R R* R& R! --> Right argument -- implicit/whatever is to the left
|
R R* R& --> Right argument -- implicit/whatever is to the left
|
||||||
|
|
||||||
`{...}` means that the expressions are blocked together
|
`{...}` means that the expressions are blocked together
|
||||||
|
|
||||||
|
@ -29,6 +29,13 @@ R R* R& R! --> Right argument -- implicit/whatever is to the left
|
||||||
- `SIs` -> `S(R) I s(R*)`
|
- `SIs` -> `S(R) I s(R*)`
|
||||||
- `SIi` -> `S(R) I {L* i R*}`
|
- `SIi` -> `S(R) I {L* i R*}`
|
||||||
|
|
||||||
- `INS` -> `L I N S(*R)`
|
- `INS` -> `L I N S(R*)`
|
||||||
|
- `INi` -> `{L I N} i R*`
|
||||||
|
- `ISN` -> `L I S(N)`
|
||||||
|
- `ISs` -> `L I S(s(R*))`
|
||||||
|
- `ISi` -> `{L D S(R*)} i R&`
|
||||||
|
- `IiN` -> `{L I R} i N`
|
||||||
|
- `IiS` -> `{L I R} i S(R*)`
|
||||||
|
- `IiĪ` -> `{{L I R} i R*} Ī R&
|
||||||
|
|
||||||
|
|
||||||
|
|
Loading…
Reference in a new issue