Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- def parse_dir(dir: Directory) : Result = {
- if (dir.type == MyType) Result(dir.val)
- Result()
- }
- def parse_step(exif: Exif) : Result = {
- if( exif.isEmpty ) Result()
- else parse_dir(exif.head.dir) :: parse_step(exif.tail)
- }
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement