mirror of
https://github.com/erg-lang/erg.git
synced 2025-07-15 09:05:25 +00:00
57 lines
1.8 KiB
Python
57 lines
1.8 KiB
Python
.lt: |T <: Ord|(T, T) -> Bool
|
|
.le: |T <: Ord|(T, T) -> Bool
|
|
.eq: |T <: Eq|(T, T) -> Bool
|
|
.ne: |T <: Eq|(T, T) -> Bool
|
|
.ge: |T <: Ord|(T, T) -> Bool
|
|
.gt: |T <: Ord|(T, T) -> Bool
|
|
.__lt__: |T <: Ord|(T, T) -> Bool
|
|
.__le__: |T <: Ord|(T, T) -> Bool
|
|
.__eq__: |T <: Eq|(T, T) -> Bool
|
|
.__ne__: |T <: Eq|(T, T) -> Bool
|
|
.__ge__: |T <: Ord|(T, T) -> Bool
|
|
.__gt__: |T <: Ord|(T, T) -> Bool
|
|
.not_: |T <: Bool|(T) -> Bool
|
|
.__not__: |T <: Bool|(T) -> Bool
|
|
.truth: Obj -> Bool
|
|
.is_: (Obj, Obj) -> Bool
|
|
.is_not: (Obj, Obj) -> Bool
|
|
.abs: Num -> Nat
|
|
.__abs__: Num -> Nat
|
|
.__add__: |T: Type, A <: Add(T)| (A, T) -> A.Output
|
|
.and_: |T <: Int|(T, T) -> T
|
|
.__and__: |T <: Int|(T, T) -> T
|
|
.index: Int -> Int
|
|
.__index__: Int -> Int
|
|
.inv: Int -> Int
|
|
.invert: Int -> Int
|
|
.__invert__: Int -> Int
|
|
.lshift: (Int, Int) -> Int
|
|
.__lshift__: (Int, Int) -> Int
|
|
.mod: (Int, Int) -> Int
|
|
.__mod__: (Int, Int) -> Int
|
|
.mul: |T, M <: Mul(T)|(M, T) -> M.Output
|
|
.__mul__: |T, M <: Mul(T)|(M, T) -> M.Output
|
|
.neg: |N <: Num|(N) -> N
|
|
.__neg__: |N <: Num|(N) -> N
|
|
.or_: |T <: Int|(T, T) -> T
|
|
.__or__: |T <: Int|(T, T) -> T
|
|
.pos: |N <: Num|(N) -> N
|
|
.__pos__: |N <: Num|(N) -> N
|
|
.pow: |N <: Mul| (N, N) -> N
|
|
.__pow__: |N <: Mul| (N, N) -> N
|
|
.rshift: (Int, Int) -> Int
|
|
.__rshift__: (Int, Int) -> Int
|
|
.sub: |T: Type, S <: Sub(T)| (S, T) -> S.Output
|
|
.__sub__: |T: Type, S <: Sub(T)| (S, T) -> S.Output
|
|
.truediv: |T, D <: Div(T)|(D, T) -> D.Output
|
|
.__truediv__: |T, D <: Div(T)|(D, T) -> D.Output
|
|
.xor: |T <: Int|(T, T) -> T
|
|
.__xor__: |T <: Int|(T, T) -> T
|
|
|
|
.call: (obj: Obj, *args: Obj, **kwargs: Obj) -> Obj
|
|
.__call__: (obj: Obj, *args: Obj, **kwargs: Obj) -> Obj
|
|
|
|
# TODO: attrs
|
|
.attrgetter: (|T, S: Str|(attr: {S}) -> (Structural({{S}: T}.as_record()) -> T))
|
|
.itemgetter: (|K, V|(item: K) -> (Indexable(K, V) -> V)) \
|
|
and (|K, V|(*items: K) -> (Indexable(K, V) -> [V; _]))
|