A Library for Processing
A Library for Processing
A Library for Processing
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Union<br />
• τ1 +τ2<br />
orp :: AdhocParser t a -- [τ1]<br />
AdhocParser t a -- [τ2]<br />
AdhocParser t (Either a b) -- [τ1 + τ2]<br />
• Examples<br />
123.45 is a float<br />
100 is not a float.<br />
float() + int()<br />
num = orp float int<br />
Yan Wang, Halmstad University, IFL08