arrdem/source
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Fmt.

Browse source
This commit is contained in:
Reid 'arrdem' McKenzie 2021-09-19 18:05:22 -06:00
commit a6e59b2e0c
28 changed files with 195 additions and 57 deletions
projects/datalog-shell/src/python/datalog/shell
__main__.py

15
projects/datalog-shell/src/python/datalog/shell/__main__.py
View file

@ -54,7 +54,11 @@ import sys
from datalog.debris import Timing
from datalog.evaluator import select
from datalog.reader import pr_str, read_command, read_dataset
from datalog.reader import (
pr_str,
read_command,
read_dataset,
)
from datalog.types import (
CachedDataset,
Dataset,
@ -64,8 +68,13 @@ from datalog.types import (
TableIndexedDataset,
)
from prompt_toolkit import print_formatted_text, PromptSession
from prompt_toolkit.formatted_text import FormattedText
from prompt_toolkit import (
print_formatted_text,
PromptSession,
)
from prompt_toolkit.formatted_text import (
FormattedText,
)
from prompt_toolkit.history import FileHistory
from prompt_toolkit.styles import Style
from yaspin import Spinner, yaspin