Pipe connector in WRIGHT

Connector Pipe =role Write = write ? Writer ? close ? ?role Reader = let ExitOnly = close ? ? in let DoRead = (read ? Reader ? read-eof ? ExitOnly) in DoRead ? ExitOnlyglue = let ReadOnly = Reader.Read ? ExitOnly ? Reader.read-eof ? Reader.close ? ? ? Reader.close ? ?...

Previous slide

Next slide

Back to first slide

View graphic version