Wired-0.2.1: Wire-aware hardware description Source code Contents Index

Lava.Patterns

Documentation

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

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

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 b Source

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

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

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

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

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

(-|-) :: 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 b Source

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

Produced by Haddock version 2.4.2