Wired-0.3: Wire-aware hardware description

Lava.Patterns

(.<.) :: (b -> c) -> (a -> b) -> a -> cSource

(.>.) :: (a -> b) -> (b -> c) -> a -> cSource

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

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

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

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

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

unzipp :: [(a, b)] -> ([a], [b])Source

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

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

pair :: [a] -> [(a, a)]Source

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

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

mon :: Monad m => (a -> b) -> a -> m bSource

(->-) :: Monad m => (a -> m b) -> (b -> m c) -> a -> m cSource

(-<-) :: Monad m => (b -> m c) -> (a -> m b) -> a -> m cSource

serial :: Monad m => (a -> m b) -> (b -> m c) -> a -> m cSource

compose :: Monad m => [a -> m a] -> a -> m aSource

composeN :: Monad m => Int -> (a -> m a) -> a -> m aSource

(-|-) :: Monad m => (a -> m b) -> (c -> m d) -> (a, c) -> m (b, d)Source

par :: Monad m => (a -> m b) -> (c -> m d) -> (a, c) -> m (b, d)Source

parl :: Monad m => ([a] -> m [b]) -> ([a] -> m [b]) -> [a] -> m [b]Source

two :: Monad m => ([a] -> m [b]) -> [a] -> m [b]Source

ilv :: Monad m => ([a] -> m [b]) -> [a] -> m [b]Source

iter :: Monad m => Int -> ((a -> m b) -> a -> m b) -> (a -> m b) -> a -> m bSource

twoN :: Monad m => Int -> ([a] -> m [b]) -> [a] -> m [b]Source

ilvN :: Monad m => Int -> ([a] -> m [b]) -> [a] -> m [b]Source

bfly :: Monad m => Int -> ([a] -> m [a]) -> [a] -> m [a]Source

pmap :: Monad m => ((a, a) -> m (b, b)) -> [a] -> m [b]Source

tri :: Monad m => (a -> m a) -> [a] -> m [a]Source

mirror :: Monad m => ((a, b) -> m (c, d)) -> (b, a) -> m (d, c)Source

row :: Monad m => ((a, b) -> m (c, a)) -> (a, [b]) -> m ([c], a)Source

column :: Monad m => ((a, b) -> m (b, c)) -> ([a], b) -> m (b, [c])Source

grid :: Monad m => ((a, b) -> m (b, a)) -> ([a], [b]) -> m ([b], [a])Source