gleamunison/infer_helper

Values

list_all_match

</>

pub fn list_all_match(
  ts: List(ast.Term),
  t: ast.Type,
  cache: types.TypeCache,
  infer_fn: fn(ast.Term, types.TypeCache) -> Result(
    ast.Type,
    types.InferenceError,
  ),
) -> Bool

normalize_type

</>

pub fn normalize_type(t: ast.Type) -> ast.Type

substitute

</>

pub fn substitute(
  typ: ast.Type,
  target_index: Int,
  replacement: ast.Type,
) -> ast.Type

✨