TextViewから値を取り出したい

Question

前提・実現したいこと

HaskellでGUIプログラミングを勉強しています。
haskell-giライブラリを使用しています。
公式サイトのHelloWorldプログラムにある、ラベルとボタンを配置したプログラムに修正を加え、テキストボックス（TextView）を追加することができました。

ボタンを押すとテキストボックスの値をラベルに書き換えるようにしたいのですが、テキストボックスから値を取り出すことができません。

公式サイトを見ていると「textViewGetBuffer」というメソッドで取り出せそうですが、使い方（書き方）がわかりません。

発生している問題・エラーメッセージ

想像で書いてみますが、当然のごとくエラーとなります。

[apo@myhostname my-project]$ stack build
my-project> configure (lib + exe)
Configuring my-project-0.1.0.0...
my-project> build (lib + exe)
Preprocessing library for my-project-0.1.0.0..
Building library for my-project-0.1.0.0..
[3 of 3] Compiling Hello

/home/apo/doc/project/make/haskell/ClickMe/my-project/src/Hello.hs:26:39: error:
    ~ Couldn't match expected type ‘[AttrOp
                                       (m0 Gtk.TextBuffer) 'Data.GI.Base.Attributes.AttrConstruct]’
                  with actual type ‘Gtk.TextView’
    ~ In the second argument of ‘new’, namely ‘textview’
      In a stmt of a 'do' block:
        buffer <- new Gtk.textViewGetBuffer textview
      In the expression:
        do Gtk.init Nothing
           win <- new Gtk.Window [#title := "Introduction"]
           on win #destroy Gtk.mainQuit
           #resize win 640 480
           ....
   |
26 |   buffer <- new Gtk.textViewGetBuffer textview
   |                                       ^^^^^^^^

/home/apo/doc/project/make/haskell/ClickMe/my-project/src/Hello.hs:44:29: error:
    ~ Couldn't match type ‘Data.Text.Internal.Text’ with ‘[Char]’
        arising from a use of ‘:=’
    ~ In the expression: #label := (show buffer)
      In the second argument of ‘set’, namely ‘[#label := (show buffer)]’
      In the third argument of ‘on’, namely
        ‘(set msg [#label := (show buffer)])’
   |
44 |   on btn #clicked (set msg [#label := (show buffer)])
   |                             ^^^^^^^^^^^^^^^^^^^^^^^


--  While building package my-project-0.1.0.0 (scroll up to its section to see the error) using:
      /home/apo/.stack/setup-exe-cache/x86_64-linux-tinfo6/Cabal-simple_mPHDZzAJ_3.0.1.0_ghc-8.8.4 --builddir=.stack-work/dist/x86_64-linux-tinfo6/Cabal-3.0.1.0 build lib:my-project exe:my-project-exe --ghc-options " -fdiagnostics-color=always"
    Process exited with code: ExitFailure 1

該当のソースコード

{-# LANGUAGE OverloadedStrings, OverloadedLabels #-}

module Hello (hello) where

import qualified GI.Gtk as Gtk
import Data.GI.Base
-- import Graphics.UI.Gtk

hello :: IO ()
hello = do
  Gtk.init Nothing

  win <- new Gtk.Window [ #title := "Introduction" ]
  on win #destroy Gtk.mainQuit
  #resize win 640 480

  box <- new Gtk.Box [ #orientation := Gtk.OrientationVertical]
  #add win box

  msg <- new Gtk.Label [#label := "Hello"]
  #add box msg

  textview <- new Gtk.TextView []
  #add box textview

  buffer <- new Gtk.textViewGetBuffer textview

  btn <- new Gtk.Button [#label := "Click me!"]
  #add box btn
  on btn #clicked (set msg [#label := (show buffer)])

  #showAll win

  Gtk.main

試したこと

「haskell-gi TextView textViewGetBuffer」などで検索してみましたが、参考になるサイトは見つかりませんでした。

補足情報（FW/ツールのバージョンなど）

OS：ホスト Windows10
ゲスト ArchLinux(VirtualBox)
stack: Version 2.5.1
LTS: lts-16.21

全コード
https://github.com/ringo-apo/haskell-gi-textview

ご教示よろしくお願いします。

Answer 1

※申し訳なくも手元に環境を用意できてないので試せてはいません。あしからず。

textViewGetBuffer で取り出した TextBuffer から textBufferGetText （ドキュメントはこちら）という関数でText型が取り出せるみたいですが、これではダメですか？

他の言語のGTK+のバインディングを使ったサンプルを見ても、該当するメソッドを使っているようです。

Comments

[apo]

回答ありがとうございます。試してみます。

Answer 2

igrepさんの回答に加えて、エラーメッセージから読み解ける内容ですが

buffer <- new Gtk.textViewGetBuffer textview

buffer <- Gtk.textViewGetBuffer textview でよさそうです（newが要らない）

on btn #clicked (set msg [#label := (show buffer)])

textBufferGetText で取得した値を入れるなら、showは不要です。

Comments

[apo]

回答ありがとうございます。
buffer <- Gtk.textViewGetBuffer textview
で取り出しのエラーは消えました。

書き出しの方を
on btn #clicked (set msg [#label := (buffer)])
にすると下記エラーになりました。

```
/home/apo/doc/project/make/haskell/haskell-gi-textview/my-project/src/Hello.hs:44:29: error:
~ Couldn't match type ‘Data.Text.Internal.Text’
with ‘Gtk.TextBuffer’
arising from a use of ‘:=’
~ In the expression: #label := (buffer)
In the second argument of ‘set’, namely ‘[#label := (buffer)]’
In the third argument of ‘on’, namely
‘(set msg [#label := (buffer)])’
|
44 | on btn #clicked (set msg [#label := (buffer)])
|
```

[as_capabl]

igrepさんの回答にある通り、 `textBufferGetText` を呼ぶ必要があります。……なのですが、引数のTextIterを取る方法も必要ですね。なので textBufferGetBounds ( http://hackage.haskell.org/package/gi-gtk-4.0.1/docs/GI-Gtk-Objects-TextBuffer.html#v:textBufferGetBounds ) も呼ぶ必要があります。かなり面倒ですね

[apo]

ご教示ありがとうございます。調べてみます。

[apo]

TextViewは複数行入力のテキストボックスのようなので、単行入力のEntryで作り直しました。上記アドバイスを基にコーディングしたら動きました。ありがとうございます。https://github.com/ringo-apo/haskell-gi_entry