Generics.BiGUL.Lib

A prelude for BiGUL programs.

Documentation

skip :: Eq v => v -> BiGUL s v

Skip updating the source when the view is known to be a constant. Same as 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.