chalmers-lava2000-1.6.1: Hardware description EDSL

Safe HaskellNone
LanguageHaskell98

Lava.Patterns

Documentation

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

swapl :: [t] -> [t] #

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

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

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

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

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

pair :: [t] -> [(t, t)] #

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

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

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

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

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

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

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

par :: (t3 -> t2) -> (t1 -> t) -> (t3, t1) -> (t2, t) #

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

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

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

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

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

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

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

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

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

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

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

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

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

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