Added modules to all files

.envrc

@@ -0,0 +1 @@
+use flake

.gitignore

@@ -4,3 +4,5 @@
 *.hi
 *.o
 .DS_Store
+.claude
+.direnv

ch1/baby.hs

@@ -1,3 +1,5 @@
+module Baby where
+
 doubleMe x = x + x
 
 doubleUs x y = doubleMe x + doubleMe y

ch10/heathrow.hs

@@ -1,3 +1,5 @@
+module Heathrow where
+
 import Data.List
 
 data Section = Section { getA :: Int, getB :: Int, getC :: Int }

ch10/solverpn.hs

@@ -1,3 +1,5 @@
+module SolverPN where
+
 solveRPN :: String -> Double
 solveRPN = head . foldl foldingFunction [] . words
     where   foldingFunction (x:y:ys) "*" = (y * x):ys

ch11/cmaybe.hs

@@ -1,3 +1,5 @@
+module CMaybe where
+
 data CMaybe a = CNothing | CJust Int a deriving Show
 
 instance Functor CMaybe where

ch11/fmapping_io.hs

@@ -1,3 +1,5 @@
+module FmappingIO where
+
 import Data.Char
 import Data.List
 

ch11/iofunctor.hs

@@ -1,3 +1,5 @@
+module IOFunctor where
+
 main = do 
     line <- fmap reverse getLine
     putStrLn $ "You said " ++ line ++ " backwards!"

ch13/knight.hs

@@ -1,3 +1,5 @@
+module Knight where
+
 type KnightPos = (Int, Int)
 type KnightPath = [KnightPos]
 

ch14/difflist.hs

@@ -1,3 +1,5 @@
+module DiffList where
+
 import Control.Monad.Writer
 
 newtype DiffList a = DiffList { getDiffList :: [a] -> [a] }

ch14/knight-monadic.hs

@@ -1,3 +1,5 @@
+module KnightMonadic where
+
 import Control.Monad
 type KnightPos = (Int, Int)
 type KnightPath = [KnightPos]

ch14/monadic.hs

@@ -1,3 +1,5 @@
+module Monadic where
+
 import Control.Monad.Writer
 
 keepSmall :: Int -> Writer [String] Bool 

ch14/prob.hs

@@ -1,3 +1,5 @@
+module Prob where
+
 import Data.Ratio
 import Data.Bifunctor
 import Control.Monad

ch14/random.hs

@@ -1,3 +1,5 @@
+module Random14 where
+
 import System.Random
 import Control.Monad.State
 
@@ -9,4 +11,4 @@ threeCoins = do
     a <- randomSt
     b <- randomSt
     c <- randomSt
-    return (a, b, c)
+    return (a, b, c)

ch14/reader.hs

@@ -1,3 +1,5 @@
+module Reader where
+
 addStuff :: Int -> Int
 addStuff = do
     a <- (*2)

ch14/ropewalker.hs

@@ -1,3 +1,5 @@
+module RopeWalker where
+
 -- In the previous chapter, we used the monadic aspects of Maybe 
 -- to simulate birds landing on the balancing pole of a tightrope
 -- walker. As an exercise, you can rewrite that with the error 

ch14/stack.hs

@@ -1,3 +1,5 @@
+module Stack where
+
 import Control.Monad.State
 
 type Stack = [Int]

ch15/filesystem.hs

@@ -1,3 +1,5 @@
+module Filesystem where
+
 import Data.List (break)
 
 x -: f = f x

ch15/tree.hs

@@ -1,3 +1,5 @@
+module Tree15 where
+
 data Tree a = Empty | Node a (Tree a) (Tree a)
     deriving Show
 

ch2/factorial.hs

@@ -1,3 +1,5 @@
+module Factorial where
+
 factorial :: Integer -> Integer
 factorial n = product [1..n]
 

ch3/lucky.hs

@@ -1,3 +1,5 @@
+module Lucky where
+
 lucky :: Int -> String
 lucky 7 = "LUCKY NUMBER SEVEN!"
 lucky x = "Sorry, you're out of luck, pal!"

ch4/maximum.hs

@@ -1,3 +1,5 @@
+module Maximum where
+
 maximum' :: (Ord a) => [a] -> a
 maximum' [] = error "maximum of empty list!"
 maximum' [x] = x

ch7/deriving.hs

@@ -1,3 +1,5 @@
+module Deriving where
+
 data Person = Person { firstName :: String
 , lastName :: String
 , age :: Int} deriving (Eq, Show, Read)

ch7/lockers.hs

@@ -1,3 +1,5 @@
+module Lockers where
+
 import qualified Data.Map as Map
 
 data LockerState = Taken | Free deriving (Show, Eq)

ch7/modules.hs

@@ -1,3 +1,5 @@
+module Modules where
+
 import Data.List
 import Data.Char
 import qualified Data.Map as Map

ch7/ownlist.hs

@@ -1,3 +1,5 @@
+module OwnList where
+
 infixr 7 :-:
 data List a = Empty | a :-: (List a) deriving (Show, Read, Eq, Ord)
 

ch7/typesyn.hs

@@ -1,3 +1,5 @@
+module TypeSyn where
+
 type PhoneNumber = String
 type Name = String
 type PhoneBook = [(Name, PhoneNumber)]

ch7/yesno.hs

@@ -1,3 +1,5 @@
+module YesNo where
+
 import Traffic
 import Tree
 

ch8/forever.hs

@@ -1,3 +1,5 @@
+module Forever where
+
 import Control.Monad
 import Data.Char
 import System.IO

ch8/form.hs

@@ -1,3 +1,5 @@
+module Form where
+
 import Control.Monad
 
 main = do

ch8/helloworld.hs

@@ -1 +1,3 @@
+module HelloWorld where
+
 main = putStrLn "Hello, world"

ch8/putStr.hs

@@ -1,3 +1,5 @@
+module PutStr where
+
 main = do
     putStr "hey, "
     putStr "I'm "

ch8/reverse.hs

@@ -1,3 +1,5 @@
+module Reverse where
+
 main = do
     line <- getLine
     if null line

ch8/rock.hs

@@ -1,3 +1,5 @@
+module Rock where
+
 main = do
     putStrLn "Hello, what's your name?"
     name <- getLine

ch8/rock2.hs

@@ -1,3 +1,5 @@
+module Rock2 where
+
 import Data.Char
 
 main = do

ch8/when.hs

@@ -1,3 +1,5 @@
+module When where
+
 import Control.Monad
 
 main = do

ch9/appendtodo.hs

@@ -1,3 +1,5 @@
+module AppendTodo where
+
 import System.IO
 
 main = do

ch9/arg-test.hs

@@ -1,3 +1,5 @@
+module ArgTest where
+
 import System.Environment
 import Data.List
 

ch9/bytestringcopy.hs

@@ -1,3 +1,5 @@
+module ByteStringCopy where
+
 import System.Environment
 import System.Directory
 import System.IO

ch9/capslocker.hs

@@ -1,3 +1,5 @@
+module CapsLocker where
+
 import Control.Monad
 import Data.Char
 

ch9/deletetodo.hs

@@ -1,3 +1,5 @@
+module DeleteTodo where
+
 import System.IO
 import System.Directory
 import Data.List

ch9/girlfriend-caps.hs

@@ -1,3 +1,5 @@
+module GirlfriendCaps where
+
 import System.IO
 import Data.Char
 

ch9/girlfriend.hs

@@ -1,3 +1,5 @@
+module Girlfriend where
+
 import System.IO
 
 main = do

ch9/guess_the_number.hs

@@ -1,3 +1,5 @@
+module GuessTheNumber where
+
 import System.Random
 import Control.Monad(when)
 

ch9/palindrome.hs

@@ -1,3 +1,5 @@
+module Palindrome where
+
 main = interact respondPalindrome
 
 respondPalindrome :: String -> String

ch9/random.hs

@@ -1,3 +1,5 @@
+module Random where
+
 import System.Random
 
 threeCoins :: StdGen -> (Bool, Bool, Bool)

ch9/random_string.hs

@@ -1,3 +1,5 @@
+module RandomString where
+
 import System.Random
 
 main = do

ch9/shortlinesonly.hs

@@ -1,3 +1,5 @@
+module ShortLinesOnly where
+
 main = do
     contents <- getContents
     putStr (shortLinesOnly contents)

ch9/shortonly.hs

@@ -1,3 +1,5 @@
+module ShortOnly where
+
 main = interact shortLinesOnly
 
 shortLinesOnly :: String -> String

ch9/todo.hs

@@ -1,3 +1,5 @@
+module Todo where
+
 -- todo check that index is not out of bounds
 -- todo check that the index is a number
 

flake.nix

@@ -11,8 +11,19 @@
       let
         pkgs = nixpkgs.legacyPackages.${system};
 
-        haskellPackages = pkgs.haskell.packages.ghc9122;
-
+        haskellPackages = pkgs.haskell.packages.ghc9122.override {
+          overrides = self: super: {
+            brick = pkgs.haskell.lib.overrideCabal super.brick (oldAttrs: {
+              version = "2.9";
+              src = pkgs.fetchFromGitHub {
+                owner = "jtdaugherty";
+                repo = "brick";
+                rev = "13fc9ede648de359366ed1d2b865fbd847fb2dc5";
+                sha256 = "sha256-t+S7BkKYuq71rsiffOTuwgnmlWwGPlp5dxHZscsu9w8=";
+              };
+            });
+          };
+        };        
         ghcWithPackages = haskellPackages.ghcWithPackages (ps: with ps; [
           # Basic packages that might be useful for the examples
         ]);
@@ -47,4 +58,4 @@
           '';
         };
       });
-}
+}