@type decimal() :: Decimal.t()

@type error_list() :: Keyword.t()

@type literal() ::
  integer()
  | decimal()
  | boolean()
  | String.t()
  | Kadena.Types.PactInt.t()
  | Kadena.Types.PactDecimal.t()
  | t()
  | pact_values()

@type pact_values() :: [t()]

@type raw_decimal() :: float() | str()

@type str() :: String.t()

@type t() :: %Kadena.Types.PactValue{literal: literal()}

@type validation() :: {:ok, literal() | t()} | {:error, error_list()}