Feature | DDC.Core.Fragment |
Features | |
1 (Type/Class) | DDC.Core.Fragment |
2 (Data Constructor) | DDC.Core.Fragment |
featuresDebruijnBinders | DDC.Core.Fragment |
featuresEffectCapabilities | DDC.Core.Fragment |
featuresFunctionalClosures | DDC.Core.Fragment |
featuresFunctionalEffects | DDC.Core.Fragment |
featuresGeneralApplication | DDC.Core.Fragment |
featuresNameShadowing | DDC.Core.Fragment |
featuresNestedFunctions | DDC.Core.Fragment |
featuresPartialApplication | DDC.Core.Fragment |
featuresPartialPrims | DDC.Core.Fragment |
featuresTrackedClosures | DDC.Core.Fragment |
featuresTrackedEffects | DDC.Core.Fragment |
featuresUnboundLevel0Vars | DDC.Core.Fragment |
featuresUnboxedInstantiation | DDC.Core.Fragment |
featuresUnusedBindings | DDC.Core.Fragment |
featuresUnusedMatches | DDC.Core.Fragment |
fill | DDC.Core.Pretty |
fillBreak | DDC.Core.Pretty |
fillCat | DDC.Core.Pretty |
fillSep | DDC.Core.Pretty |
float | DDC.Core.Pretty |
Fragment | |
1 (Type/Class) | DDC.Core.Fragment |
2 (Data Constructor) | DDC.Core.Fragment |
fragmentCheckExp | DDC.Core.Fragment |
fragmentCheckModule | DDC.Core.Fragment |
fragmentExtension | DDC.Core.Fragment |
fragmentLexExp | DDC.Core.Fragment |
fragmentLexModule | DDC.Core.Fragment |
fragmentProfile | DDC.Core.Fragment |
fragmentReadName | DDC.Core.Fragment |
freeT | DDC.Type.Collect, DDC.Core.Collect |
FreeVarConT | DDC.Type.Collect |
freeVarConT | DDC.Type.Collect |
freeVarsT | DDC.Type.Collect |
freeX | DDC.Core.Collect |
fromAnT | DDC.Core.Annot.AnTEC |
fromList | |
1 (Function) | DDC.Type.Sum |
2 (Function) | DDC.Type.Env |
fromListDataDefs | DDC.Type.DataDef |
fromTypeMap | DDC.Type.Env |
FunctionalClosures | DDC.Core.Fragment |
FunctionalEffects | DDC.Core.Fragment |
funTypeOfParams | DDC.Core.Parser |