Ticket #136: HT.hs

File HT.hs, 326 bytes (added by nr, 5 years ago)
Line 
1module HT
2where
3
4type Label = Int
5data AGraph n e x = A n
6data O = O
7data C = C
8
9-- | Create a while loop
10mkWhileDo    :: Ord n
11             => (Label -> Label -> AGraph n O C) -- ^ loop condition
12             -> AGraph n O O -- ^ body of the loop
13             -> AGraph n O O -- ^ the final while loop
14
15mkWhileDo = undefined