open FParsec

​

let foldData = """

[STREAM]

index=0

codec_name=h264

codec_long_name=H.264 / AVC / MPEG-4 AVC / MPEG-4 part 10

profile=High

codec_type=video

codec_tag_string=avc1

codec_tag=0x31637661

width=480

height=480

coded_width=480

coded_height=480

closed_captions=0

film_grain=0

has_b_frames=2

sample_aspect_ratio=1:1

display_aspect_ratio=1:1

pix_fmt=yuv420p

level=30

color_range=unknown

color_space=unknown

color_transfer=unknown

color_primaries=unknown

chroma_location=left

field_order=progressive

refs=1

is_avc=true

nal_length_size=4

id=0x1

r_frame_rate=30/1

avg_frame_rate=30/1

time_base=1/15360

start_pts=1024

start_time=0.066667

duration_ts=103424

duration=6.733333

bit_rate=811581

max_bit_rate=N/A

bits_per_raw_sample=8

nb_frames=N/A

nb_read_frames=N/A

nb_read_packets=N/A

extradata_size=46

DISPOSITION:default=1

DISPOSITION:dub=0

DISPOSITION:original=0

DISPOSITION:comment=0

DISPOSITION:lyrics=0

DISPOSITION:karaoke=0

DISPOSITION:forced=0

DISPOSITION:hearing_impaired=0

DISPOSITION:visual_impaired=0

DISPOSITION:clean_effects=0

DISPOSITION:attached_pic=0

DISPOSITION:timed_thumbnails=0

DISPOSITION:captions=0

DISPOSITION:descriptions=0

DISPOSITION:metadata=0

DISPOSITION:dependent=0

DISPOSITION:still_image=0

TAG:language=und

TAG:handler_name=VideoHandler

TAG:vendor_id=[0][0][0][0]

TAG:encoder=Lavc59.37.100 libx264

[/STREAM]

[STREAM]

index=1

codec_name=aac

codec_long_name=AAC (Advanced Audio Coding)

profile=unknown

codec_type=audio

codec_tag_string=mp4a

codec_tag=0x6134706d

sample_fmt=fltp

sample_rate=44100

channels=2

channel_layout=stereo

bits_per_sample=0

id=0x2

r_frame_rate=0/0

avg_frame_rate=0/0

time_base=1/44100

start_pts=2940

start_time=0.066667

duration_ts=297852

duration=6.754014

bit_rate=126524

max_bit_rate=N/A

bits_per_raw_sample=N/A

nb_frames=N/A

nb_read_frames=N/A

nb_read_packets=N/A

extradata_size=5

DISPOSITION:default=1

DISPOSITION:dub=0

DISPOSITION:original=0

DISPOSITION:comment=0

DISPOSITION:lyrics=0

DISPOSITION:karaoke=0

DISPOSITION:forced=0

DISPOSITION:hearing_impaired=0

DISPOSITION:visual_impaired=0

DISPOSITION:clean_effects=0

DISPOSITION:attached_pic=0

DISPOSITION:timed_thumbnails=0

DISPOSITION:captions=0

DISPOSITION:descriptions=0

DISPOSITION:metadata=0

DISPOSITION:dependent=0

DISPOSITION:still_image=0

TAG:language=und

TAG:handler_name=SoundHandler

TAG:vendor_id=[0][0][0][0]

[/STREAM]"""

​

let test p str =

    match run p str with

    | Success(result, _, y)   -> printfn "Success: %A %s" result (y.ToString())

    | Failure(errorMsg, x, _) -> System.Console.WriteLine("Failure: {0} {1}", errorMsg, x)

​

let eq<'a when 'a: equality> (c: 'a) (s: 'a seq) = s |> Seq.contains c

​

let letterOrDigitPE c = isLetter c || isDigit c || eq c "[]:.-_/() "

let strPE s = pstring s

let kvPEr = many1Satisfy2 (fun c -> letterOrDigitPE c && (c = '[' |> not)) letterOrDigitPE

let valuePE = many1SatisfyL letterOrDigitPE "value"

​

let kvPE = pipe3 kvPEr (pstring "=") valuePE (fun x _ y -> (x, y))

​

let kvPE1 = many (pipe2 kvPE (optional newline) (fun x _ -> x))

let kvPE2 = pipe5 (pipe2 (optional newline) (pstring "[STREAM]") (fun _ _ -> ())) newline kvPE1 (pstring "[/STREAM]") (optional newline) (fun _ _ c _ _ -> c)

let kvPE3 = many kvPE2

test kvPE3 (foldData.Trim())