Language.Reflection.Unify.WithCompiler

Definitions

unifyWithCompiler : Elaboration m => MonadError (Maybe UnificationError) m => UnificationTask -> m UnificationResult

  Run unification in a try block

Totality: total
Visibility: export

unifyWithCompiler' : Elaboration m => MonadError (Maybe UnificationError) m => UnificationTask -> m UnificationResult

  Run unification in a try block

Totality: total
Visibility: export