Control.Category.Schoenfinkel

This library generalizes curry and uncurry and also gives them more appropriate names.

 import Control.Category.Schoenfinkel

 main :: IO ()
 main = print (unschoen atan2 (2, 3))

For your convenience there are also Unicode variants of both the Schoenfinkel class and its two functions.

Schoenfinkelization

class Category cat => Schoenfinkel cat where

Categories that support Schönfinkelization.

Methods

schoen :: cat (a, b) c -> cat a (cat b c)

unschoen :: cat a (cat b c) -> cat (a, b) c

Instances

Schoenfinkel (->)

Monad m => Schoenfinkel (Kleisli m)

ArrowApply cat => Schoenfinkel (WrappedSchoenfinkel cat)

ArrowApply-based

newtype WrappedSchoenfinkel cat a b

Every ArrowApply gives rise to a Schoenfinkel.

Constructors

WrappedSchoenfinkel

Fields

unwrapSchoenfinkel :: cat a b

Instances

Arrow cat => Arrow (WrappedSchoenfinkel cat)

ArrowZero cat => ArrowZero (WrappedSchoenfinkel cat)

ArrowPlus cat => ArrowPlus (WrappedSchoenfinkel cat)

ArrowChoice cat => ArrowChoice (WrappedSchoenfinkel cat)

ArrowApply cat => ArrowApply (WrappedSchoenfinkel cat)

ArrowLoop cat => ArrowLoop (WrappedSchoenfinkel cat)

Category cat => Category (WrappedSchoenfinkel cat)

ArrowApply cat => Schoenfinkel (WrappedSchoenfinkel cat)

Functor (cat a) => Functor (WrappedSchoenfinkel cat a)

Applicative (cat a) => Applicative (WrappedSchoenfinkel cat a)

Alternative (cat a) => Alternative (WrappedSchoenfinkel cat a)

Unicode variants

type Schönfinkel = Schoenfinkel

Unicode version of Schoenfinkel if you prefer.

type WrappedSchönfinkel = WrappedSchoenfinkel

Unicode version of WrappedSchoenfinkel if you prefer.

schön :: Schoenfinkel cat => cat (a, b) c -> cat a (cat b c)

Unicode version of schoen if you prefer.

unschön :: Schoenfinkel cat => cat a (cat b c) -> cat (a, b) c

Unicode version of unschoen if you prefer.

hässlich :: Schoenfinkel cat => cat a (cat b c) -> cat (a, b) c

Another appropriate name for 'uncurry'/'unschoen'.