import {
  AccountUpdate,
  AccountUpdateForest,
  assert,
  Bool,
  Int64,
  method,
  Permissions,
  Provable,
  PublicKey,
  State,
  state,
  Struct,
  TokenContract,
  TokenId,
  Types,
  UInt32,
  UInt64,
  VerificationKey
} from "o1js"

import { FungibleToken, mulDiv, PoolFactory, UpdateUserEvent, UpdateVerificationKeyEvent } from "../indexpool.js"

import { checkToken, IPool } from "./IPoolState.js"
import { Multisig, UpgradeInfo } from "./Multisig.js"

/**
 * Event emitted when a swap is validated
 */
export class SwapEvent extends Struct({
  sender: PublicKey,
  amountIn: UInt64,
  amountOut: UInt64
}) {
  constructor(value: {
    sender: PublicKey
    amountIn: UInt64
    amountOut: UInt64
  }) {
    super(value)
  }
}

/**
 * Event emitted when the contract receive mina in case of swap
 */
export class ReceiveMinaEvent extends Struct({
  sender: PublicKey,
  amountMinaIn: UInt64
}) {
  constructor(value: {
    sender: PublicKey
    amountMinaIn: UInt64
  }) {
    super(value)
  }
}

/**
 * Event emitted when an user add liquidity
 */
export class AddLiquidityEvent extends Struct({
  sender: PublicKey,
  amountToken0In: UInt64,
  amountToken1In: UInt64,
  amountLiquidityOut: UInt64
}) {
  constructor(value: {
    sender: PublicKey
    amountToken0In: UInt64
    amountToken1In: UInt64
    amountLiquidityOut: UInt64
  }) {
    super(value)
  }
}

/**
 * Event emitted when liquidity balance changed
 */
export class BalanceEvent extends Struct({
  address: PublicKey,
  amount: Int64
}) {
  constructor(value: {
    address: PublicKey
    amount: Int64
  }) {
    super(value)
  }
}

/**
 * Event emitted when liquidity was burned
 */
export class BurnLiqudityEvent extends Struct({
  sender: PublicKey,
  amountMinaOut: UInt64,
  amountLiquidity: UInt64
}) {
  constructor(value: {
    sender: PublicKey
    amountMinaOut: UInt64
    amountLiquidity: UInt64
  }) {
    super(value)
  }
}

/**
 * Main Pool contract for Lumina dex
 */
export class Pool extends TokenContract implements IPool {
  /**
   * Address of first token in the pool (ordered by address)
   * PublicKey.empty() in case of native mina
   */
  @state(PublicKey)
  token0 = State<PublicKey>()
  /**
   * Address of second token in the pool
   * Can't be empty
   */
  @state(PublicKey)
  token1 = State<PublicKey>()
  /**
   * Pool factory contract address
   */
  @state(PublicKey)
  poolFactory = State<PublicKey>()
  /**
   * Protocol address stored in the pool to not exceed account update limit on swap
   */
  @state(PublicKey)
  protocol = State<PublicKey>()

  /**
   * Frontend max fee, 0.10%
   */
  static maxFee: UInt64 = UInt64.from(10)
  /**
   * Minimun liquidity in the pool, 1000
   */
  static minimumLiquidity: UInt64 = UInt64.from(1000)

  /**
   * List of pool events
   */
  events = {
    swap: SwapEvent,
    addLiquidity: AddLiquidityEvent,
    balanceChange: BalanceEvent,
    updateDelegator: UpdateUserEvent,
    updateProtocol: UpdateUserEvent,
    upgrade: UpdateVerificationKeyEvent,
    burnLiquidity: BurnLiqudityEvent,
    receiveMina: ReceiveMinaEvent
  }

  /**
   * This method can't be called directly, deploy new pool from pool factory instead
   */
  async deploy() {
    await super.deploy()

    Bool(false).assertTrue("You can't directly deploy a pool")
  }

  /**
   * Upgrade to a new version, necessary due to o1js breaking verification key compatibility between versions
   * @param multisig multisig data
   * @param vk new verification key
   */
  @method
  async updateVerificationKey(multisig: Multisig, vk: VerificationKey) {
    const factoryAddress = this.poolFactory.getAndRequireEquals()
    const factory = new PoolFactory(factoryAddress)
    const merkle = await factory.getApprovedSigner()
    multisig.info.approvedUpgrader.equals(merkle).assertTrue("Incorrect signer list")

    const deadlineSlot = multisig.info.deadlineSlot
    // we can update only before the deadline to prevent signature reuse
    this.network.globalSlotSinceGenesis.requireBetween(UInt32.zero, deadlineSlot)

    const upgradeInfo = new UpgradeInfo({
      contractAddress: this.address,
      tokenId: this.tokenId,
      newVkHash: vk.hash,
      deadlineSlot
    })
    multisig.verifyUpdatePool(upgradeInfo)

    this.account.verificationKey.set(vk)
    this.emitEvent("upgrade", new UpdateVerificationKeyEvent(vk.hash))
  }

  /**
   * Update the delegator account address from pool factory
   */
  @method
  async setDelegator() {
    const poolFactoryAddress = this.poolFactory.getAndRequireEquals()
    const poolFactory = new PoolFactory(poolFactoryAddress)
    const delegator = await poolFactory.getDelegator()
    const currentDelegator = this.account.delegate.getAndRequireEquals()
    Provable.asProver(() => {
      currentDelegator.equals(delegator).assertFalse("Delegator already defined")
    })
    this.account.delegate.set(delegator)
    this.emitEvent("updateDelegator", new UpdateUserEvent(delegator))
  }

  /**
   * Update the protocol account address from pool factory
   */
  @method
  async setProtocol() {
    const protocol = await this.getProtocolAddress()
    const currentProtocol = this.protocol.getAndRequireEquals()
    Provable.asProver(() => {
      currentProtocol.equals(protocol).assertFalse("Protocol already defined")
    })
    this.protocol.set(protocol)
    this.emitEvent("updateProtocol", new UpdateUserEvent(protocol))
  }

  /** Approve `AccountUpdate`s that have been created outside of the token contract.
   *
   * @argument {AccountUpdateForest} updates - The `AccountUpdate`s to approve. Note that the forest size is limited by the base token contract, @see TokenContract.MAX_ACCOUNT_UPDATES The current limit is 9.
   */
  @method
  async approveBase(updates: AccountUpdateForest): Promise<void> {
    let totalBalance = Int64.from(0)
    this.forEachUpdate(updates, (update, usesToken) => {
      // Make sure that the account permissions are not changed
      this.checkPermissionsUpdate(update)
      this.emitEventIf(
        usesToken,
        "balanceChange",
        new BalanceEvent({ address: update.publicKey, amount: update.balanceChange })
      )

      // Don't allow transfers to/from the account that's tracking circulation
      update.publicKey.equals(this.address).and(usesToken).assertFalse(
        "Can't transfer to/from the circulation account"
      )
      totalBalance = Provable.if(usesToken, totalBalance.add(update.balanceChange), totalBalance)
      totalBalance.isPositive().assertFalse(
        "Flash-minting or unbalanced transaction detected"
      )
    })
    totalBalance.assertEquals(Int64.zero, "Unbalanced transaction")
  }

  private checkPermissionsUpdate(update: AccountUpdate) {
    const permissions = update.update.permissions

    const { access, receive } = permissions.value
    const accessIsNone = Provable.equal(Types.AuthRequired, access, Permissions.none())
    const receiveIsNone = Provable.equal(Types.AuthRequired, receive, Permissions.none())
    const updateAllowed = accessIsNone.and(receiveIsNone)

    assert(
      updateAllowed.or(permissions.isSome.not()),
      "Can't change permissions for access or receive on token accounts"
    )
  }

  /**
   * Transfer liquidity from an account to another
   * @param from account from
   * @param to account to
   * @param amount amount to tranfer
   */
  @method
  async transfer(from: PublicKey, to: PublicKey, amount: UInt64) {
    from.equals(this.address).assertFalse("Can't transfer to/from the circulation account")
    to.equals(this.address).assertFalse("Can't transfer to/from the circulation account")
    this.internal.send({ from, to, amount })
  }

  /**
   * Call it on the first time liquidity is supplied to the mina/token pool
   * @param amountMina mina to add to the pool
   * @param amountToken token to add to the pool
   * @returns liquity amount minted
   */
  @method.returns(UInt64)
  async supplyFirstLiquidities(amountMina: UInt64, amountToken: UInt64) {
    const liquidityUser = await this.supply(amountMina, amountToken, UInt64.zero, UInt64.zero, UInt64.zero, true, true)
    return liquidityUser
  }

  /**
   * Supply liquidity to the mina/token pool if it's not the first time
   * The reserves max and supply min permit concurrent call, use slippage mechanism to calculate it
   * @param amountMina mina to add to the pool
   * @param amountToken token to add to the pool
   * @param reserveMinaMax reserve max of mina in the pool
   * @param reserveTokenMax reserve max of token in the pool
   * @param supplyMin minimun liquidity in the pool
   * @returns liquity amount minted
   */
  @method.returns(UInt64)
  async supplyLiquidity(
    amountMina: UInt64,
    amountToken: UInt64,
    reserveMinaMax: UInt64,
    reserveTokenMax: UInt64,
    supplyMin: UInt64
  ) {
    const liquidityUser = await this.supply(
      amountMina,
      amountToken,
      reserveMinaMax,
      reserveTokenMax,
      supplyMin,
      true,
      false
    )
    return liquidityUser
  }

  /**
   * Method to call on the first time liquidity is supplied to the token pool
   * @param amountToken0 amount of token 0 to add to the pool
   * @param amountToken1 amount of token 1 to add to the pool
   * @returns liquity amount minted
   */
  @method.returns(UInt64)
  async supplyFirstLiquiditiesToken(amountToken0: UInt64, amountToken1: UInt64) {
    const liquidityUser = await this.supply(
      amountToken0,
      amountToken1,
      UInt64.zero,
      UInt64.zero,
      UInt64.zero,
      false,
      true
    )
    return liquidityUser
  }

  /**
   * Supply liquidity to the token/token pool if it's not the first time
   * The reserves max and supply min permit concurrent call, use slippage mechanism to calculate it
   * @param amountToken0 amount of token 0 to add to the pool
   * @param amountToken1 amount of token 1 to add to the pool
   * @param reserveMinaMax reserve max of mina in the pool
   * @param reserveTokenMax reserve max of token in the pool
   * @param supplyMin minimun liquidity in the pool
   * @returns liquity amount minted
   */
  @method.returns(UInt64)
  async supplyLiquidityToken(
    amountToken0: UInt64,
    amountToken1: UInt64,
    reserveToken0Max: UInt64,
    reserveToken1Max: UInt64,
    supplyMin: UInt64
  ) {
    const liquidityUser = await this.supply(
      amountToken0,
      amountToken1,
      reserveToken0Max,
      reserveToken1Max,
      supplyMin,
      false,
      false
    )
    return liquidityUser
  }

  /**
   * Swap token to mina
   * @param frontend address who collect the frontend fees
   * @param taxFeeFrontend fees applied by the frontend
   * @param amountTokenIn amount of token to swap
   * @param amountMinaOutMin minimum mina to received
   * @param balanceInMax minimum balance of token in the pool
   * @param balanceOutMin maximum balance of mina in the pool
   */
  @method
  async swapFromTokenToMina(
    frontend: PublicKey,
    taxFeeFrontend: UInt64,
    amountTokenIn: UInt64,
    amountMinaOutMin: UInt64,
    balanceInMax: UInt64,
    balanceOutMin: UInt64
  ) {
    amountTokenIn.assertGreaterThan(UInt64.zero, "Amount in can't be zero")
    balanceOutMin.assertGreaterThan(UInt64.zero, "Balance min can't be zero")
    balanceInMax.assertGreaterThan(UInt64.zero, "Balance max can't be zero")
    amountMinaOutMin.assertGreaterThan(UInt64.zero, "Amount out can't be zero")
    amountMinaOutMin.assertLessThan(balanceOutMin, "Amount out exceeds reserves")
    taxFeeFrontend.assertLessThanOrEqual(Pool.maxFee, "Frontend fee exceed max fees")

    // token 0 need to be empty on mina pool
    const [, token1] = checkToken(this, true)

    const tokenContract = new FungibleToken(token1)
    const tokenAccount = AccountUpdate.create(this.address, tokenContract.deriveTokenId())

    tokenAccount.account.balance.requireBetween(UInt64.one, balanceInMax)
    this.account.balance.requireBetween(balanceOutMin, UInt64.MAXINT())

    const { feeLP, feeFrontend, feeProtocol, amountOut } = Pool.getAmountOut(
      taxFeeFrontend,
      amountTokenIn,
      balanceInMax,
      balanceOutMin
    )
    amountOut.assertGreaterThanOrEqual(amountMinaOutMin, "Insufficient amount out")

    // send token to the pool
    await this.sendTokenAccount(tokenAccount, token1, amountTokenIn)

    // send mina to user
    const sender = this.sender.getUnconstrained()
    await this.send({ to: sender, amount: amountOut })
    // send mina to frontend (if not empty)
    const frontendReceiver = Provable.if(frontend.equals(PublicKey.empty()), this.address, frontend)
    await this.send({ to: frontendReceiver, amount: feeFrontend })
    // send mina to protocol
    const protocol = this.protocol.getAndRequireEquals()
    const protocolReceiver = Provable.if(protocol.equals(PublicKey.empty()), this.address, protocol)
    await this.send({ to: protocolReceiver, amount: feeProtocol })

    this.emitEvent("swap", new SwapEvent({ sender, amountIn: amountTokenIn, amountOut }))
  }

  /**
   * Don't call this method directly, use pool token holder or you will just lost mina
   * @param sender use in the previous method
   * @param amountMinaIn mina amount in
   * @param balanceInMax actual reserve max in
   */
  @method
  async swapFromMinaToToken(sender: PublicKey, protocol: PublicKey, amountMinaIn: UInt64, balanceInMax: UInt64) {
    amountMinaIn.assertGreaterThan(UInt64.zero, "Amount in can't be zero")
    balanceInMax.assertGreaterThan(UInt64.zero, "Balance max can't be zero")

    checkToken(this, true)

    // check if the protocol address is correct
    this.protocol.requireEquals(protocol)

    this.account.balance.requireBetween(UInt64.one, balanceInMax)
    const methodSender = this.sender.getUnconstrained()
    methodSender.assertEquals(sender)
    const senderSigned = AccountUpdate.createSigned(sender)
    await senderSigned.send({ to: this.self, amount: amountMinaIn })
    this.emitEvent("receiveMina", new ReceiveMinaEvent({ sender, amountMinaIn }))
  }

  /**
   * Don't call this method directly, use withdrawLiquidity from PoolTokenHolder
   */
  @method.returns(UInt64)
  async withdrawLiquidity(
    sender: PublicKey,
    liquidityAmount: UInt64,
    amountMinaMin: UInt64,
    reserveMinaMin: UInt64,
    supplyMax: UInt64
  ) {
    reserveMinaMin.assertGreaterThan(UInt64.zero, "Reserve mina min can't be zero")
    amountMinaMin.assertGreaterThan(UInt64.zero, "Amount mina out can't be zero")

    this.account.balance.requireBetween(reserveMinaMin, UInt64.MAXINT())

    const methodSender = this.sender.getUnconstrained()
    methodSender.assertEquals(sender)

    await this.burnLiquidity(sender, liquidityAmount, supplyMax, true)

    const amountMina = mulDiv(liquidityAmount, reserveMinaMin, supplyMax)
    amountMina.assertGreaterThanOrEqual(amountMinaMin, "Insufficient amount mina out")

    // send mina to user
    const receiverAccount = AccountUpdate.createSigned(sender)
    await this.send({ to: receiverAccount, amount: amountMina })
    this.emitEvent(
      "burnLiquidity",
      new BurnLiqudityEvent({ sender, amountMinaOut: amountMina, amountLiquidity: liquidityAmount })
    )

    return amountMina
  }

  /**
   * Don't call this method directly, use withdrawLiquidityToken from PoolTokenHolder
   */
  @method
  async burnLiquidityToken(sender: PublicKey, liquidityAmount: UInt64, supplyMax: UInt64) {
    const methodSender = this.sender.getUnconstrained()
    methodSender.assertEquals(sender)
    await this.burnLiquidity(sender, liquidityAmount, supplyMax, false)
    this.emitEvent(
      "burnLiquidity",
      new BurnLiqudityEvent({ sender, amountMinaOut: UInt64.zero, amountLiquidity: liquidityAmount })
    )
  }

  private async burnLiquidity(sender: PublicKey, liquidityAmount: UInt64, supplyMax: UInt64, isMinaPool: boolean) {
    liquidityAmount.assertGreaterThan(UInt64.zero, "Liquidity amount can't be zero")
    supplyMax.assertGreaterThan(UInt64.zero, "Supply max can't be zero")

    // token 0 need to be empty on mina pool
    checkToken(this, isMinaPool)

    sender.equals(this.address).assertFalse("Can't transfer to/from the pool account")
    const liquidityAccount = AccountUpdate.create(this.address, this.deriveTokenId())
    liquidityAccount.account.balance.requireBetween(UInt64.one, supplyMax)

    // burn liquidity from user and current supply
    liquidityAccount.balanceChange = Int64.fromUnsigned(liquidityAmount).neg()
    await this.internal.burn({ address: sender, amount: liquidityAmount })
  }

  private async supply(
    amountToken0: UInt64,
    amountToken1: UInt64,
    reserveToken0Max: UInt64,
    reserveToken1Max: UInt64,
    supplyMin: UInt64,
    isMinaPool: boolean,
    isFirstSupply: boolean
  ) {
    const circulationUpdate = AccountUpdate.create(this.address, this.deriveTokenId())
    if (!isFirstSupply) {
      reserveToken1Max.assertGreaterThan(UInt64.zero, "Reserve token 1 max can't be zero")
      reserveToken0Max.assertGreaterThan(UInt64.zero, "Reserve token 0 max can't be zero")
      supplyMin.assertGreaterThan(UInt64.zero, "Supply min can't be zero")
    }
    amountToken0.assertGreaterThan(UInt64.zero, "Amount token 0 can't be zero")
    amountToken1.assertGreaterThan(UInt64.zero, "Amount token 1 can't be zero")

    const [token0, token1] = checkToken(this, isMinaPool)

    let liquidityAmount = UInt64.zero
    let liquidityUser = UInt64.zero

    const sender = this.sender.getUnconstrained()
    sender.equals(this.address).assertFalse("Can't transfer to/from the pool account")

    const tokenId0 = TokenId.derive(token0)
    const tokenId1 = TokenId.derive(token1)
    const token0Account = isMinaPool ? this.self : AccountUpdate.create(this.address, tokenId0)
    const token1Account = AccountUpdate.create(this.address, tokenId1)

    if (isFirstSupply) {
      const balanceLiquidity = circulationUpdate.account.balance.getAndRequireEquals()
      // calculate liquidity token output simply as liquidityAmount = amountA + amountB
      balanceLiquidity.equals(UInt64.zero).assertTrue("First liquidities already supplied")
      liquidityAmount = amountToken0.add(amountToken1)
      // on first mint remove minimal liquidity amount to prevent from inflation attack
      liquidityUser = liquidityAmount.sub(Pool.minimumLiquidity)
    } else {
      token0Account.account.balance.requireBetween(UInt64.one, reserveToken0Max)
      token1Account.account.balance.requireBetween(UInt64.one, reserveToken1Max)
      circulationUpdate.account.balance.requireBetween(supplyMin, UInt64.MAXINT())

      // calculate liquidity token output simply as amountX * liquiditySupply / reserveX
      const liquidityToken0 = mulDiv(amountToken0, supplyMin, reserveToken0Max)
      const liquidityToken1 = mulDiv(amountToken1, supplyMin, reserveToken1Max)
      // 0.1 % of error max between these 2 liquidities, prevent to send too much token or mina
      const percentError = liquidityToken0.div(1000)
      const liquidityMin = liquidityToken0.sub(percentError)
      const liquidityMax = liquidityToken0.add(percentError)
      liquidityMin.assertLessThanOrEqual(liquidityToken1, "Too much token 0 supplied")
      liquidityMax.assertGreaterThanOrEqual(liquidityToken1, "Too much token 1 supplied")

      liquidityAmount = Provable.if(liquidityToken0.lessThan(liquidityToken1), liquidityToken0, liquidityToken1)
      liquidityAmount.assertGreaterThan(UInt64.zero, "Liquidity out can't be zero")
      liquidityUser = liquidityAmount
    }

    if (isMinaPool) {
      // send mina to the pool
      const senderUpdate = AccountUpdate.createSigned(sender)
      senderUpdate.send({ to: this.self, amount: amountToken0 })
    } else {
      // send token 0 to the pool
      await this.sendTokenAccount(token0Account, token0, amountToken0)
    }
    // send token 1 to the pool
    await this.sendTokenAccount(token1Account, token1, amountToken1)

    this.internal.mint({ address: sender, amount: liquidityUser })
    this.internal.mint({ address: circulationUpdate, amount: liquidityAmount })

    this.emitEvent(
      "addLiquidity",
      new AddLiquidityEvent({
        sender,
        amountToken0In: amountToken0,
        amountToken1In: amountToken1,
        amountLiquidityOut: liquidityUser
      })
    )

    return liquidityUser
  }

  private async sendTokenAccount(tokenAccount: AccountUpdate, tokenAddress: PublicKey, amount: UInt64) {
    const tokenContract = new FungibleToken(tokenAddress)
    const sender = this.sender.getUnconstrained()
    sender.equals(this.address).assertFalse("Can't transfer to/from the pool account")

    // send token to the pool
    const senderToken = AccountUpdate.createSigned(sender, tokenContract.deriveTokenId())
    senderToken.send({ to: tokenAccount, amount: amount })
    await tokenContract.approveAccountUpdates([senderToken, tokenAccount])
  }

  private async getProtocolAddress(): Promise<PublicKey> {
    const poolFactoryAddress = this.poolFactory.getAndRequireEquals()
    const poolFactory = new PoolFactory(poolFactoryAddress)
    return await poolFactory.getProtocol()
  }

  /**
   * Calculate amount out on swap, use by pool and pool token holder contracts
   * @param taxFeeFrontend fees applied by the frontend
   * @param amountTokenIn amount of tokenIn to swap
   * @param balanceInMax minimum balance of tokenIn in the pool
   * @param balanceOutMin maximum balance of tokenOut in the pool
   * @returns amount of token out
   */
  public static getAmountOut(
    taxFeeFrontend: UInt64,
    amountTokenIn: UInt64,
    balanceInMax: UInt64,
    balanceOutMin: UInt64
  ) {
    const amountOutBeforeFee = mulDiv(balanceOutMin, amountTokenIn, balanceInMax.add(amountTokenIn))
    // 0.20% tax fee for liquidity provider directly on amount out
    const feeLP = mulDiv(amountOutBeforeFee, UInt64.from(2), UInt64.from(1000))
    // 0.15% fee max for the frontend
    const feeFrontend = mulDiv(amountOutBeforeFee, taxFeeFrontend, UInt64.from(10000))
    // 0.05% to the protocol
    const feeProtocol = mulDiv(amountOutBeforeFee, UInt64.from(5), UInt64.from(10000))
    const amountOut = amountOutBeforeFee.sub(feeLP).sub(feeFrontend).sub(feeProtocol)
    return { feeLP, feeFrontend, feeProtocol, amountOut }
  }
}