Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
package gobba
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Module Gobba.Puritycheck
val level_purity : Types.puret -> Types.puret -> Types.puret"level out" the purity of two values
val infer : Types.expr -> Types.evalstate -> Types.puretInfer the purity of an expression. Note: this is a naive approach. This function is an abstract interpretation of expressions over primitives and environments.
val lookup_env :
Types.ide ->
Types.purityenv_type ->
Types.puret ->
Types.puretval lookup : Types.ide -> Types.evalstate -> Types.puretval infer_assignment :
Types.evalstate ->
(bool * Types.ide * Types.expr) ->
Types.evalstateval infer_assignment_list :
Types.assignment_type list ->
Types.evalstate ->
Types.evalstate