Safe Haskell | Safe-Inferred |
---|
Documentation
data ExpRefInfo o Source
ExpRefInfo | |
|
getinfo :: [RefInfo o] -> ExpRefInfo oSource
extraref :: Metavar (Exp o) (RefInfo o) -> [Maybe (Metavar (Exp o) (RefInfo o))] -> ConstRef o -> (Int, StateT (IORef [SubConstraints (RefInfo o)], Int) IO (Exp o))Source
costIotaStep :: IntSource
costIncrease :: IntSource
costAppExtraRef :: IntSource
costUnificationOccurs :: IntSource
costUnification :: IntSource
costAppVar :: IntSource
costAppVarUsed :: IntSource
costAppHint :: IntSource
costAppHintUsed :: IntSource
costAppRecCall :: IntSource
costAppRecCallUsed :: IntSource
costAppConstructor :: IntSource
costLamUnfold :: IntSource
costInferredTypeUnkown :: IntSource
costAbsurdLam :: IntSource
costEqStep :: IntSource
costEqCong :: IntSource
prioAbsurdLambda :: IntSource
prioNoIota :: IntSource
prioCompCopy :: IntSource
prioCompUnif :: IntSource
prioCompChoice :: IntSource
prioCompIota :: IntSource
prioCompareArgList :: IntSource
prioCompBetaStructured :: IntSource
prioCompBeta :: IntSource
prioTypecheckArgList :: IntSource
prioTypeUnknown :: IntSource
prioTypecheck :: Num a => Bool -> aSource
prioProjIndex :: IntSource