Topics
- Getting started with Haskell Language
- Overloaded Literals
- Find
- Common GHC Language Extensions
- Type Classes
- IO
- Type Families
- Arrows
- Typed holes
- Infix operators
- Common monads as free monads
- Common functors as the base of cofree comonads
Examples
- Hello, World!
- Strings
- Executing commands against a found file
- ExistentialQuantification
- Type Synonym Families
- Datatype Families
- Function compositions with multiple channels
- Using typed holes to define a class instance
- Prelude
- Custom operators
- Finding information about infix operators
- Free Empty ~~ Identity
- Free Identity ~~ (Nat,) ~~ Writer Nat
- Free Maybe ~~ MaybeT (Writer Nat)
- Free (Writer w) ~~ Writer [w]
- Free (Const c) ~~ Either c
- Free (Reader x) ~~ Reader (Stream x)
- Cofree Empty ~~ Empty
- Cofree (Const c) ~~ Writer c
- Cofree Identity ~~ Stream
- Cofree Maybe ~~ NonEmpty
- Cofree (Writer w) ~~ WriterT w Stream
- Cofree (Either e) ~~ NonEmptyT (Writer e)
- Cofree (Reader x) ~~ Moore x
