Index

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

 

$
$>
&
&&
*
+
++
-
->
|.|
/=
:
::
<
<$
<$>
<&>
<*>
<=
=<<
==
=>
>
>=
>>=
algebraic datatype
An introduction to lists
Anonymous Functions
ap
Applicative
Applicative functors
applicative functors
ask
asks
Bool
boolean
Booleans
bottoms
case
case*
catch
class
const
Controlling Evaluation
Core Syntactic Forms
curried
d*
d+
d-
d/
data
Datatypes
def
default method
Defining algebraic datatypes
Defining type aliases
Defining typeclasses and typeclass instances
Definitions
defn
derive-instance
deriving transformer
do
Double
drop
either
Either
Enumerations
Eq
Equality
Error
error monad transformer
error!
ErrorT
ErrorT
False
filter
fixity annotation
flip
foldl
foldr
forall
from-maybe
fst
function applications
function type
Functions
Functor
Functors
functors
hackett
Hackett Essentials
hackett/data/identity
hackett/monad/error
hackett/monad/reader
hackett/monad/trans
head
head!
I/O
I/O actions
id
Identity
Identity
if
ignore
Imports
Incomplete Programs
infix mode
infix operator
Infix Syntax
instance
Integer
IO
is-left
is-right
join
Just
lambda
lambda*
Left
lefts
let
letrec
lift
List
List
list
Lists
local
Local Bindings
main
main actions
map
Maybe
maybe
mempty
Monad
Monad Transformers
monad transformers
Monads
monads
MonadTrans
Monoid
monoid
Nil
not
Nothing
Numbers
operator fixity
Optionals
partial functions
Partial Functions and Nontermination
partition-eithers
pattern
Pattern Matching
print
Printing for debugging
println
pure
Quantification and Constrained Types
Quick Start
Reader
reader monad transformer
ReaderT
ReaderT
Representing operations that can fail
require
Right
rights
run-error
run-error-t
run-identity
run-reader
run-reader-t
Semigroup
semigroups
Semigroups and monoids
seq
sequence
show
Show
Simple Definitions
snd
String
string-length
string-split
Strings
sum
tail
tail!
take
The Hackett Guide
The Hackett Programming Language
The Hackett Reference
The Identity Type
throw
todo!
total
traverse
True
Tuple
Tuple
tuple
Tuples
type
type
type alias
Type Annotation
type constructor
type erasure
typeclass
typeclass instance
typeclass methods
Typeclasses
undefined!
Unit
Unit
Unit
values
well-typed
Working with data
\|\|
λ
λ*