IOから値を取り出したい

タプルを生成し、全タプルのリストを生成したいです。
具体的には[(0,0,0), (0,0,1), ...]のような感じです。

まずタプルを生成して返す関数を作りたいです。

initX :: Int -> Int
initX n | n < 4     = 2
        | otherwise = 4
        
initY :: Int -> Int
initY n = 0
        
initZ :: Int -> Int
initZ n = 0

initVector :: Int -> (Int, Int, Int)
initVector n = (initX n, initY n, initZ n)

print $ initVector 3 -- (2,0,0)

この関数をひとつにしたいのでdoを使いました。

initVectorIO :: Int -> IO (Int, Int, Int)
initVectorIO n = do
    let x | n < 4 = 2
          | otherwise = 4
    let y = 0
    let z = 0
    return (x, y, z)

するとIO型になるので取り出す必要がでてきました。

print =<< initVectorIO 3 -- (4,0,0)

最終的にリストを返す関数はこちらです。

initPosition :: Int -> [(Int, Int, Int)]
initPosition n
    | 0 <  n = initPosition(n-1) ++ [initVector n]
    | 0 >= n = []

このinitPositionのinitVectorの部分にinitVectorIOを使いたいです。お願いします。

行動規範の内容に同意します

回答1件

ベストアンサー

そもそも論で申し訳ないのですが

しかし、この関数をひとつにしたいのでdoを使いました。

するとIO型になるので取り出す必要がでてきました。

IO型にしなければいいのでは?

haskell
1initVector' :: Int -> (Int, Int, Int)
2initVector' n = 
3    (x, y, z)
4    where
5        x | n < 4 = 2
6          | otherwise = 4
7        y = 0
8        z = 0