BiGUL-0.9.0.0: The Bidirectional Generic Update Language
Generics.BiGUL.Interpreter
put :: BiGUL s v -> s -> v -> PutResult s v Source
get :: BiGUL s v -> s -> GetResult s v Source
type PutResult s v = Either (PutError s v) s Source
type GetResult s v = Either (GetError s v) v Source
errorTrace :: PrettyPrintable e => Either e a -> Either Doc a Source