envToPowerRecord ::
  (Ord node) =>
  TopoQty.Section node (Result (Data (v :> Nil) a)) ->
  Record.PowerRecord node v a
envToPowerRecord =
  TopoRecord.sectionToPowerRecord
  . TopoQty.mapSection (ModUt.checkDetermined "envToPowerRecord")
envToPowerRecord ::
  (Ord node) =>
  TopoQty.Section node (Result (Data (v :> Nil) a)) ->
  Record.PowerRecord node v a
envToPowerRecord =
  TopoRecord.sectionToPowerRecord
  . TopoQty.mapSection (ModUt.checkDetermined "envToPowerRecord")
envToPowerRecord =
  TopoRecord.sectionToPowerRecord
  . TopoQty.mapSection (ModUt.checkDetermined "envToPowerRecord")