Murat Kasimov
More about me
Я language (β)
/Я language (β)/Primitives/Nonempty List/
:
(
Nonempty List
i
) ~ (
Construction
Maybe
i
)
:
Supertype
(
Nonempty List
i
) ~ (
Resursive
(
Along
i
`T'TT'I`
Maybe
)
)
:
Basetype
(
Nonempty List
i
) ~ (
Supertype
(
Nonempty List
i
)
`P`
i
)
>
`yo`
:
Nonempty List
a
`AR______`
a
`AR`
o
`AR_____`
Nonempty List
o
>
`kyo`
:
Nonempty List
a
`AR______`
tt
a
`AR`
o
`AR______`
Nonempty List
o
>
`yokl`
:
Nonempty List
a
`AR_____`
a
`AR`
tt
o
`AR______`
tt
(
Nonempty List
o
)
>
`kyokl`
:
Nonempty List
a
`AR_____`
tt
a
`AR`
ttt
o
`AR______`
ttt
(
Nonempty List
o
)
>
`ryo`
:
Unit
`AR`
a
`AR___`
Nonempty List
a
`AR`
o
`AR`
o
>
`ryo`
:
Unit
`S`
?
`AR`
a
`AR___`
Nonempty List
a
`AR`
o
`AR`
o
>
`yp`
:
Nonempty List
i
`P`
Nonempty List
ii
`AR____`
Nonempty List
(
i
`P`
ii
)
>
`yw`
:
Nonempty List
i
`P`
Nonempty List
ii
`AR____`
Nonempty List
(
i
`W`
ii
)
>
Arrow
`har`
derive
`ha`
Front
:
Nonempty List
`C'AR__`
Alone
>
Scope
`har`
within
`ha`
Front
:
Nonempty List
`C'AT__`
Alone
>
Scope
`har`
within
`ha`
Fresh
:
Nonempty List
`C'AT__`
Maybe
>
Arrow
`har`
derive
`ha`
Stock
:
Nonempty List
`C'AR__`
List
>
Scope
`har`
within
`ha`
Stock
:
Nonempty List
`C'AT__`
List
>
Arrow
`har`
derive
`ha`
Adapt
:
Nonempty List
`C'AR__`
List
>
Arrow
`har`
derive
`ha`
Adapt
:
Nonempty List
`C'AR__`
Scrolling List
>
Arrow
`har`
derive
`ha`
Adapt
:
Nonempty List
`C'AR__`
Alone
`P'T'I'TT'I`
List
>
Arrow
`har`
derive
`ha`
Adapt
:
Scrolling List
`C'AR_`
Nonempty List
>
Arrow
`har`
derive
`ha`
Merge
:
Nonempty List
`P'T'I'TT'I`
Nonempty List
`C'AR___`
Nonempty List
>
Arrow
`har`
derive
`ha`
Merge
:
Nonempty List
`P'T'I'TT'I`
List
`C'AR___`
List
>
Arrow
`har`
derive
`ha`
Merge
:
List
`P'T'I'TT'I`
Nonempty List
`C'AR___`
Nonempty List
>
Arrow
`har`
derive
`ha`
Adapt
:
Twice
`C'AR__`
Nonempty List