Documentation

type T0 = T Source #

type T1 = T T0 Source #

type T2 = T T1 Source #

type T3 = T T2 Source #

type T4 = T T3 Source #

type T5 = T T4 Source #

type T6 = T T5 Source #

type T7 = T T6 Source #

type T8 = T T7 Source #

type T9 = T T8 Source #

type Func0 a b = b Source #

type Func1 a b = a -> Func0 a b Source #

type Func2 a b = a -> Func1 a b Source #

type Func3 a b = a -> Func2 a b Source #

type Func4 a b = a -> Func3 a b Source #

type Func5 a b = a -> Func4 a b Source #

type Func6 a b = a -> Func5 a b Source #

type Func7 a b = a -> Func6 a b Source #

type Func8 a b = a -> Func7 a b Source #

type Func9 a b = a -> Func8 a b Source #

uncurry0 :: Func0 a b -> T0 a -> b Source #

uncurry1 :: Func1 a b -> T1 a -> b Source #

uncurry2 :: Func2 a b -> T2 a -> b Source #

uncurry3 :: Func3 a b -> T3 a -> b Source #

uncurry4 :: Func4 a b -> T4 a -> b Source #

uncurry5 :: Func5 a b -> T5 a -> b Source #

uncurry6 :: Func6 a b -> T6 a -> b Source #

uncurry7 :: Func7 a b -> T7 a -> b Source #

uncurry8 :: Func8 a b -> T8 a -> b Source #

uncurry9 :: Func9 a b -> T9 a -> b Source #

curry0 :: (T0 a -> b) -> Func0 a b Source #

curry1 :: (T1 a -> b) -> Func1 a b Source #

curry2 :: (T2 a -> b) -> Func2 a b Source #

curry3 :: (T3 a -> b) -> Func3 a b Source #

curry4 :: (T4 a -> b) -> Func4 a b Source #

curry5 :: (T5 a -> b) -> Func5 a b Source #

curry6 :: (T6 a -> b) -> Func6 a b Source #

curry7 :: (T7 a -> b) -> Func7 a b Source #

curry8 :: (T8 a -> b) -> Func8 a b Source #

curry9 :: (T9 a -> b) -> Func9 a b Source #

consAll0 :: Func0 a (T0 a) Source #

consAll1 :: Func1 a (T1 a) Source #

consAll2 :: Func2 a (T2 a) Source #

consAll3 :: Func3 a (T3 a) Source #

consAll4 :: Func4 a (T4 a) Source #

consAll5 :: Func5 a (T5 a) Source #

consAll6 :: Func6 a (T6 a) Source #

consAll7 :: Func7 a (T7 a) Source #

consAll8 :: Func8 a (T8 a) Source #

consAll9 :: Func9 a (T9 a) Source #