Murat Kasimov
More about me
Я language (β)
/Я language (β)/Primitives/Instruction/
:
Supertype
(
Instruction
t
i
) ~ (
Fixed
(
Stops
i
`T'TT'I`
t
)
)
:
Objective
(
Instruction
t
i
) ~ (
i
`S`
Supertype
(
Instruction
t
i
)
)
Some related wrappers:
>
Value
:
i
`AR__`
Supertype
(
Instruction
t
i
)
>
Impel
:
t
(
Fixed
(
Stops
i
`T'TT'I`
t
)
)
`AR_____`
Supertype
(
Instruction
t
i
)
>
Instruction
:
Supertype
(
Instruction
t
i
)
`AR__`
Instruction
t
i
Covariant Endo Functor
from
Kleisli
Arrow
into
Kleisli
Arrow
:
>
`yokl`
:
Instruction
t
a
`AR_____`
a
`AR`
tt
o
`AR______`
tt
(
Instruction
t
o
)