@@ -6,6 +6,7 @@ import Data.Vect
6import Data.Vect.Quantifiers
6import Data.Vect.Quantifiers
8%default total
8%default total
10Cell : Nat -> Type
11Cell : Nat -> Type
11Cell n = Maybe (Fin n)
12Cell n = Maybe (Fin n)
@@ -32,7 +33,7 @@ unlines (l::ls) = pack (foldl addLine (unpack l) (map unpack ls))
32 addLine : List Char -> List Char -> List Char
33 addLine : List Char -> List Char -> List Char
33 addLine w s = w ++ ('\n' :: s)
34 addLine w s = w ++ ('\n' :: s)
35−instance Show (Board n) where
36+Show (Board n) where
36 show (MkBoard rs) = unlines (map showRow rs)
37 show (MkBoard rs) = unlines (map showRow rs)
38updateAt : Fin n -> Vect n a -> (a -> a) -> Vect n a
39updateAt : Fin n -> Vect n a -> (a -> a) -> Vect n a