Documentation

codeLookup :: Applicative m => CodeLookup Symbol m Ann Source #

constructorType :: Reference -> Maybe ConstructorType Source #

names :: Names Source #

builtinDataDecls :: [(Symbol, (Id, DataDeclaration))] Source #

builtinEffectDecls :: [(Symbol, (Id, EffectDeclaration))] Source #

builtinConstructorType :: Map Reference ConstructorType Source #

builtinTypeDependents :: Reference -> Set Reference Source #

builtinTypeDependentsOfComponent :: Hash -> Set Reference Source #

builtinTypes :: [(Name, Reference)] Source #

builtinTermsByType :: Relation Reference Referent Source #

builtinTermsByTypeMention :: Relation Reference Referent Source #

intrinsicTermReferences :: Set Reference Source #

intrinsicTypeReferences :: Set Reference Source #

isBuiltinType :: Reference -> Bool Source #

typeOf :: a -> (Type -> a) -> Reference -> a Source #

typeLookup :: TypeLookup Symbol Ann Source #

termRefTypes :: Map TermReference Type Source #

termRefTypeReferences :: Map TermReference TypeReference Source #