Agda
Safe HaskellNone
LanguageHaskell2010

Agda.TypeChecking.Rules.LHS.Unify.LeftInverse

Synopsis

Documentation

digestUnifyLog :: UnifyLog -> Either NoLeftInv DigestedUnifyLog Source #

Pre-process a UnifyLog so that we catch unsupported steps early.