BiGUL-1.0.1: The Bidirectional Generic Update Language

Safe HaskellNone
LanguageHaskell2010

Generics.BiGUL.PatternMatching

Description

This module implements the rearrangement operations, which are based on pattern matching.

Documentation

modifyError :: (e -> e) -> Either e a -> Either e a Source #

deconstruct :: Pat a env con -> a -> Either PatError env Source #

construct :: Pat a env con -> env -> a Source #

retrieve :: Direction env a -> env -> a Source #

eval :: Expr env a -> env -> a Source #

uneval :: Pat a env con -> Expr env b -> b -> con -> Either PatError con Source #

unevalDir :: Pat a env con -> Direction env b -> b -> con -> Either PatError con Source #

fromContainerV :: Pat v env con -> con -> Either PatError env Source #

fromContainerS :: Pat s env con -> env -> con -> env Source #

emptyContainer :: Pat v env con -> con Source #