First iteration of endoscope, MVP on Z_7(*)

zSeven.hs

monogenic :: Int -> Int -> (Int -> Int -> Int) -> [Int]
monogenic size seed mult = take size $ iterate f seed
   where
      f = mult seed

endoscope :: Int -> (Int -> Int -> Int) -> Graph
endoscope size mult = buildG (0,size) $ concat [ g i | i <- [0..size]]

  where
      g blar =  zip (replicate size  blar) (f blar)
        where
          f x = monogenic size x mult

mul7 :: Int -> Int -> Int
mul7 x y = mod (x*y) 7

main = print $ endoscope 7 mul7