Index

• || §3.4
• : §4.2.1
• >> §3.15
• >>= §3.15
• () §3.3
• [u,v..] §4.2.3
• [u,v..w] §4.2.3
• [u..] §4.2.3
• [u..v] §4.2.3
• & §3.4
• &> §3.4
• && §3.4
• _ Chapter 2
• ++ §3.8
• =:= §3.4
• == §3.4
• $ §7.3
• addCookies §7.9.2
• anonymous variable Chapter 2
• associativity
  • values §3.2
• atom §3.2
• attribute (HTML tag) §7.2
• BaseHtml §7.2
• BaseStruct §7.2
• BaseText §7.2
• binary search tree §4.3.1
• binary tree §3.6, §4.3.1
  • branch §4.3.1
  • empty §4.3.1
• bold §7.2
• Bool §3.3
• Boolean conjunction §3.4
• Boolean disjunction §3.4
• Boolean equality §3.14.1, §3.4
• breakline §7.2
• button
  • radio §7.7
• calendarTimeToString §7.3
• CGI §7.3
• Char §3.3
• child 2nd item
• comprehension
  • generator §4.2.4
  • guard §4.2.4
• concatMap §7.2
• conditional expression Chapter 2, §3.2
• conjunction
  • Boolean §3.4
  • parallel §3.4
• Cons §4.2.1
• constrained equality §3.14.2, §3.4
• constrained expression §3.4
• constraint Chapter 2
  • equational Chapter 2
• cookie §7.9.2
• CPM Chapter 5
• curry2cgi §7.4
• currydoc §4.2.5
• cypm Chapter 5
• data constructor §3.6
• data declaration §3.6
  • data constructor §3.6
  • type §3.6
  • type constructor §4.3.1
  • type variable §3.6
• data structure 2nd item
  • infinite §3.12
• default rule §3.5.6
• defining equation Chapter 2
• design pattern §6.1
• disjunction
  • Boolean §3.4
• do §3.15
• do notation §3.15
• documentation §4.2.5
• doesDirectoryExist §7.9.1
• doesFileExist §7.7
• done §3.15
• ensureNotFree §3.14.3
• equality
  • Boolean §3.4
  • constrained §3.4
• equation
  • defining Chapter 2
• equational constraint Chapter 2
• evaluation §3.12, §3.5.1
  • completeness §3.12
  • lazy §3.12, §3.5.1
  • short circuit §3.5.1
  • strategy §3.12
• event handler §7.5
• expression
  • conditional Chapter 2, §3.2
  • constrained §3.4
  • definition §3.2
  • ground §3.14.3
  • HTML §7.2
• extra variable §3.14.1
• filter §4.2.6
• flexible §3.14.3
• floundering §3.14.2
• folding functions §4.2.6
• foldr §4.2.6
• form §7.5
• free variable Chapter 2
• function 1st item
  • anonymous §3.11, §3.5.1
  • application §3.2
  • argument §3.5.1
  • argument binding §3.5.1
  • flexible §3.14.3
  • higher order §3.11
  • identifier §3.5.1
  • nested §3.13.1
  • rigid §3.14.3
• functional logic languages §3.14
• functional pattern §3.5.5
• getChar §3.15
• getCookies §7.9.2
• getDirectoryContents §7.9.1
• getLine §3.15
• getLocalTime §7.3
• getUrlParameter §7.9.1
• ground expression §3.14.3
• h1 §7.2
• higher-order
  • on lists §4.2.6
• hrule §7.2
• HTML §7.1
  • environment §7.5
  • event handler §7.5
  • expression §7.2
  • form §7.5
  • reference §7.5
• HtmlPage §7.2
• htmlQuote §7.2
• htxt §7.2
• if-then-else §3.2
• image §7.2
• infinite structures §4.2.3
• infix §3.2
• infix operator Chapter 2
  • associativity §3.2
  • character set §3.2
  • declaration §3.2
  • precedence §3.2
• infixl §3.2
• infixr §3.2
• Int §3.3
• IO §3.15
• italic §7.2
• juxtaposition §3.2
• layout §3.13.3
• layout rule Chapter 2
• laziness §3.12
• let §3.13.2
• let clause §3.13.2
• library
  • HTML.Base §7.2
• lines §7.7, Exercise 14
• List §3.3
• list §3.3, 1st item
  • comprehension §4.2.4
  • cons §3.7
  • definition §3.7, §4.2.1
  • enumeration §3.7, §4.2.1
  • head §3.7
  • higher-order functions §4.2.6
  • nil §3.7
  • notation §3.7, §4.2.1
  • ranges §4.2.3
  • tail §3.7
• logic variable §3.14
• lookup §7.9.2
• map §4.2.6
• mapM §7.9.1
• maybe §7.9.2
• monadic I/O §3.15
• narrowing §3.14.2
• Nil §4.2.1
• non-deterministic operation Chapter 2, §3.5.4
• off-side rule Chapter 2, §3.13.3
• operation 1st item
  • non-deterministic Chapter 2, §3.5.4
• operator Chapter 2
  • infix Chapter 2
• ordered tree §4.3.2
• otherwise §3.5.3
• overloading §3.14.4, §3.9
• package §5.3
  • html §7.2
  • html2 §7.1
• page §7.2
• PAKCS Chapter 2
• pakcs Chapter 2
• parallel conjunction §3.4
• parameter
  • URL §7.9.1
• pattern Chapter 2
  • functional §3.5.5
  • intent §6.1
  • name §6.1
  • solution §6.1
  • structure §6.1
  • tag §6.1
• pattern matching §3.5.2
• pattern variable §3.14.1
• powerset §4.2.7
• precedence
  • values §3.2
• prefix §3.2
• Prelude Chapter 2, §3.2
• program Chapter 2
• putChar §3.15
• putStrLn §3.15
• readFile §3.15
• removeFile §7.7
• renameFile §7.7
• residuation §3.14.2
• return §3.15
• reverse §3.8
• rewrite rule §3.5.1, §3.5.2
  • left-hand side §3.5.1
  • right-hand side §3.5.1
  • structure §3.5.3
• rigid §3.14.3
• root 2nd item, §4.3.1
• rule Chapter 2
  • conditional §3.5.3
  • default §3.5.6
• scope §3.13
  • local §3.13, §3.13.1
  • shadowing §3.13.1
• set function §4.2.7
  • library §4.2.7
• shadowing §3.13.1
• show §3.15
• showBaseHtmls §7.2
• showHtmlPage §7.2
• static scoping §3.13
• strategy §3.12
• String §3.3, §3.8
• tags (HTML) 2nd item
• time §7.3
• toUpper §3.15
• tree 2nd item
  • traversal §4.3.1
• tuple §3.3, §3.9
• type §3.3, §3.6, §3.6
  • builtin §3.3
  • polymorphic §3.6
  • synonym §3.6
• type constructor §4.3.1
• type inference Chapter 2
• type variable §3.6
• types Chapter 2
• unit type §3.3
• unlines §7.7
• URL
  • parameter §7.9.1
• value Chapter 2
  • definition §3.12
• variable
  • anonymous Chapter 2
  • free Chapter 2
  • local §3.13.1
• W3C §7.1
• where §3.13.1
• where clause §3.13.1
• writeFile §3.15
• zip §7.7