from dataclasses import dataclass
from enum import Enum, auto
from typing import Any

# tokens and types
# NOTE: this can probably be simplified
class TokenType(Enum):

    PRINT = auto()

    OPEN_PAREN = auto()
    CLOSE_PAREN = auto()

    EOF = auto()

    # literals
    INT = auto()
    FLOAT = auto()
    STRING = auto()
    TRUE = auto()
    FALSE = auto()

    # arithmetic
    PLUS = auto()
    DASH = auto()
    STAR = auto()
    SLASH = auto()

    # strings
    DOUBLE_QUOTE = auto()

    # comparison
    GREATER = auto()
    GREATER_EQUAL = auto()
    LESS = auto()
    LESS_EQUAL = auto()
    EQUAL = auto()
    NOT = auto()
    AND = auto()
    OR = auto()

    # flow
    IF = auto()
    FOR_COUNT = auto()
    PIPE = auto()

    # keywords
    DEF = auto()
    LAMBDA = auto()

    # symbols
    SYMBOL = auto()

    # types
    INT_TYPE = auto()
    FLOAT_TYPE = auto()
    STRING_TYPE = auto()
    ANY_TYPE = auto()
    LIST_TYPE = auto()


@dataclass
class Token:
    type_: TokenType
    text: str
    value: Any
    line: int

    def __str__(self):
        return f"{self.type_.name} {self.text} {self.line}"

class T:
    def __repr__(self):
        return "T"
    class Any:
        def __repr__(self):
            return ":any"
    class List(Any):
        pass
    class Literal(Any):
        def __repr__(self):
            return ":literal"
    class String(Literal):
        def __repr__(self):
            return ":string"
        pass
    class Bool(Literal):
        def __repr__(self):
            return ":bool"
        pass
    class Number(Literal):
        def __repr__(self):
            return ":number"
    class Int(Number):
        def __repr__(self):
            return ":int"
    class Float(Number):
        def __repr__(self):
            return ":float"

# Literals
class Literal(T.Any):
    def __init__(self, value, type_=None):
        self.value = value
        if type_ is None:
            self.type_ = T.Any
        else:
            self.type_ = type_
    def __str__(self):
        return f"{self.value}:literal"

class Int(Literal, T.Int):
    def __init__(self, value):
        super().__init__(value, T.Int)
    def __str__(self):
        return f"{self.value}"

class Float(Literal, T.Float):
    def __init__(self, value):
        super().__init__(value, T.Float)
    def __str__(self):
        return f"{self.value}"

class Bool(Literal, T.Bool):
    def __init__(self, value):
        super().__init__(value, T.Bool)
    def __str__(self):
        return f"#{str(self.value).lower()}"

class String(Literal, T.String):
    def __init__(self, value):
        super().__init__(value, T.String)
    def __str__(self):
        return f'"{self.value}"'

class Type:
    def __init__(self, name):
        self.name = name
    def __str__(self):
        return self.name

class Symbol:
    def __init__(self, name, line):
        self.name = name
        self.line = line
    def __str__(self):
        return f"'{self.name}"

class List(T.List):
    def __init__(self, args, data=False):
        self.args = args
        self.data = data
    def __str__(self):
        return "(" +  " ".join(f"{arg}" for arg in self.args) + ")"

class TypedList(List):
    def __init__(self, args, data=True, type_=Type("string")):
        super().__init__(args, data)
        self.type_ = type_
    def __str__(self):
        return super().__str__() + f"{self.type_}"

class Strings(TypedList):
    def __init__(self, args, data=True):
        super().__init__(args, data, Type(":string"))