import { RpcSchema } from 'ox'
import { z } from 'ox/zod'
import { expectTypeOf, test } from 'vp/test'

test('ToViem: converts ox schema to viem schema', () => {
  type OxSchema =
    | {
        Request: { method: 'eth_blockNumber'; params?: undefined }
        ReturnType: `0x${string}`
      }
    | {
        Request: { method: 'eth_chainId'; params?: undefined }
        ReturnType: `0x${string}`
      }

  type Result = RpcSchema.ToViem<OxSchema>

  expectTypeOf<Result>().toMatchTypeOf<
    readonly {
      Method: string
      Parameters?: unknown
      ReturnType: unknown
    }[]
  >()

  type Item = Result[number]
  expectTypeOf<Item['Method']>().toEqualTypeOf<
    'eth_blockNumber' | 'eth_chainId'
  >()
})

test('ToViem: preserves params', () => {
  type OxSchema = {
    Request: {
      method: 'eth_getBalance'
      params: [address: `0x${string}`, block: string]
    }
    ReturnType: `0x${string}`
  }

  type Result = RpcSchema.ToViem<OxSchema>

  expectTypeOf<Result[0]['Method']>().toEqualTypeOf<'eth_getBalance'>()
  expectTypeOf<Result[0]['Parameters']>().toEqualTypeOf<
    [address: `0x${string}`, block: string]
  >()
  expectTypeOf<Result[0]['ReturnType']>().toEqualTypeOf<`0x${string}`>()
})

test('FromViem: converts viem schema to ox schema', () => {
  type ViemSchema = [
    {
      Method: 'eth_blockNumber'
      Parameters?: undefined
      ReturnType: `0x${string}`
    },
    {
      Method: 'eth_chainId'
      Parameters?: undefined
      ReturnType: `0x${string}`
    },
  ]

  type Result = RpcSchema.FromViem<ViemSchema>

  expectTypeOf<Result>().toMatchTypeOf<RpcSchema.Generic>()

  type BlockNumber = Extract<Result, { Request: { method: 'eth_blockNumber' } }>
  expectTypeOf<BlockNumber['ReturnType']>().toEqualTypeOf<`0x${string}`>()
})

test('FromViem: preserves params', () => {
  type ViemSchema = [
    {
      Method: 'eth_getBalance'
      Parameters: [address: `0x${string}`, block: string]
      ReturnType: `0x${string}`
    },
  ]

  type Result = RpcSchema.FromViem<ViemSchema>

  type Item = Extract<Result, { Request: { method: 'eth_getBalance' } }>
  expectTypeOf<Item['Request']['params']>().toEqualTypeOf<
    [address: `0x${string}`, block: string]
  >()
  expectTypeOf<Item['ReturnType']>().toEqualTypeOf<`0x${string}`>()
})

test('roundtrip: ToViem -> FromViem preserves schema', () => {
  type Original = {
    Request: {
      method: 'eth_getBalance'
      params: [address: `0x${string}`, block: string]
    }
    ReturnType: `0x${string}`
  }

  type Roundtrip = RpcSchema.FromViem<RpcSchema.ToViem<Original>>

  type Item = Extract<Roundtrip, { Request: { method: 'eth_getBalance' } }>
  expectTypeOf<Item['Request']['method']>().toEqualTypeOf<'eth_getBalance'>()
  expectTypeOf<Item['ReturnType']>().toEqualTypeOf<`0x${string}`>()
})

test('roundtrip: FromViem -> ToViem preserves schema', () => {
  type Original = [
    {
      Method: 'eth_blockNumber'
      Parameters?: undefined
      ReturnType: `0x${string}`
    },
  ]

  type Roundtrip = RpcSchema.ToViem<RpcSchema.FromViem<Original>>

  expectTypeOf<Roundtrip[0]['Method']>().toEqualTypeOf<'eth_blockNumber'>()
  expectTypeOf<Roundtrip[0]['ReturnType']>().toEqualTypeOf<`0x${string}`>()
})

test('FromZod: derives Generic from a record of zod schemas', () => {
  const namespace = {
    eth_blockNumber: {
      params: z.optional(z.tuple([])),
      returns: z.Hex.Hex,
    },
    abe_foo: {
      params: z.tuple([z.number()]),
      returns: z.string(),
    },
  }

  type Schema = RpcSchema.FromZod<typeof namespace>

  type MethodName = RpcSchema.ExtractMethodName<Schema>
  expectTypeOf<MethodName>().toEqualTypeOf<'eth_blockNumber' | 'abe_foo'>()

  expectTypeOf<
    RpcSchema.ExtractReturnType<Schema, 'eth_blockNumber'>
  >().toEqualTypeOf<`0x${string}`>()
  expectTypeOf<
    RpcSchema.ExtractReturnType<Schema, 'abe_foo'>
  >().toEqualTypeOf<string>()
  expectTypeOf<RpcSchema.ExtractParams<Schema, 'abe_foo'>>().toEqualTypeOf<
    [number]
  >()
})

test('FromZod: accepts an ox/zod namespace', () => {
  type Schema = RpcSchema.FromZod<typeof z.RpcSchema.Eth>

  expectTypeOf<
    RpcSchema.ExtractReturnType<Schema, 'eth_blockNumber'>
  >().toEqualTypeOf<`0x${string}`>()
})

test('ToGeneric: resolves a zod namespace to a Generic', () => {
  const namespace = {
    abe_foo: {
      params: z.tuple([z.number()]),
      returns: z.string(),
    },
  }

  type Schema = RpcSchema.ToGeneric<typeof namespace>

  expectTypeOf<
    RpcSchema.ExtractReturnType<Schema, 'abe_foo'>
  >().toEqualTypeOf<string>()
  expectTypeOf<RpcSchema.ExtractParams<Schema, 'abe_foo'>>().toEqualTypeOf<
    [number]
  >()
})

test('ToGeneric: passes a Generic through', () => {
  type Schema = RpcSchema.ToGeneric<{
    Request: { method: 'abe_bar'; params: [id: string] }
    ReturnType: string
  }>

  expectTypeOf<
    RpcSchema.ExtractReturnType<Schema, 'abe_bar'>
  >().toEqualTypeOf<string>()
})

test('ToGeneric: falls back to Default for undefined', () => {
  expectTypeOf<
    RpcSchema.ToGeneric<undefined>
  >().toEqualTypeOf<RpcSchema.Default>()
})

test('from: no-arg type tag still works', () => {
  const schema = RpcSchema.from<
    | RpcSchema.Default
    | {
        Request: { method: 'abe_bar'; params: [id: string] }
        ReturnType: string
      }
  >()

  expectTypeOf<
    RpcSchema.ExtractReturnType<typeof schema, 'abe_bar'>
  >().toEqualTypeOf<string>()
})

test('eth_call accepts a 4-tuple with state + block overrides', () => {
  type Params = RpcSchema.ExtractParams<RpcSchema.Default, 'eth_call'>
  expectTypeOf<
    [
      transaction: { to: `0x${string}` },
      block: 'latest',
      stateOverrides: {},
      blockOverrides: { number: `0x${string}` },
    ]
  >().toExtend<Params>()
})