Be more explicit about strict functions
[darcs-mirror-polyfix.git] / 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     ]