/mrsekut-p/Apply型クラス

generated at 2/21/2025, 7:05:11 PM

Apply型クラス
 f 関数 を f 値 に作用する
 f はFunctor型クラス
例えば Just (* 3) のような感じ
Functor型クラスを継承する

pursuit

定義
purs(hs)class Functor f <= Apply f where
  apply :: forall a b. f (a -> b) -> f a -> f b
 apply ,  ap ,  <*>

fp-ts ref