Murat Kasimov
More about me
Я language (β)
/Я language (β)/Primitives/List/
:
Supertype
(
List
i
) ~ (
Maybe
(
Nonempty List
i
)
)
:
Basetype
(
List
i
) ~ (
Unit
`S`
Nonempty List
i
)
>
`ryo`
:
∀
a
o
.
Void
`AR`
a
`AR__`
List
a
`AR`
o
`AR`
o
>
`ryo`
:
∀
a
o
.
Unit
`AR`
a
`AR__`
List
a
`AR`
o
`AR`
o
>
`ryo`
:
∀
a
o
.
Unit
`S`
?
`AR`
a
`AR__`
List
a
`AR`
o
`AR`
o
>
`yo`
:
∀
a
o
.
List
a
`AR_____`
a
`AR____`
o
`AR____`
List
o
>
`yok`
:
∀
a
o
.
List
a
`AR_____`
a
`AR____`
List
o
`AR____`
List
o
>
`yokl`
:
∀
a
o
.
List
a
`AR___`
a
`AR__`
Maybe
o
`AR__`
Maybe
(
List
o
)
>
`yokl`
:
∀
a
o
.
List
a
`AR___`
a
`AR__`
Stops
e
o
`AR__`
Stops
e
(
List
o
)
>
`yokl`
:
∀
a
o
.
List
a
`AR___`
a
`AR__`
State
e
o
`AR__`
State
e
(
List
o
)
>
`yokl`
:
∀
a
o
.
List
a
`AR___`
a
`AR__`
World
o
`AR__`
World
(
List
o
)
>
`yp`
:
List
o
`P`
List
oo
`AR____`
List
(
o
`P`
oo
)
>
`yw`
:
List
o
`P`
List
oo
`AR____`
List
(
o
`W`
oo
)
>
Arrow
`har`
derive
`ha`
First
:
List
`C'AR__`
Maybe
>
Scope
`har`
within
`ha`
First
:
List
`C'AT__`
Maybe
>
Event
`har`
happen
`ha`
First
:
List
`C'TR__`
Maybe
>
Arrow
`har`
derive
`ha`
Fresh
:
List
`C'AR__`
Maybe
>
Scope
`har`
within
`ha`
Fresh
:
List
`C'AT__`
Maybe
>
Arrow
`har`
derive
`ha`
Stock
:
List
`C'AR__`
List
>
Scope
`har`
within
`ha`
Stock
:
List
`C'AT__`
List
>
Arrow
`har`
derive
`ha`
Merge
:
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