open-adt-1.0: Open algebraic data types.

Index

ApplyLTData.OpenADT.VarF, Data.OpenADT
ApplyRowData.OpenADT.VarF, Data.OpenADT
caseonFData.OpenADT.VariantsF, Data.OpenADT
diversifyFData.OpenADT.VariantsF, Data.OpenADT
eraseFData.OpenADT.VariantsF, Data.OpenADT
eraseWithLabelsFData.OpenADT.VariantsF, Data.OpenADT
FlipApp 
1 (Type/Class)Data.OpenADT.VarF, Data.OpenADT
2 (Data Constructor)Data.OpenADT.VarF, Data.OpenADT
mapVarFData.OpenADT.VarF, Data.OpenADT
mkVarPatternData.OpenADT.TH, Data.OpenADT
multiTrialFData.OpenADT.VariantsF, Data.OpenADT
OpenADTData.OpenADT
OpenAlgData.OpenADT.VarF, Data.OpenADT
reduceVarFData.OpenADT.VarF, Data.OpenADT
RowFromToData.OpenADT.VarF, Data.OpenADT
RowFromToRData.OpenADT.VarF, Data.OpenADT
switchFData.OpenADT.VariantsF, Data.OpenADT
trialFData.OpenADT.VariantsF, Data.OpenADT
unVarFData.OpenADT.VarF, Data.OpenADT
unVarF'Data.OpenADT.VarF, Data.OpenADT
VarF 
1 (Type/Class)Data.OpenADT.VarF, Data.OpenADT
2 (Data Constructor)Data.OpenADT.VarF, Data.OpenADT
VarF' 
1 (Type/Class)Data.OpenADT.VarF, Data.OpenADT
2 (Data Constructor)Data.OpenADT.VarF, Data.OpenADT
varFAlgData.OpenADT.VarF, Data.OpenADT
varFAlg'Data.OpenADT.VarF, Data.OpenADT