Portability | semi-portable (Rank2Types, MPTCs,...) |
---|---|

Stability | highly experimental |

Maintainer | wren@community.haskell.org |

Safe Haskell | None |

A ranked variant of Control.Unification.STVar.

- data STRVar s t
- data STRBinding s a
- runSTRBinding :: (forall s. STRBinding s a) -> a

# Documentation

A ranked unification variable implemented by `STRef`

s. In
addition to the `STRef`

for the term itself, we also track the
variable's ID (to support visited-sets) and rank (to support
weighted path compression).

Unifiable t => RankedBindingMonad t (STRVar s t) (STRBinding s) | |

Unifiable t => BindingMonad t (STRVar s t) (STRBinding s) | |

Eq (STRVar s t) | |

Show (STRVar s t) | |

Variable (STRVar s t) |

data STRBinding s a Source

A monad for handling `STRVar`

bindings.

Unifiable t => RankedBindingMonad t (STRVar s t) (STRBinding s) | |

Unifiable t => BindingMonad t (STRVar s t) (STRBinding s) | |

Monad (STRBinding s) | |

Functor (STRBinding s) | |

Applicative (STRBinding s) |

runSTRBinding :: (forall s. STRBinding s a) -> aSource