Background

• Constructors (pdf)
• TypeClasses (pdf)
• Functions (pdf)
• Expressions (pdf)
• Operators (pdf)

Functors

• Functor Overview (pdf)
• Function Functor (pdf)
• Functor Lifting (pdf)

Applicatives

• Applicatives Overview (pdf)
• Applicatives Methods (pdf)
• Function Applicative (pdf)
• Applicatives Sequencing (pdf)

Monads I : Background

• Side Effects (pdf)
• Monad Overview (pdf)
• Monadic Operations (pdf)
• Maybe Monad (pdf)
• IO Actions (pdf)
• Several Monad Types (pdf)

Monads II : State Transformer Monads

• State Transformer

- State Transformer Basics (pdf)

- State Transformer Generic Monad (pdf)

- State Transformer Monads (pdf)

• State Monad

- State Monad Basics (pdf)

- State Monad Methods (pdf)

- State Monad Examples (pdf)

Monads III : Mutable State Monads

• Mutability Background

- Types (pdf)

- Primitive Types (pdf)

- Polymorphic Types (pdf)

- Existential Types (pdf)

- Mutability and Strictness (pdf)

- Strict and Lazy Packages (pdf)

• Mutable Objects

- Mutable Variables (pdf)

- Mutable Data Structures (pdf)

• IO Monad

- IO Monad Basics (pdf)

- IO Monad Methods (pdf)

- IORef Mutable Variable (pdf)

• ST Monad

- ST Monad Basics (pdf)

- ST Monad Methods (pdf)

- STRef Mutable Variable (pdf)

Monads IV : Reader and Writer Monads

• Function Monad (pdf)
• Monad Transformer (pdf)
• MonadState Class

- State & StateT Monads (pdf)

- MonadReader Class (pdf)

• MonadReader Class

- Reader & ReaderT Monads (pdf)

- MonadReader Class (pdf)

• Control Monad (pdf)

Monoid

• Monoids (pdf)

Arrow

• Arrows (pdf)