chalmers-lava2000-1.6.1: Hardware description EDSL
Safe HaskellNone
LanguageHaskell98

Lava.Patterns

Documentation

swap :: (b, a) -> (a, b) Source #

swapl :: [a] -> [a] Source #

copy :: b -> (b, b) Source #

riffle :: [a] -> [a] Source #

unriffle :: [a] -> [a] Source #

zipp :: ([a], [b]) -> [(a, b)] Source #

unzipp :: [(a1, a2)] -> ([a1], [a2]) Source #

pair :: [b] -> [(b, b)] Source #

unpair :: [(a, a)] -> [a] Source #

halveList :: [a] -> ([a], [a]) Source #

append :: ([a], [a]) -> [a] Source #

serial :: (a -> b) -> (b -> c) -> a -> c Source #

(->-) :: (a -> b) -> (b -> c) -> a -> c infixr 5 Source #

compose :: [b -> b] -> b -> b Source #

composeN :: Int -> (b -> b) -> b -> b Source #

par :: (t1 -> a) -> (t2 -> b) -> (t1, t2) -> (a, b) Source #

(-|-) :: (t1 -> a) -> (t2 -> b) -> (t1, t2) -> (a, b) infixr 4 Source #

parl :: ([a1] -> [a2]) -> ([a1] -> [a2]) -> [a1] -> [a2] Source #

two :: ([a1] -> [a2]) -> [a1] -> [a2] Source #

ilv :: ([a1] -> [a2]) -> [a1] -> [a2] Source #

iter :: (Eq t1, Num t1) => t1 -> (t2 -> t2) -> t2 -> t2 Source #

twoN :: (Eq t, Num t) => t -> ([a1] -> [a2]) -> [a1] -> [a2] Source #

ilvN :: (Eq t, Num t) => t -> ([a1] -> [a2]) -> [a1] -> [a2] Source #

bfly :: (Eq t, Num t) => t -> ([a] -> [a]) -> [a] -> [a] Source #

pmap :: ((b, b) -> (a, a)) -> [b] -> [a] Source #

tri :: (b -> b) -> [b] -> [b] Source #

mirror :: ((b1, a1) -> (b2, a2)) -> (a1, b1) -> (a2, b2) Source #

row :: ((b, a1) -> (a2, b)) -> (b, [a1]) -> ([a2], b) Source #

column :: ((b, a1) -> (a1, a2)) -> ([b], a1) -> (a1, [a2]) Source #

grid :: ((b, a) -> (a, b)) -> ([b], [a]) -> ([a], [b]) Source #