# Haskell 2010 Language Report Simon Marlow (editor) Copyright notice. The authors and publisher intend this Report to belong to the entire Haskell community, and grant permission to copy and distribute definition of the language Haskell 2010. Powered by TCPDF (www.tcpdf.org) ## Contents I The Haskell 2010 Language 1 1 Introduction 3 1.1 Program Structure 3 1.2 The Haskell Kernel 4 1.3 Values and Compilation 71 5.8 Abstract Datatypes 71 **Predefined Types and Classes** 73 6.1 Standard Haskell Types 73 6.1.1 Booleans 73 6.1.2 Characters and Strings 73 6.1.3 Lists 74 6.1.4 Tuples 74

Extensions 55 Typography 55 Headings and sections 56 Math Input 57 Raw HTML/TeX 57 Literate Haskell support 58 Other extensions 59 Pandoc's Markdown 63 Philosophy 63 Paragraphs 63 Synopsis pandoc [options] [input-file]... Powered by TCPDF (www.tcpdf.org) ## Description Pandoc is a Haskell library for converting from one markup format to another, and a command-line tool that uses this Markdown) ## Options • mediawiki (MediaWiki markup) • man (roff man) • muse (Muse) • native (native Haskell) • odt (ODT) • opml (OPML) • org (Emacs Org mode) • ris (RIS bibliography) • rtf (Rich Text

https://www.haskell.org/ghc/ • cabal-install: https://www.haskell.org/cabal/ • Alex: https://www.haskell.org/alex/ • Happy: https://www.haskell.org/happy/ • cpphs: https://hackage.haskell.org/package/cpphs are several ways to install Agda: • Using a released source package from Hackage [https://hackage.haskell.org/package/Agda] • Using a binary package prepared for your platform • Using the development version from Hackage You can install the latest released version of Agda from Hackage [https://hackage.haskell.org/package/Agda]. Install the prerequisites and then run the following commands: cabal update cabal

https://www.haskell.org/ghc/ • cabal-install: https://www.haskell.org/cabal/ • Alex: https://www.haskell.org/alex/ • Happy: https://www.haskell.org/happy/ • cpphs: https://hackage.haskell.org/package/cpphs are several ways to install Agda: • Using a released source package from Hackage [https://hackage.haskell.org/package/Agda] • Using a binary package prepared for your platform • Using the development version from Hackage You can install the latest released version of Agda from Hackage [https://hackage.haskell.org/package/Agda]. Install the prerequisites and then run the following commands: cabal update cabal

following programs: • GHC: https://www.haskell.org/ghc/ • cabal-install: https://www.haskell.org/cabal/ • Alex: https://www.haskell.org/alex/ • Happy: https://www.haskell.org/happy/ • GNU Emacs: http://www are several ways to install Agda: • Using a released source package from Hackage [https://hackage.haskell.org/package/Agda] • Using a binary package prepared for your platform • Using the development version from Hackage You can install the latest released version of Agda from Hackage [https://hackage.haskell.org/package/Agda]. Install the prerequisites and then run the following commands: cabal update cabal

Indexed datatypes - Strict positivity - Foreign Function Interface - Compiler Pragmas - Haskell FFI - JavaScript FFI - Function Definitions - Introduction - General form - Special different concepts. The most prominent is natural numbers, which has a special representation as Haskell integers and support for fast arithmetic. The surface syntax of these concepts are not fixed, however it can be overloaded to include other types as well. • Closed natural numbers are represented as Haskell integers at compile-time. - The compiler backends compile natural numbers to the appropriate number

https://www.haskell.org/ghc/ • cabal-install: https://www.haskell.org/cabal/ • Alex: https://www.haskell.org/alex/ • Happy: https://www.haskell.org/happy/ • cpphs: https://hackage.haskell.org/package/cpphs different concepts. The most prominent is natural numbers, which has a special representation as Haskell integers and support for fast arithmetic. The surface syntax of these concepts are not fixed, however returning booleans, such as built-in NATEQUALS, and letting the GHC backend know to compile the type to Haskell Bool. #### 3.2.4 Natural numbers module Agda.Builtin.Nat Built-in natural numbers are bound using

https://www.haskell.org/ghc/ • cabal-install: https://www.haskell.org/cabal/ • Alex: https://www.haskell.org/alex/ • Happy: https://www.haskell.org/happy/ • cpphs: https://hackage.haskell.org/package/cpphs different concepts. The most prominent is natural numbers, which has a special representation as Haskell integers and support for fast arithmetic. The surface syntax of these concepts are not fixed, however returning booleans, such as built-in NATEQUALS, and letting the GHC backend know to compile the type to Haskell Bool. #### 3.2.4 Natural numbers module Agda.Builtin.Nat Built-in natural numbers are bound using

following programs: • GHC: https://www.haskell.org/ghc/ • cabal-install: https://www.haskell.org/cabal/ • Alex: https://www.haskell.org/alex/ • Happy: https://www.haskell.org/happy/ • GNU Emacs: http://www different concepts. The most prominent is natural numbers, which has a special representation as Haskell integers and support for fast arithmetic. The surface syntax of these concepts are not fixed, however returning booleans, such as built-in NATEQUALS, and letting the GHC backend know to compile the type to Haskell Bool. #### 3.2.4 Natural numbers module Agda.Builtin.Nat Built-in natural numbers are bound using

different concepts. The most prominent is natural numbers, which has a special representation as Haskell integers and support for fast arithmetic. The surface syntax of these concepts are not fixed, however it can be overloaded to include other types as well. • Closed natural numbers are represented as Haskell integers at compile-time. • The compiler backends compile natural numbers to the appropriate number representation of integers at compile-time since the overhead of using the data type compared to Haskell integers is not that big. Built-in integers support the following primitive operation (given a suitable