eyg/analysis/type_/binding/debug

effect

pub fn effect(e: isomorphic.Type(Int)) -> String

</>

pub fn mono(type_: isomorphic.Type(Int)) -> String

</>

pub fn pretty_reason(reason: error.Reason) -> String

</>

pub fn reason(r: error.Reason) -> String

</>

pub fn render_effects(effects: isomorphic.Type(Int)) -> String

</>

pub fn render_reason(reason: error.Reason) -> String

</>

pub fn render_type(typ: isomorphic.Type(Int)) -> String