Documentation

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

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

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

retrieve :: Direction env a -> env -> a

eval :: Expr env a -> env -> a

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

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

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

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

emptyContainer :: Pat v env con -> con