コンテキストでの型の操作 Applicative型クラス:関数をコンテキスト内で使用するコンテキストでの部分適用に<*>を使用する <$>と<*>を使って複数の引数を持つ関数をIOで呼び出す

コンテキストでの型の操作 Applicative型クラス:関数をコンテキスト内で使用するコンテキストでの部分適用に<>を使用する <$>と<>を使って複数の引数を持つ関数をIOで呼び出す

入門Haskellプログラミング
 楽天ブックス
Yahoo!ショッピング
au PAY マーケット

開発環境

入門Haskellプログラミング (Will Kurt(著)、株式会社クイープ(監修、翻訳)、翔泳社)のUNIT5(コンテキストでの型の操作)、LESSON 28(Applicative型クラス:関数をコンテキスト内で使用する)、28.2(コンテキストでの部分適用に<>を使用する)、<$>と<>を使って複数の引数を持つ関数をIOで呼び出す、クイックチェック 28-4の解答を求めてみる。

コード

lesson/app/Main.hs

module Main where

import Lib
  ( minOfThree,
  )

main :: IO ()
main =
  print $
    minOfThree
      <$> Just 10
        <*> Just 3
        <*> Just 6

入出力結果(Terminal, Zsh)

% stack exec lesson-exe
Just 3
%