Safe Haskell | None |
---|---|
Language | Haskell2010 |
This module implements the rearrangement operations, which are based on pattern matching.
Documentation
modifyError :: (e -> e) -> Either e a -> Either e a Source #
fromContainerS :: Pat s env con -> env -> con -> env Source #
emptyContainer :: Pat v env con -> con Source #