| Agda-2.2.6: A dependently typed functional programming language and proof assistant | Source code | Contents | Index

Agda.Auto.SearchControl

Documentation

occursCheck :: forall a o. Metavar a (RefInfo o) -> HNExp o -> IO Bool | Source

prioTypeUnknown :: Int | Source

prioTypecheckArgList :: Int | Source

prioInferredTypeUnknown :: Int | Source

prioPreCompare :: Int | Source

prioCompare :: Int | Source

prioCompareArgList :: Int | Source

prioCompIota :: Int | Source

prioCompChoice :: Int | Source

prioNo :: Int | Source

Produced by Haddock version 2.4.2