feldspar-language-0.4.0.2: A functional embedded language for DSP and parallelism
Feldspar.Core.Functions.Tuple
Description
Tuple construction/destruction
Synopsis
pair :: (Type a, Type b) => Data a -> Data b -> Data (a, b)Source
getFst :: (Type a, Type b) => Data (a, b) -> Data aSource
getSnd :: (Type a, Type b) => Data (a, b) -> Data bSource
matchPair :: (Type a, Type b) => Data (a, b) -> (Data a, Data b)Source
Convenient together with view patterns:
f :: Data (a,b) -> ... f (matchPair -> (a,b)) = ...