on 0c62398 help sign in
elk/src/Type
1 folder, 7 files
../ Constrain/Make `command` and `subscription` functions available in effect modules Environment.hsAdd support for "effect types" that track which effects are needed Fragment.hsShow proper errors for infinite types again Inference.hsParse more liberally, give errors in validation phase for better messages Solve.hsAdd support for "effect types" that track which effects are needed State.hsAdd support for "effect types" that track which effects are needed Type.hsAdd support for "effect types" that track which effects are needed Unify.hsAdd support for "effect types" that track which effects are needed