chalmers-lava2000-1.5.1: Hardware description EDSL

Safe HaskellNone
LanguageHaskell98

Lava.Patterns

Documentation

swap :: (t1, t) -> (t, t1) Source

swapl :: [t] -> [t] Source

copy :: t -> (t, t) Source

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

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

zipp :: ([t], [t1]) -> [(t, t1)] Source

unzipp :: [(t, t1)] -> ([t], [t1]) Source

pair :: [t] -> [(t, t)] 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 :: (t -> t2) -> (t1 -> t3) -> (t, t1) -> (t2, t3) Source

(-|-) :: (t -> t2) -> (t1 -> t3) -> (t, t1) -> (t2, t3) infixr 4 Source

parl :: ([a] -> [a1]) -> ([a] -> [a1]) -> [a] -> [a1] Source

two :: ([a] -> [a1]) -> [a] -> [a1] Source

ilv :: ([a] -> [a1]) -> [a] -> [a1] Source

iter :: (Eq a, Num a) => a -> (t -> t) -> t -> t Source

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

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

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

pmap :: ((t, t) -> (a, a)) -> [t] -> [a] Source

tri :: (a -> a) -> [a] -> [a] Source

mirror :: ((t1, t) -> (t3, t2)) -> (t, t1) -> (t2, t3) Source

row :: ((t1, t) -> (t2, t1)) -> (t1, [t]) -> ([t2], t1) Source

column :: ((t2, t1) -> (t1, t)) -> ([t2], t1) -> (t1, [t]) Source

grid :: ((t1, t) -> (t, t1)) -> ([t1], [t]) -> ([t], [t1]) Source