Ros.Geometry_msgs.TransformStamped

Extraction Language Haskell.
Require Import ROSCOQ.shim.Haskell.RoshaskNodeMonad.
Require Import ROSCOQ.shim.Haskell.RoshaskTopic.
Require Import ROSCOQ.shim.Haskell.RoshaskMsg.
Require Import ROSCOQ.shim.Haskell.RoshaskTypes.
Require Import String.
Require Import Ros.Internal.Msg.HeaderSupport.
Require Import Ros.Geometry_msgs.Transform.
Require Import Ros.Std_msgs.Header.

Record TransformStamped := { _header : Header.Header
                            ; _child_frame_id : P.String
                            ; _transform : Transform.Transform
                            }.

Extract Inductive TransformStamped ⇒ "Ros.Geometry_msgs.TransformStamped.TransformStamped" [ "Ros.Geometry_msgs.TransformStamped.TransformStamped" ].
Extract Constant _header ⇒ "Ros.Geometry_msgs.TransformStamped._header" .
Extract Constant _child_frame_id ⇒ "Ros.Geometry_msgs.TransformStamped._child_frame_id" .
Extract Constant _transform ⇒ "Ros.Geometry_msgs.TransformStamped._transform" .
Axiom subscribe : TopicName → Node (RTopic TransformStamped ).
Extract Constant subscribe ⇒ "(Ros.Node.subscribe)".
Axiom publish : TopicName → RTopic TransformStamped → Node unit.
Extract Constant publish ⇒ "(Ros.Node.advertise)".
Instance ROSMsgInstance : ROSMsgType TransformStamped :=
Build_ROSMsgType _ subscribe publish.