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:

> 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 : Scrolling List `C'AR__` Nonempty List
> Arrow `har` derive `ha` Adapt : Tree `C'AR__` Scrolling Tree
> Arrow `har` derive `ha` Adapt : Scrolling Tree `C'AR__` Tree

The exact same label with functor switched is called Apply.