Functional Programming with Haskell - Function types

하스켈의 Data.Char 모듈에는 문자를 다루는 다수의 함수가 포함되어 있다. 

먼저 :m Data.Char 과 같이 해당 모듈을 로딩한다.

Prelude> :m Data.Char
 
Prelude Data.Char> isLower 'b'
True
it :: Bool
 
Prelude Data.Char> toUpper 'a'
'A'
it :: Char
 
Prelude Data.Char> ord 'A'
65
it :: Int
 
Prelude Data.Char> chr 66
'B'
it :: Char

아래와 같이 모듈명을 붙여서(with a qualified name) 참조할 수도 있다.

Prelude> Data.Char.ord 'G'
71
it :: Int

함수의 타입을 알아보기 위해 gchi 의 :type 명령어를 사용할 수 있다.

Prelude> :type isLower
isLower :: Char -> Bool

여기서 -> 는 as "to" 라고 읽는다.

Char -> Bool 이 의미하는 것은 해당 함수는 문자 타입의 인수를 받아서 불 타입으로 그 결과를 반환한다는 것이다. 위에서 사용된 함수의 타입을 좀 더 살펴보자.

Prelude Data.Char> :type toUpper
toUpper :: Char -> Char
 
Prelude Data.Char> :type ord
ord :: Char -> Int
 
Prelude Data.Char> :type chr
chr :: Int -> Char

:browse Data.Char 와 같이 해당 모듈에 속한 모든 함수의 타입을 한 번에 살펴볼 수도 있다.

Prelude> :browse Data.Char
data Data.Char.GeneralCategory
  = Data.Char.UppercaseLetter
  | Data.Char.LowercaseLetter
  | Data.Char.TitlecaseLetter
  | Data.Char.ModifierLetter
  | Data.Char.OtherLetter
  | Data.Char.NonSpacingMark
  | Data.Char.SpacingCombiningMark
  | Data.Char.EnclosingMark
  | Data.Char.DecimalNumber
  | Data.Char.LetterNumber
  | Data.Char.OtherNumber
  | Data.Char.ConnectorPunctuation
  | Data.Char.DashPunctuation
  | Data.Char.OpenPunctuation
  | Data.Char.ClosePunctuation
  | Data.Char.InitialQuote
  | Data.Char.FinalQuote
  | Data.Char.OtherPunctuation
  | Data.Char.MathSymbol
  | Data.Char.CurrencySymbol
  | Data.Char.ModifierSymbol
  | Data.Char.OtherSymbol
  | Data.Char.Space
  | Data.Char.LineSeparator
  | Data.Char.ParagraphSeparator
  | Data.Char.Control
  | Data.Char.Format
  | Data.Char.Surrogate
  | Data.Char.PrivateUse
  | Data.Char.NotAssigned
Data.Char.digitToInt :: Char -> Int
Data.Char.generalCategory :: Char -> Data.Char.GeneralCategory
Data.Char.isLetter :: Char -> Bool
Data.Char.isMark :: Char -> Bool
Data.Char.isNumber :: Char -> Bool
Data.Char.isPunctuation :: Char -> Bool
Data.Char.isSeparator :: Char -> Bool
Data.Char.isSymbol :: Char -> Bool
data Char = GHC.Types.C# GHC.Prim.Char#
GHC.Char.chr :: Int -> Char
GHC.Show.intToDigit :: Int -> Char
GHC.Unicode.isAlpha :: Char -> Bool
GHC.Unicode.isAlphaNum :: Char -> Bool
GHC.Unicode.isAscii :: Char -> Bool
GHC.Unicode.isAsciiLower :: Char -> Bool
GHC.Unicode.isAsciiUpper :: Char -> Bool
GHC.Unicode.isControl :: Char -> Bool
GHC.Unicode.isDigit :: Char -> Bool
GHC.Unicode.isHexDigit :: Char -> Bool
GHC.Unicode.isLatin1 :: Char -> Bool
GHC.Unicode.isLower :: Char -> Bool
GHC.Unicode.isOctDigit :: Char -> Bool
GHC.Unicode.isPrint :: Char -> Bool
GHC.Unicode.isSpace :: Char -> Bool
GHC.Unicode.isUpper :: Char -> Bool
GHC.Read.lexLitChar :: ReadS String
GHC.Base.ord :: Char -> Int
GHC.Read.readLitChar :: ReadS Char
GHC.Show.showLitChar :: Char -> ShowS
GHC.Unicode.toLower :: Char -> Char
GHC.Unicode.toTitle :: Char -> Char
GHC.Unicode.toUpper :: Char -> Char
Prelude>