MCMC.SemanticEditors

Semantic editor combinators

http://conal.net/blog/posts/semantic-editor-combinator

Documentation

first :: (a -> a') -> (a, b) -> (a', b)

second :: (b -> b') -> (a, b) -> (a, b')

car :: (a -> a) -> [a] -> [a]

cdr :: ([a] -> [a]) -> [a] -> [a]

nth :: Int -> (a -> a) -> [a] -> [a]

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

block :: Int -> Int -> ([a] -> [a]) -> [a] -> [a]

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

swapWith :: a -> b -> a

chopAt :: Int -> Int -> [a] -> ([a], [a], [a])