@ has joined the channel
data とレコード構文で定義した、一つだけコンストラクタを持つ型について、コンストラクタの各引数へのアクセサとなるLensを勝手に導出してくれるような方法はありますか？(f $ g) はどのように理解できますか？ghci> let f = (1 +) :: (Num a) => a -> a ghci> let g = (2 +) :: (Num a) => a -> a ghci> :t (f $ g) (f $ g) :: (Num a, Num (a -> a)) => a -> a
ghci> let a = (1 +) :: Int -> Int
ghci> let b = (2 +) :: Int -> Int
ghci> :t (a $ b)
<interactive>:1:6: error:
• Couldn't match expected type 'Int' with actual type 'Int -> Int'
• In the second argument of '($)', namely 'b'
In the expression: a $ bSpec.hs 1 1 error could not execute: hspec-discover (lsp)Spec.hs:
{-# OPTIONS_GHC -F -pgmF hspec-discover #-}