TypSamples.hs

   1 module TypSamples where
   2
   3 samples =
   4     [ "a"                                       -- 1
   5     , "[a] -> [a]"
   6     , "(a -> b) -> b"
   7     , "([a]-> b) -> b"
   8     , "[b] -> (a -> b) -> b"                    -- 5
   9     , "a -> (a -> b)-> b"
  10     , "(((a -> b) -> b) -> b) -> b"
  11     , "((( a -> (b -> b)) -> b) -> b) -> b"
  12     , "(a -> b) -> ((b -> c) -> c)"
  13     , "(a -> [b]) -> b"                         -- 10
  14     , "(b -> (a -> b)) -> b"
  15     , "(((c -> (a -> [b])) -> b) -> c) -> (((b -> [c]) -> (c -> d) -> [d]))"
  16     ]
  17 exSamples =
  18     [ "(a -> Int) -> (Int -> Int)"              -- Ex 1
  19     ]