Data.FixedLengthList

Word with fixed length lists constructed from NonEmpty and Empty types.

Documentation

type T0 = T

type T1 = T T0

type T2 = T T1

type T3 = T T2

type T4 = T T3

type T5 = T T4

type T6 = T T5

type T7 = T T6

type T8 = T T7

type T9 = T T8

type Func0 a b = b

type Func1 a b = a -> Func0 a b

type Func2 a b = a -> Func1 a b

type Func3 a b = a -> Func2 a b

type Func4 a b = a -> Func3 a b

type Func5 a b = a -> Func4 a b

type Func6 a b = a -> Func5 a b

type Func7 a b = a -> Func6 a b

type Func8 a b = a -> Func7 a b

type Func9 a b = a -> Func8 a b

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

consAll0 :: Func0 a (T0 a)

consAll1 :: Func1 a (T1 a)

consAll2 :: Func2 a (T2 a)

consAll3 :: Func3 a (T3 a)

consAll4 :: Func4 a (T4 a)

consAll5 :: Func5 a (T5 a)

consAll6 :: Func6 a (T6 a)

consAll7 :: Func7 a (T7 a)

consAll8 :: Func8 a (T8 a)

consAll9 :: Func9 a (T9 a)