Documentation
flexible2 :: (Ix i, Ix j) => (j, j) -> (j -> (i, i)) -> ((j -> i -> e) -> j -> i -> e) -> j -> i -> e Source #
flexible3 :: (Ix j, Ix i, Ix k) => (k, k) -> (k -> (j, j)) -> (k -> j -> (i, i)) -> ((k -> j -> i -> e) -> k -> j -> i -> e) -> k -> j -> i -> e Source #