head / tail は単連結リストの言葉ですね。Haskell のリストはそのまま単連結リストなので、単連結リストの先頭を示す head とそれ以降を示す tail という言葉を関数名にそのまま流用したものです。head / tail を想定すると、ギョッとする命名かもしれませんねhead :: [a] -> Int -> [a] に相当するものとして take があります（引数の順番は逆なので注意）。first みたいなものを作れば良かったんじゃない、という意図なのかも知れませんが。head はなくてはならないものかというと必ずしもそういうことはなくて、 xs :: [a] について、 let (hd:tl) = xs in (hd,tlを使った式) とすれば先頭の要素とそれ以外を取り出せます。take がその順番になってる理由は、取る数よりリストの方が適用する種類が多いからそうなってるんでしょうか？setや overで ASetter として使えることは分かったのですが、Prismの中身に Lensを使用してアクセスしたいと思った時にやり方がわかりません。(例を下に載せます)makeBelongTo のようにしているものの、Characterの値コンストラクタが変わったら変更しなくてはいけなくなり、じゃあPrismにしたメリットないのでは、と悩んでいます。data Character = Animal {
_name :: String
, _age :: Int
, _memberOf :: Maybe String
}
| Object {
_name :: String
, _memberOf :: Maybe String
}
deriving (Show)
makePrisms ''Character
makeLenses ''Character
-- この関数を
makeBelengTo :: String -> Character -> Character
makeBelengTo belongTo c@(Animal n a _) = Animal n a (Just belongTo)
makeBelengTo belongTo c@(Object n _) = Object n (Just belongTo)
-- こんな感じにしたい(これだと動かない)
makeBelongToWithLens :: String -> Character -> Character
makeBelongToWithLens belongTo = set (_Animal.memberOf) (Just belongTo)
. set (_Object.memberOf) (Just belongTo)set (_Animal._3) (Just belongTo)
set memberOf (Just belongTo) か c{_memberOf=Just belongTo}で行けないでしょうか。indentBlock と同じなんでしょうか？`indentBlock` でできなくて lineFold ならできることがある？単に書き味の違い？Data.Yaml のパーサーコンビネーターの作り方について質問ですdecodeFileEitherなどで読み込んだYamlの中にあるパスをさらに読み込んでパースがしたいのですが、一度他の型を経由させる方法しか思いつかなくて迷っています。runParser 内部にある f がどうにかできないのかなと思っているのですがよくわからず…data:
- path: foo.yaml
offset: (0, 1)
...decodeFileEither で読んだ時、`foo.yaml` も読み込んで結果に含めたいです。decodeFileEither で読んでいます。data ActualData = ActuallData ...
data IntermediateData = IntermidiateData { path :: FilePath, ... }
load :: FilePath -> IO (Either ParseException ActualData)
load fp = do
intermediate <- decodeFileEither fp
includedData <- decodeFileEither $ path intermediate
return -- intermediate と includedData を使用して、ActualData を生成するFace をデコードするために、一度 FaceFile としてデコードした後に読み直している)パーサー(`Parser a` )内部でIOを使うことは可能でしょうか少なくとも、これはできないと思います。
Parser a は https://hackage.haskell.org/package/aeson-1.4.6.0/docs/Data-Aeson-Types.html#t:Parser で、 IO を含まないので。Record IO を返すようにするか、そこまでしなくとも IO 型の値をフィールドに含めるのはいかがでしょうか？Recordについては全く知らなかったので調べてみます！IO (Parser a) みたいにできるんじゃないかな、HKD なら最終的にはIOを取り外す処理は一括でできるのでしょうかえぇ、その部分はbarbiesに任せられるはず。そこを一括でできるのがbarbiesの強みなので
Parser (IO a) （もっと正確には、 Compose Parser IO a ）から IO a に変換して最終的に Identity a として取り出せるようになるかと。read8 を使用している箇所が多相になっているためにコンパイル時に型が特定できてない、というケースだと思うので、`read8` を 実際に呼んでいる箇所を一つずつ検証することになりますね... 呼んでいる関数をインライン化するとか。ただ、上記の回答だけでも、質問者さんへの回答にはなっているかと思いました。そうですね... ただこういう質問自体にうんざりしてまして。