Packages

graded

0.7.0
0.11.0 0.10.1 0.10.0 0.9.4 0.9.3 0.9.2 0.9.1 0.9.0 0.8.1 0.8.0 0.7.0 0.6.0 0.5.0 0.4.2 0.4.1 0.4.0 0.3.0 0.2.0 0.1.0

Effect checking for Gleam

HexDocs

Current section

Files

Jump to
Readme
19 Versions
9 Dependencies
Dependants
Files
Activity
graded include graded@internal@effects_KnowledgeBase.hrl
Raw

include/graded@internal@effects_KnowledgeBase.hrl 

-record(knowledge_base, {

    all_effects :: gleam@dict:dict(graded@internal@types:qualified_name(), graded@internal@types:effect_term()),

    param_bounds :: gleam@dict:dict(graded@internal@types:qualified_name(), list(graded@internal@types:param_bound())),

    type_fields :: gleam@dict:dict({binary(), binary(), binary()}, graded@internal@types:type_field_effect()),

    returned_operators :: gleam@dict:dict(graded@internal@types:qualified_name(), graded@internal@types:effect_term()),

    factories :: gleam@dict:dict({binary(), binary()}, gleam@dict:dict(binary(), integer())),

    pure_modules :: gleam@set:set(binary())

}).