IsLabel型クラス
OverloadedLabelsで使っている
GHC.OverloadedLabelsで定義されている ref
hsclass IsLabel (x :: Symbol) a where
fromLabel :: aOverloadedLabelsで使えるのはわかったがこのclass単体で何をしているのかちゃんと見てない
昔は個別のRecordごとにinstanceを定義する必要があった
hsinstance IsLabel "hoge" (Hoge -> Int) where
fromLabel Hoge { hoge } = hoge今はこれ一つ定義しておけば良い
hs{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE ScopedTypeVariables #-}
import GHC.OverloadedLabels (IsLabel (fromLabel))
import GHC.Records (HasField (getField))
instance HasField x r a => IsLabel x (r -> a) where
fromLabel = getField @x