Yhc Source code Contents Index

Type.Unify

Documentation

unify :: IntState -> Map Id NT -> (NT, NT) -> Either (Map Id NT, String) (Map Id NT)

unifyr :: IntState -> Map Id NT -> [NT] -> Either (Map Id NT, String) (Map Id NT)

Produced by Haddock version 0.8