Entries from 2014-09-04 to 1 day
演算子を以下のように定義する。 (<=<) :: (Monad m) => (b -> m c) -> (a -> m b) -> (a -> m c) f <=< g = (\x -> g x >>= f) するとモナド則は以下のようになる。 return <=< f = f f <=< return = f (f <=< g) <=< h = f <=< (g <=< h)
演算子を以下のように定義する。 (<=<) :: (Monad m) => (b -> m c) -> (a -> m b) -> (a -> m c) f <=< g = (\x -> g x >>= f) するとモナド則は以下のようになる。 return <=< f = f f <=< return = f (f <=< g) <=< h = f <=< (g <=< h)