comptrans-0.1.0.6: Automatically converting ASTs into compositional data types

Index

CompTransData.Comp.Trans
defaultPropAnnData.Comp.Trans
defaultUnpropAnnData.Comp.Trans
deriveMultiCompData.Comp.Trans
deriveTransData.Comp.Trans
deriveUntransData.Comp.Trans
generateNameListsData.Comp.Trans
getLabelsData.Comp.Trans
getTypeParamVarsData.Comp.Trans
makeSumTypeData.Comp.Trans
runCompTransData.Comp.Trans
standardExcludedNamesData.Comp.Trans
withAnnotationPropData.Comp.Trans
withExcludedNamesData.Comp.Trans
withSubstitutionsData.Comp.Trans