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])