@type confidence() :: :high | :medium | :low

@type effect() ::
  :io
  | :mutation
  | :random
  | :time
  | :network
  | :database
  | :exception
  | :unknown

@type location() :: {:line, non_neg_integer(), effect()}

@type t() :: %MetaCredo.Analysis.Purity.Result{
  confidence: confidence(),
  effects: [effect()],
  impure_locations: [location()],
  pure?: boolean(),
  summary: String.t(),
  unknown_calls: [String.t()]
}