View Source TypeResolver.Types.NonemptyMaybeImproperListT (TypeResolver v0.1.3)

Representation of the spec of a non empty maybe improper list-type, e.g. non_empty_maybe_improper_list(integer() integer())

It consists of the following:

  • the type of the non empty list's elements
  • the termination type

Summary

Types

@type t() :: %TypeResolver.Types.NonemptyMaybeImproperListT{
  inner: TypeResolver.Types.t() | nil,
  termination: TypeResolver.Types.t() | nil
}