Apply型クラス
f 関数
を
f 値
に作用する
f
は
Functor型クラス
例えば
Just (* 3)
のような感じ
Functor型クラス
を継承する
pursuit
定義
code:purs(hs)
class Functor f <= Apply f where
apply :: forall a b. f (a -> b) -> f a -> f b
apply
,
ap
,
<*>
fp-ts
ref