@@ -616,3 +616,48 @@ module RosMessageTypes =
616
616
type Kind = string
617
617
let FromMessage m = m |> Seq.toList |> function [ " data" , StringVal str] -> str | _ -> malformed ()
618
618
let ToMessage str = [ " data" , StringVal str] |> Seq.ofList
619
+
620
+
621
+ module AudioCommon =
622
+ module AudioData =
623
+ let Def = { Type = " audio_common_msgs/AudioData"
624
+ MD5 = " f43a8e1b362b75baa741461b46adc7e0" ;
625
+ Fields = [ " data" , VariableArrayDef UInt8Def]}
626
+
627
+ type Kind = { Data : uint8 seq }
628
+ let FromMessage m = m |> Seq.toList |> function [ " data" , VariableArrayVal data] -> { Data = List.map ( function UInt8Val n -> n | _ -> malformed ()) data}| _ -> malformed ()
629
+ let ToMessage { Data = data } = [ " data" , VariableArrayVal ( Seq.map UInt8Val data |> Seq.toList)]
630
+
631
+ module AudioInfo =
632
+ let Def = { Type = " audio_common_msgs/AudioInfo"
633
+ MD5 = " 9413d9b7029680d3b1db6ed0ae535f88" ;
634
+ Fields = [ " channels" , UInt8Def
635
+ " sample_rate" , UInt32Def
636
+ " sample_format" , StringDef
637
+ " bitrate" , UInt32Def
638
+ " coding_format" , StringDef]}
639
+
640
+ type Kind = { Channels: uint8
641
+ SampleRate: uint32
642
+ SampleFormat: string
643
+ Bitrate: uint32
644
+ CodingFormat: string }
645
+ let FromMessage m = m |> Seq.toList |> function [ " channels" , UInt8Val channels
646
+ " sample_rate" , UInt32Val rate
647
+ " sample_format" , StringVal format
648
+ " bitrate" , UInt32Val bitrate
649
+ " coding_format" , StringVal coding] -> { Channels = channels
650
+ SampleRate = rate
651
+ SampleFormat = format
652
+ Bitrate = bitrate
653
+ CodingFormat = coding } |_ -> malformed ()
654
+
655
+ let ToMessage { Channels = channels
656
+ SampleRate = rate
657
+ SampleFormat = format
658
+ Bitrate = bitrate
659
+ CodingFormat = coding } = [ " channels" , UInt8Val channels
660
+ " sample_rate" , UInt32Val rate
661
+ " sample_format" , StringVal format
662
+ " bitrate" , UInt32Val bitrate
663
+ " coding_format" , StringVal coding] |> Seq.ofList
0 commit comments