Index
| Alg | Data.OpenADT.Tutorial |
| Cons1 | Data.OpenADT.Tutorial |
| Cons1F | |
| 1 (Type/Class) | Data.OpenADT.Tutorial |
| 2 (Data Constructor) | Data.OpenADT.Tutorial |
| Cons1F' | Data.OpenADT.Tutorial |
| Cons2 | Data.OpenADT.Tutorial |
| Cons2F | |
| 1 (Type/Class) | Data.OpenADT.Tutorial |
| 2 (Data Constructor) | Data.OpenADT.Tutorial |
| Cons2F' | Data.OpenADT.Tutorial |
| exList1 | Data.OpenADT.Tutorial |
| exList2 | Data.OpenADT.Tutorial |
| fmapList | Data.OpenADT.Tutorial |
| fmapList' | Data.OpenADT.Tutorial |
| List1 | Data.OpenADT.Tutorial |
| List1F | Data.OpenADT.Tutorial |
| List1RowF | Data.OpenADT.Tutorial |
| List2 | Data.OpenADT.Tutorial |
| List2F | Data.OpenADT.Tutorial |
| List2RowF | Data.OpenADT.Tutorial |
| main' | Data.OpenADT.Tutorial |
| Nil | Data.OpenADT.Tutorial |
| NilF | |
| 1 (Type/Class) | Data.OpenADT.Tutorial |
| 2 (Data Constructor) | Data.OpenADT.Tutorial |
| NilF' | Data.OpenADT.Tutorial |
| OverList | Data.OpenADT.Tutorial |
| result1 | Data.OpenADT.Tutorial |
| result2 | Data.OpenADT.Tutorial |
| result3 | Data.OpenADT.Tutorial |
| result4 | Data.OpenADT.Tutorial |
| result5 | Data.OpenADT.Tutorial |
| result6 | Data.OpenADT.Tutorial |
| result7 | Data.OpenADT.Tutorial |