Packages

girard

2.1.0
2.1.1 2.1.0 2.0.0 1.1.1 1.1.0 1.0.0

A type annotator for Gleam, written in Gleam: it runs Hindley-Milner inference mirroring the real compiler and reports the inferred type of every expression.

HexDocs Report package

Current section

Files

Jump to
Readme
6 Versions
4 Dependencies
Dependants
Files
Activity
girard girard.graded
Raw

girard.graded 

check girard.default_options : []

check girard.disk_resolver : []

check girard.with_resolver : []

check girard.with_target : []



effects girard.annotate(options.resolver: [options.resolver]) : [options.resolver]

effects girard.annotate_module(options.resolver: [options.resolver]) : [options.resolver]

effects girard.annotate_package(options.resolver: [options.resolver]) : [options.resolver]

effects girard.annotate_with_cache(options.resolver: [options.resolver]) : [options.resolver]

effects girard.default_options : []

effects girard.describe_error : []

effects girard.disk_resolver : []

effects girard.invalidate : []

effects girard.main : [Environment, FileSystem, Stderr, Stdout]

effects girard.new_cache : []

effects girard.report : [FileSystem]

effects girard.type_to_string : []

effects girard.with_resolver : []

effects girard.with_target : []

effects girard/internal/reference.in_constant : []

effects girard/internal/reference.in_function : []

effects girard/internal/scc.components : []



returns girard.disk_resolver : [FileSystem]