Safe Haskell | Safe-Infered |
---|
Documentation
data ExpRefInfo o Source
ExpRefInfo | |
|
getinfo :: [RefInfo o] -> ExpRefInfo oSource
extraref :: UId o -> [Maybe (UId o)] -> ConstRef o -> (Int, StateT (IORef [SubConstraints (RefInfo o)], Int) IO (Exp o))Source
prioNo, prioAbsurdLambda, prioNoIota, prioCompCopy, prioCompUnif, prioCompChoice, prioCompIota, prioCompareArgList, prioCompBetaStructured, prioCompBeta, prioInferredTypeUnknown, prioTypecheckArgList, prioTypeUnknown :: IntSource
prioTypecheck :: Num a => Bool -> aSource