Embedding in Haskell

class Arrow (|->) where arr, (>>>), first

class Arrow (|->) => ArrowChoice (|->) where left

class ArrowChoice (|->) => ArrowApply (|->) where app

Föregående bild

Nästa bild

Tillbaka till första bilden

Visa grafisk version