Murat Kasimov
More about me
Я language (β)
/Я language (β)/Behaviour/Adapt/
>
Adapt
:
forall
t
tt
i
.
t
i
`AR__`
t
`L`
tt
`T`
_
`T`
i
This label is used to convert one data structure into another one:
>
to
`ha`
Adapt
:
Nonempty List
`C'AR__`
List
>
to
`ha`
Adapt
:
Nonempty List
`C'AR__`
Scrolling List
>
to
`ha`
Adapt
:
Scrolling List
`C'AR__`
Nonempty List
>
to
`ha`
Adapt
:
Tree
`C'AR__`
Scrolling Tree
>
to
`ha`
Adapt
:
Scrolling Tree
`C'AR__`
Tree