Murat Kasimov

More about me

Я language (β)

/Я language (β)/Primitives/Match/

: ( Predicate i ) ~ ( Match i ) : Supertype ( Match i ) ~ ( i `AR__` Boolean ) > Match : i `AR__` Boolean `AR_____` Match i

Contravariant Functor from Arrow into Arrow:

> `ya` : Match a `AR_______` a `RA` o `AR______` Match o

Contravariant Functor from Arrow into Arrow with representing objects:

> `yar` : Match a `AR___` Boolean `RA` a