You are here: Home PIK Members Daniel Lincke Software specifications FCPPC-spec

FCPPC-spec

The type-declarartions for the operation from FCPPC.

Haskell source code icon FCPPC.hs — Haskell source code, 1 KB

File contents

compose  :: ((b -> c),(a -> b)) -> a -> c
compose2 :: ((b -> c),((a1,a2) -> b)) -> (a1,a2) -> c
compose3 :: ((b -> c),((a1,a2,a3) -> b)) -> (a1,a2,a3) -> c
compose4 :: ((b -> c),((a1,a2,a3,a4) -> b)) -> (a1,a2,a3,a4) -> c
compose5 :: ((b -> c),((a1,a2,a3,a4,a5) -> b)) -> (a1,a2,a3,a4,a5) -> c

curry    :: ((a1, a2) -> b) -> a1 -> a2 -> b
curry2   :: ((a1, a2, a3) -> b) -> a1 -> (a2,a3) -> b
curry3   :: ((a1, a2, a3, a4) -> b) -> a1 -> (a2,a3,a4) -> b
curry4   :: ((a1, a2, a3, a4, a5) -> b) -> a1 -> (a2,a3,a4,a5) -> b
curry5   :: ((a1, a2, a3, a4, a5, a6) -> b) -> a1 -> (a2,a3,a4,a5,a6) -> b

uncurry :: (a1 -> a2 -> b) -> (a1, a2) -> b
uncurry2 :: (a1 -> a2 -> a3 -> b) -> (a1, a2, a3) -> b
uncurry3 :: (a1 -> a2 -> a3 -> a4 -> b) -> (a1, a2, a3, a4) -> b
uncurry4 :: (a1 -> a2 -> a3 -> a4 -> a5 -> b) -> (a1, a2, a3, a4, a5) -> b
uncurry5 :: (a1 -> a2 -> a3 -> a4 -> a5 -> a6 -> b) -> (a1, a2, a3, a4, a6) -> b

Document Actions