| Alg | Data.OpenADT.Tutorial |
| ApplyLT | Data.OpenADT.VarF, Data.OpenADT |
| ApplyRow | Data.OpenADT.VarF, Data.OpenADT |
| caseonF | Data.OpenADT.VariantsF, Data.OpenADT |
| Cons1 | Data.OpenADT.Tutorial |
| Cons1F | |
| 1 (Data Constructor) | Data.OpenADT.Tutorial |
| 2 (Type/Class) | Data.OpenADT.Tutorial |
| Cons1F' | Data.OpenADT.Tutorial |
| Cons2 | Data.OpenADT.Tutorial |
| Cons2F | |
| 1 (Data Constructor) | Data.OpenADT.Tutorial |
| 2 (Type/Class) | Data.OpenADT.Tutorial |
| Cons2F' | Data.OpenADT.Tutorial |
| diversifyF | Data.OpenADT.VariantsF, Data.OpenADT |
| eraseF | Data.OpenADT.VariantsF, Data.OpenADT |
| eraseWithLabelsF | Data.OpenADT.VariantsF, Data.OpenADT |
| exList1 | Data.OpenADT.Tutorial |
| exList2 | Data.OpenADT.Tutorial |
| FlipApp | |
| 1 (Data Constructor) | Data.OpenADT.VarF, Data.OpenADT |
| 2 (Type/Class) | Data.OpenADT.VarF, Data.OpenADT |
| 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 |
| mapVarF | Data.OpenADT.VarF, Data.OpenADT |
| mkVarPattern | Data.OpenADT.TH, Data.OpenADT |
| multiTrialF | Data.OpenADT.VariantsF, Data.OpenADT |
| Nil | Data.OpenADT.Tutorial |
| NilF | |
| 1 (Data Constructor) | Data.OpenADT.Tutorial |
| 2 (Type/Class) | Data.OpenADT.Tutorial |
| NilF' | Data.OpenADT.Tutorial |
| OpenADT | Data.OpenADT |
| OpenAlg | Data.OpenADT.VarF, Data.OpenADT |
| OverList | Data.OpenADT.Tutorial |
| reduceVarF | Data.OpenADT.VarF, Data.OpenADT |
| 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 |
| RowFromTo | Data.OpenADT.VarF, Data.OpenADT |
| RowFromToR | Data.OpenADT.VarF, Data.OpenADT |
| switchF | Data.OpenADT.VariantsF, Data.OpenADT |
| trialF | Data.OpenADT.VariantsF, Data.OpenADT |
| unVarF | Data.OpenADT.VarF, Data.OpenADT |
| unVarF' | Data.OpenADT.VarF, Data.OpenADT |
| VarF | |
| 1 (Data Constructor) | Data.OpenADT.VarF, Data.OpenADT |
| 2 (Type/Class) | Data.OpenADT.VarF, Data.OpenADT |
| VarF' | |
| 1 (Data Constructor) | Data.OpenADT.VarF, Data.OpenADT |
| 2 (Type/Class) | Data.OpenADT.VarF, Data.OpenADT |
| varFAlg | Data.OpenADT.VarF, Data.OpenADT |
| varFAlg' | Data.OpenADT.VarF, Data.OpenADT |