BiGUL-1.0.0.0: The Bidirectional Generic Update Language
Generics.BiGUL.Lib
Description
A prelude for BiGUL programs.
Synopsis
skip :: Eq v => v -> BiGUL s v
Skip updating the source when the view is known to be a constant. Same as Skip . const.
Skip . const
(==>) :: (a -> b) -> a -> b infixr 0
A nicer notation for applying a branch constructing function to a branch body. Same as $.
$
emb :: Eq v => (s -> v) -> (s -> v -> s) -> BiGUL s v
Embed a well-behaved pair of transformations into BiGUL.