A Library for Processing

More documents

Recommendations

Info

Thanks <strong>for</strong> your attention! Questions & Suggestions? Yan Wang, Halmstad University, IFL08
Implementation • newtype AdhocParser t a = P (([t], PD) -> (Either String a, [t],PD))) • newtype PD = MkPD Int ErrCode Span Body newtype ErrCode = Ok | Err | Fail type Span = (Offset, Offset) data Body = Unit | Pair PD PD | Or (Either PD PD) | Constrain PD | Seq Int [PD] | Scan (Maybe (Int,PD)) | Struct [PD]
Page 1 and 2: A Library for Processing Ad-hoc Dat
Page 3 and 4: Data Is Everywhere • Ad-hoc data
Page 5 and 6: Ad-hoc Binary Data in Networks YMSG
Page 7 and 8: Data Description Calculus • DDC:
Page 9 and 10: • C(e) •Examples 123456 Base Ty
Page 11 and 12: Dependent Pairs • Σ x :τ1 .τ2
Page 13 and 14: Adding Tools Ad-hoc Data [t] Parser
Page 15 and 16: Example: YMSG Packet 40 fe 20 00 06
Page 17 and 18: Example: YMSG Packet 40 fe 20 00 06
Page 19: Example: YMSG Packet 40 fe 20 00 06

A Library for Processing

Create successful ePaper yourself

Delete template?

Save as template?