Idris2Doc : Language.Reflection.Unify.WithCompiler

Language.Reflection.Unify.WithCompiler

(source)
Reexports
import public Control.Monad.Either
import public Control.Monad.Writer
import public Control.Monad.Identity
import public Data.Vect.Quantifiers
import public Data.SnocVect
import public Decidable.Equality
import public Language.Reflection.Expr
import public Language.Reflection.Logging
import public Language.Reflection.Unify.Interface
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