package inferno

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module X : SolverSig.TEVAR

module S : UnifierSig.STRUCTURE

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

type variable

type 'a co

val pure : 'a -> 'a co

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

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

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

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

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

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

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

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

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

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

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

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

val 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

val 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

exception Unbound of X.tevar

exception Unify of O.ty * O.ty

exception Cycle of O.ty

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