textError | PureScript.Ide.Error |
TextResult | PureScript.Ide.Types |
Type | |
1 (Type/Class) | PureScript.Ide.Types, PureScript.Ide.Externs |
2 (Data Constructor) | PureScript.Ide.Command |
typeFilters | PureScript.Ide.Command |
typeParse | PureScript.Ide.Pursuit |
typeSearch | PureScript.Ide.Command |