@token:allowance

Allowance an owner has granted to a spender, in base units.

Returns: number

Syntax

@token:allowance(tokenSymbol owner spender)

Arguments

Name	Type	Description
tokenSymbol	token-symbol	Token symbol (e.g. DAI) or address
owner	address	Owner address
spender	address	Spender address

Examples

# Query an allowance
set $allowance @token:allowance(DAI @me 0x4F2083f5fBede34C2714aFfb3105539775f7FE64)

# Top up an allowance only when it is too low
set $spender 0x4F2083f5fBede34C2714aFfb3105539775f7FE64
if @bool(@token:allowance(DAI @me $spender) < @token:amount(DAI 100)) (
  token:approve @token:amount(DAI 100) @token(DAI) for $spender
)

See Also

• @balance — token balance of an address
• @token:amount — convert to base units
• token:approve — grant an allowance

On-chain face (@allowance!)

Read allowance(owner, spender) at assertion time. The symbol resolves at composition time; owner and spender are literal addresses, or live :: calls folded into a core read splice.