Murat Kasimov
More about me
Я language (β)
/Я language (β)/Primitives/Maybe/
:
(
Halts
i
) ~ (
Stops
Unit
i
) ~ (
Maybe
i
)
:
Supertype
(
Maybe
i
) ~ (
Unit
`S`
i
)
>
Maybe
:
Unit
`S`
i
`AR_`
Maybe
i
>
Empty
:
Unit
`AR_`
Maybe
i
>
Exist
:
i
`AR____`
Maybe
i
>
`ryo`
:
∀
a
o
.
Unit
`AR`
a
`AR__`
a
`AR`
o
`AR`
o
>
`ryo`
:
∀
a
o
.
Void
`AR`
a
`AR__`
a
`AR`
o
`AR`
o
>
`yo`
:
∀
a
o
.
Maybe
a
`AR_____`
a
`AR____`
o
`AR____`
Maybe
o
>
`yo`
:
∀
a
o
.
Maybe
a
`AT_____`
a
`AT____`
o
`AT____`
Maybe
o
>
`yok`
:
∀
a
o
.
Maybe
a
`AR_____`
a
`AR____`
Maybe
o
`AR____`
Maybe
o
>
`yokl`
:
∀
a
o
.
Maybe
a
`AR___`
a
`AR__`
Maybe
o
`AR__`
Maybe
(
Maybe
o
)
>
`yokl`
:
∀
a
o
.
Maybe
a
`AR___`
a
`AR__`
Stops
e
o
`AR__`
Stops
e
(
Maybe
o
)
>
`yokl`
:
∀
a
o
.
Maybe
a
`AR___`
a
`AR__`
State
e
o
`AR__`
State
e
(
Maybe
o
)
>
`yokl`
:
∀
a
o
.
Maybe
a
`AR___`
a
`AR__`
World
o
`AR__`
World
(
Maybe
o
)
>
`dcpp`
:
(
Maybe
o
)
`P`
(
Maybe
oo
)
`AR____`
Maybe
(
o
`P`
oo
)
>
`dcps`
:
(
Maybe
o
)
`P`
(
Maybe
oo
)
`AR____`
Maybe
(
o
`S`
oo
)
>
`dcpw`
:
(
Maybe
o
)
`P`
(
Maybe
oo
)
`AR____`
Maybe
(
o
`W`
oo
)