def show_types(self, types):
if not types:
show_status_message("Can't infer type", False)
return
types = sorted(list(
filter(lambda t: t.region(self.view).contains(self.view.sel()[0]),
types)),
key=lambda t: t.region(self.view).size())
self.output_view = output_panel(self.view.window(),
'',
panel_name=TYPES_PANEL_NAME,
syntax='Haskell-SublimeHaskell',
show_panel=False)
regions = []
for t in types:
output_text(self.output_view,
'{0}\n'.format(t.show(self.view)),
clear=False)
regions.append(
sublime.Region(
self.output_view.size() - 1 -
len(use_unicode_operators(t.typename)),
self.output_view.size() - 1))
self.output_view.add_regions('types', regions, 'comment', '',
sublime.DRAW_OUTLINED)
show_panel(self.view.window(), panel_name=TYPES_PANEL_NAME)
def on_changed(self, idx):
if idx == -1:
return
t = self.types[idx]
output_text(self.output_view, t.show(self.view), clear = True)
self.view.add_regions('typed', [t.region(self.view)], 'string', 'dot', sublime.DRAW_OUTLINED)
def on_done(self, idx):
self.view.erase_regions('typed')
if idx == -1:
return
t = self.types[idx]
output_text(self.output_view, t.show(self.view), clear = True)
def on_changed(self, idx):
if idx == -1:
return
t = self.types[idx]
output_text(self.output_view, t.show(self.view), clear=True)
self.view.add_regions('typed', [t.region(self.view)], 'string', 'dot',
sublime.DRAW_OUTLINED)
def on_done(self, idx):
self.view.erase_regions('typed')
if idx == -1:
return
t = self.types[idx]
output_text(self.output_view, t.show(self.view), clear=True)
def show_types(self, types):
if not types:
show_status_message("Can't infer type", False)
return
self.types = types
self.output_view = output_panel(self.view.window(), '', panel_name = 'sublime_haskell_show_types', syntax = 'Haskell-SublimeHaskell', show_panel = False)
regions = []
for t in self.types:
output_text(self.output_view, '{0}\n'.format(t.show(self.view)), clear = False)
regions.append(sublime.Region(self.output_view.size() - 1 - len(t.typename), self.output_view.size() - 1))
self.output_view.add_regions('types', regions, 'comment', '', sublime.DRAW_OUTLINED)
show_panel(self.view.window(), panel_name = 'sublime_haskell_show_type')
def show_types(self, types):
if not types:
show_status_message("Can't infer type", False)
return
types = sorted(
list(filter(lambda t: t.region(self.view).contains(self.view.sel()[0]), types)),
key = lambda t: t.region(self.view).size())
self.output_view = output_panel(self.view.window(), '', panel_name = TYPES_PANEL_NAME, syntax = 'Haskell-SublimeHaskell', show_panel = False)
regions = []
for t in types:
output_text(self.output_view, '{0}\n'.format(t.show(self.view)), clear = False)
regions.append(sublime.Region(self.output_view.size() - 1 - len(t.typename), self.output_view.size() - 1))
self.output_view.add_regions('types', regions, 'comment', '', sublime.DRAW_OUTLINED)
show_panel(self.view.window(), panel_name = TYPES_PANEL_NAME)
def show_types(self, types):
if not types:
show_status_message("Can't infer type", False)
return
self.types = types
self.output_view = output_panel(
self.view.window(),
'',
panel_name='sublime_haskell_show_types',
syntax='Haskell-SublimeHaskell',
show_panel=False)
regions = []
for t in self.types:
output_text(self.output_view,
'{0}\n'.format(t.show(self.view)),
clear=False)
regions.append(
sublime.Region(self.output_view.size() - 1 - len(t.typename),
self.output_view.size() - 1))
self.output_view.add_regions('types', regions, 'comment', '',
sublime.DRAW_OUTLINED)
show_panel(self.view.window(), panel_name='sublime_haskell_show_type')