package inferno

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `SolverHi.Make`Source

module X : SolverSig.TEVAR

module S : UnifierSig.STRUCTURE

module O : SolverSig.OUTPUT with type 'a structure = 'a S.structure

Sourcetype variable

Sourcetype 'a co

Sourceval pure : 'a -> 'a co

Sourceval (^&) : 'a co -> 'b co -> ('a * 'b) co

Sourceval map : ('a -> 'b) -> 'a co -> 'b co

Sourceval (<$$>) : 'a co -> ('a -> 'b) -> 'b co

Sourceval (^^) : 'a co -> 'b co -> 'b co

Sourceval (--) : variable -> variable -> unit co

Sourceval (---) : variable -> variable O.structure -> unit co

Sourceval exist : (variable -> 'a co) -> (O.ty * 'a) co

Sourceval construct : variable O.structure -> (variable -> 'a co) -> (O.ty * 'a) co

Sourceval exist_ : (variable -> 'a co) -> 'a co

Sourceval construct_ : variable O.structure -> (variable -> 'a co) -> 'a co

Sourceval lift : ('a -> variable -> 'b co) -> 'a -> variable O.structure -> 'b co

Sourceval instance : X.tevar -> variable -> O.ty list co

Sourceval def : X.tevar -> variable -> 'a co -> 'a co

val let1 : 
  X.tevar ->
  (variable -> 'a co) ->
  'b co ->
  (O.scheme * O.tyvar list * 'a * 'b) co

Sourceval let0 : 'a co -> (O.tyvar list * 'a) co

val letn : 
  X.tevar list ->
  (variable list -> 'a co) ->
  'b co ->
  (O.scheme list * O.tyvar list * 'a * 'b) co

Sourceexception Unbound of X.tevar

Sourceexception Unify of O.ty * O.ty

Sourceexception Cycle of O.ty

Sourceval solve : bool -> 'a co -> 'a