class SuperInsertAt:
s: Optional[str] = types.str.insertat(432, 3)
l: Optional[list[str]] = types.listof(str).insertat('E', 1)
cs: Optional[str] = types.str.insertat(lambda: 432, lambda: 3)
ts: Optional[str] = types.str.insertat(types.default(432),
types.default(3))
class SimpleCalculation:
i_add: Optional[int] = types.int.add(5)
f_add: Optional[float] = types.float.add(2.5)
c_add: Optional[float] = types.float.add(lambda: 2.5)
t_add: Optional[float] = types.float.add(types.default(2.5))
i_sub: Optional[int] = types.int.sub(5)
f_sub: Optional[float] = types.float.sub(2.5)
c_sub: Optional[float] = types.float.sub(lambda: 2.5)
t_sub: Optional[float] = types.float.sub(types.default(2.5))
i_mul: Optional[int] = types.int.mul(5)
f_mul: Optional[float] = types.float.mul(2.5)
c_mul: Optional[float] = types.float.mul(lambda: 2.5)
t_mul: Optional[float] = types.float.mul(types.default(2.5))
i_div: Optional[int] = types.int.div(5)
f_div: Optional[float] = types.float.div(2.5)
c_div: Optional[float] = types.float.div(lambda: 4.2)
t_div: Optional[float] = types.float.div(types.default(4.2))
i_mod: Optional[int] = types.int.mod(5)
f_mod: Optional[float] = types.float.mod(2.5)
c_mod: Optional[float] = types.float.mod(lambda: 3.5)
t_mod: Optional[float] = types.float.mod(types.default(3.5))
class SuperPrepend:
s: Optional[str] = types.str.prepend('3432')
l: Optional[list[str]] = types.listof(str).prepend('7788')
cs: Optional[str] = types.str.prepend(lambda: '3432')
cl: Optional[list[str]] = types.listof(str).prepend(lambda: '7788')
ts: Optional[str] = types.str.prepend(types.default('3432'))
tl: Optional[list[str]] = types.listof(str).prepend(types.default('7788'))
class SuperBond:
i_ub: Optional[int] = types.int.upperbond(150)
f_ub: Optional[float] = types.float.upperbond(150.0)
c_ub: Optional[int] = types.int.upperbond(lambda: 150)
t_ub: Optional[int] = types.int.upperbond(types.default(150))
i_lb: Optional[int] = types.int.lowerbond(1)
f_lb: Optional[float] = types.float.lowerbond(1.0)
c_lb: Optional[int] = types.int.lowerbond(lambda: 1)
t_lb: Optional[int] = types.float.lowerbond(types.default(1))
class SuperStr:
password: Optional[str] = types.str.salt
pads: Optional[str] = types.str.padstart("s", 10)
padis: Optional[int] = types.int.padstart("s", 10)
pade: Optional[str] = types.str.padend("e", 10)
padie: Optional[int] = types.int.padend("e", 10)
padce: Optional[str] = types.str.padend(lambda: "e", lambda: 10)
padte: Optional[str] = types.str.padend(types.default("e"), types.default(10))
c_pads: Optional[str] = types.str.padstart(lambda: "s", lambda: 10)
t_pads: Optional[str] = types.str.padstart(types.default("s"), types.default(10))
securepw: Optional[str] = types.str.securepw
class SimpleCode:
code: Optional[str] = types.str.length(4)
min_code: Optional[str] = types.str.minlength(4)
max_code: Optional[str] = types.str.maxlength(8)
l_code: Optional[list[int]] = types.listof(int).length(4)
l_min_code: Optional[list[int]] = types.listof(int).minlength(4)
l_max_code: Optional[list[int]] = types.listof(int).maxlength(8)
c_code: Optional[str] = types.str.length(lambda: 4)
c_min_code: Optional[str] = types.str.minlength(lambda: 4)
c_max_code: Optional[str] = types.str.maxlength(lambda: 8)
cl_code: Optional[list[int]] = types.listof(int).length(lambda: 4)
cl_min_code: Optional[list[int]] = types.listof(int).minlength(lambda: 4)
cl_max_code: Optional[list[int]] = types.listof(int).maxlength(lambda: 8)
t_code: Optional[str] = types.str.length(types.default(4))
t_min_code: Optional[str] = types.str.minlength(types.default(4))
t_max_code: Optional[str] = types.str.maxlength(types.default(8))
tl_code: Optional[list[int]] = types.listof(int).length(types.default(4))
tl_min_code: Optional[list[int]] = types.listof(int).minlength(
types.default(4))
tl_max_code: Optional[list[int]] = types.listof(int).maxlength(
types.default(8))
cd_code: Optional[str] = types.str.length(lambda: 4, lambda: 5)
td_code: Optional[str] = types.str.length(types.default(4),
types.default(4).add(1))
class SuperRandom:
random_digits: Optional[int] = types.int.randomdigits(1)
random_alnums: Optional[int] = types.int.randomalnums(1)
random_alnumpuncs: Optional[int] = types.int.randomalnumpuncs(1)
random_int: Optional[int] = types.int.randomint(10, 11)
random_float: Optional[float] = types.float.randomfloat(10.0, 10.0)
random_cfloat: Optional[float] = types.float.randomfloat(
lambda: 10.0, lambda: 10.0)
random_tfloat: Optional[float] = types.float.randomfloat(
types.default(10.0), types.default(10.0))
c_random_int: Optional[int] = types.int.randomint(lambda: 10, lambda: 11)
t_random_int: Optional[int] = types.int.randomint(types.default(10),
types.default(11))
c_random_digits: Optional[int] = types.int.randomdigits(lambda: 1)
t_random_digits: Optional[int] = types.int.randomdigits(types.default(1))
class SuperPrefix:
s_hp: Optional[str] = types.str.hasprefix('un')
loi_hp: Optional[list[int]] = types.listof(int).hasprefix([1, 4, 5])
los_hp: Optional[list[str]] = types.listof(str).hasprefix(['a', 'd'])
c_hp: Optional[str] = types.str.hasprefix(lambda: 'un')
c_loi_hp: Optional[list[int]] = types.listof(int).hasprefix(
lambda: [1, 4, 5])
c_los_hp: Optional[list[str]] = types.listof(str).hasprefix(
lambda: ['a', 'd'])
t_hp: Optional[str] = types.str.hasprefix(types.default('un'))
t_loi_hp: Optional[list[int]] = types.listof(int).hasprefix(
types.default([1, 4, 5]))
t_los_hp: Optional[list[str]] = types.listof(str).hasprefix(
types.default(['a', 'd']))
cs_hp: Optional[str] = types.str.hasprefix(lambda: 'un')
ts_hp: Optional[str] = types.str.hasprefix(types.default('un'))
class IsPrefixOf:
s_ipo: Optional[str] = types.str.isprefixof('unhappy')
loi_ipo: Optional[list[int]] = types.listof(int).isprefixof(
[1, 4, 5, 3, 2, 8])
los_ipo: Optional[list[str]] = types.listof(str).isprefixof(
['a', 'd', 'f', 'g'])
c_ipo: Optional[str] = types.str.isprefixof(lambda: 'unhappy')
c_loi_ipo: Optional[list[int]] = types.listof(int).isprefixof(
lambda: [1, 4, 5, 3, 2, 8])
c_los_ipo: Optional[list[str]] = types.listof(str).isprefixof(
lambda: ['a', 'd', 'f', 'g'])
t_ipo: Optional[str] = types.str.isprefixof(types.default('unhappy'))
t_loi_ipo: Optional[list[int]] = types.listof(int).isprefixof(
types.default([1, 4, 5, 3, 2, 8]))
t_los_ipo: Optional[list[str]] = types.listof(str).isprefixof(
types.default(['a', 'd', 'f', 'g']))
class SimpleMath:
i_pow: Optional[int] = types.int.pow(2)
f_pow: Optional[float] = types.float.pow(2.5)
c_pow: Optional[float] = types.float.pow(lambda: 2.5)
t_pow: Optional[float] = types.float.pow(types.default(2.5))
i_sqrt: Optional[int] = types.int.sqrt
f_sqrt: Optional[float] = types.float.sqrt
class SuperSuffix:
s_hs: Optional[str] = types.str.hassuffix('python')
l_hs: Optional[list[str]] = types.listof(str).hassuffix(['dd', 'ee', 'ff'])
c_hs: Optional[str] = types.str.hassuffix(lambda: 'python')
c_l_hs: Optional[list[str]] = types.listof(str).hassuffix(
lambda: ['dd', 'ee', 'ff'])
t_hs: Optional[str] = types.str.hassuffix(types.default('python'))
t_l_hs: Optional[list[str]] = types.listof(str).hassuffix(
types.default(['dd', 'ee', 'ff']))
s_iso: Optional[str] = types.str.issuffixof('python')
l_iso: Optional[list[str]] = types.listof(str).issuffixof(['ee', 'ff'])
c_iso: Optional[str] = types.str.issuffixof(lambda: 'python')
c_l_iso: Optional[list[str]] = types.listof(str).issuffixof(
lambda: ['ee', 'ff'])
t_iso: Optional[str] = types.str.issuffixof(types.default('python'))
t_l_iso: Optional[list[str]] = types.listof(str).issuffixof(
types.default(['ee', 'ff']))
class SuperDate:
dbd: Optional[date] = types.date.before(date(2020, 4, 3))
dbdt: Optional[date] = types.date.before(datetime(2020, 4, 3, 0, 0))
dtbdt: Optional[datetime] = types.datetime.before(
datetime(2020, 4, 3, 0, 0))
dtbd: Optional[datetime] = types.datetime.before(date(2020, 4, 3))
dad: Optional[date] = types.date.after(date(2020, 4, 3))
dadt: Optional[date] = types.date.after(datetime(2020, 4, 3, 0, 0))
dtadt: Optional[datetime] = types.datetime.after(datetime(
2020, 4, 3, 0, 0))
dtad: Optional[datetime] = types.datetime.after(date(2020, 4, 3))
dbcd: Optional[date] = types.date.before(lambda: date(2020, 4, 3))
dbtd: Optional[date] = types.date.before(types.default(date(2020, 4, 3)))
dacd: Optional[date] = types.date.after(lambda: date(2020, 4, 3))
datd: Optional[date] = types.date.after(types.default(date(2020, 4, 3)))
class SimpleDatetime:
fmtdt: Optional[datetime] = types.datetime.fmtd("%Y年%m月%d日 %H:%M:%S")
fmtd: Optional[date] = types.date.fmtd("%Y年%m月%d日")
fmtdts: Optional[str] = types.str.fmtd("%Y年%m月%d日 %H:%M:%S")
fmtds: Optional[str] = types.str.fmtd("%Y年%m月%d日")
cfmtdt: Optional[datetime] = types.datetime.fmtd(
lambda: "%Y年%m月%d日 %H:%M:%S")
tfmtdt: Optional[datetime] = types.datetime.fmtd(
types.default("%Y年%m月%d日 %H:%M:%S"))
class SuperNumber:
if_min: Optional[int] = types.int.min(5)
if_max: Optional[int] = types.int.max(5)
if_gte: Optional[int] = types.int.gte(5)
if_lte: Optional[int] = types.int.lte(5)
if_gt: Optional[int] = types.int.gt(5)
if_lt: Optional[int] = types.int.lt(5)
ff_min: Optional[float] = types.float.min(5.5)
ff_max: Optional[float] = types.float.max(5.5)
ff_gte: Optional[float] = types.float.gte(5.5)
ff_lte: Optional[float] = types.float.lte(5.5)
ff_gt: Optional[float] = types.float.gt(5.5)
ff_lt: Optional[float] = types.float.lt(5.5)
fcf_gt: Optional[float] = types.float.gt(lambda: 5.5)
ftf_gt: Optional[float] = types.float.gt(types.default(5.5))
c_lt: Optional[int] = types.int.lt(lambda: 5)
t_lt: Optional[int] = types.int.lt(types.default(5))
c_gte: Optional[int] = types.int.gte(lambda: 5)
t_gte: Optional[int] = types.int.gte(types.default(5))
c_lte: Optional[int] = types.int.lte(lambda: 5)
t_lte: Optional[int] = types.int.lte(types.default(5))
c_min: Optional[int] = types.int.min(lambda: 5)
t_min: Optional[int] = types.int.min(types.default(5))
c_max: Optional[int] = types.int.max(lambda: 5)
t_max: Optional[int] = types.int.max(types.default(5))
class SuperIterable:
itsrp: Optional[str] = types.str.replace("abc", "ABC")
itsr: Optional[str] = types.str.reverse()
itl: Optional[list[Any]] = types.listof(types.any).reverse()
itssub: Optional[str] = types.str.replacer("[0-9]", "ABC")
c_itssub: Optional[str] = types.str.replacer(lambda: "[0-9]",
lambda: "ABC")
t_itssub: Optional[str] = types.str.replacer(types.default("[0-9]"),
types.default("ABC"))
itssp: Optional[list[str]] = types.split(".").listof(types.str)
c_itssp: Optional[list[str]] = types.split(lambda: '.').listof(types.str)
t_itssp: Optional[list[str]] = types.split(types.default('.')).listof(
types.str)
itsj: Optional[str] = types.join('-').str
itsrpc: Optional[str] = types.str.replace(lambda: "abc", lambda: "ABC")
itsrpt: Optional[str] = types.str.replace(types.default("abc"),
types.default("ABC"))
c_itsj: Optional[str] = types.join(lambda: '-')
t_itsj: Optional[str] = types.join(types.default('-'))
class SimpleMatch:
m: Optional[str] = types.str.match('^a.*')
cm: Optional[str] = types.str.match(lambda: '^a.*')
tm: Optional[str] = types.str.match(types.default('^a.*'))
class SimpleEq:
eq_value: Optional[Any] = types.any.eq("dsadsa")
ceq_value: Optional[Any] = types.any.eq(lambda: "dsadsa")
teq_value: Optional[Any] = types.any.eq(types.default("dsadsa"))
class SimpleNeq:
neq_value: Optional[Any] = types.any.neq("dsadsa")
cneq_value: Optional[Any] = types.any.neq(lambda: "dsadsa")
tneq_value: Optional[Any] = types.any.neq(types.default("dsadsa"))
class SimpleAt:
a: Optional[Any] = types.any.at("name")
ca: Optional[Any] = types.any.at(lambda: "name")
ta: Optional[Any] = types.any.at(types.default("name"))
class SimpleLen:
str: int = types.default("abcdefghoi").len.int.required
list: int = types.default([1, 2, 3, 4, 5, 6]).len.int.required
class SimpleRange:
i: Optional[int] = types.int.range(1, 10)
ic: Optional[int] = types.int.range(lambda: 1, lambda: 10)
it: Optional[int] = types.int.range(types.default(1), types.default(10))