Left package:ghc

Left Shift: <<

No indentation, infinitely long lines

Strategies for ordering SrcSpans

Strategies for ordering SrcSpans

Indentation level is 1-indexed, so the leftmost column is 1.

Given ty :: k1, co :: k1 ~ k2, co2:: ty ~r ty', produces @co' :: (ty |> co) ~r ty' It is not only a utility function, but it saves allocation when co is a GRefl coercion.

Given r, ty :: k1, and co :: k1 ~N k2, produces co' :: (ty |> co) ~r ty

Create a Reduction from a kind cast, in which the casted type is the original (non-rewritten) type. Given ty :: k1, mco :: k1 ~ k2, produces the Reduction (ty |> mco) ~res_co~> ty at the given Role.

Create a Reduction from a kind cast, in which the casted type is the original (non-rewritten) type. Given ty :: k1, mco :: k1 ~ k2, produces the Reduction (ty |> mco) ~res_co~> ty at the given Role.