Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/deadpixi/contracts
/ functions
Functions
17 in github.com/deadpixi/contracts
⨍
Functions
17
◇
Types & classes
3
↓ 8 callers
Function
predicate
(args)
dpcontracts.py:707
↓ 6 callers
Function
arg_count
(func)
dpcontracts.py:572
↓ 4 callers
Function
condition
(description, predicate, precondition=False, postcondition=False, instance=False)
dpcontracts.py:576
↓ 3 callers
Function
build_call
Build an argument dictionary suitable for passing via `**` expansion given function `f`, positional arguments `args`, and keyword arguments `
dpcontracts.py:538
↓ 3 callers
Function
get_function_source
(func)
dpcontracts.py:516
↓ 3 callers
Function
get_wrapped_func
(func)
dpcontracts.py:533
↓ 3 callers
Function
tuple_of_dict
(dictionary, name="Args")
dpcontracts.py:568
↓ 1 callers
Function
check
(name, func)
dpcontracts.py:758
Function
ensure
Specify a precondition described by `description` and tested by `predicate`.
dpcontracts.py:721
Function
func
(f)
dpcontracts.py:678
Function
inner
(*args, **kwargs)
dpcontracts.py:592
Function
invariant
Specify a class invariant described by `description` and tested by `predicate`.
dpcontracts.py:741
Function
preserve
(preserver)
dpcontracts.py:674
Function
require
(f)
dpcontracts.py:587
Function
rewrite
(args, **kwargs)
dpcontracts.py:671
Function
transform
(transformer)
dpcontracts.py:689
Function
types
Specify a precondition based on the types of the function's arguments.
dpcontracts.py:701