Safe Haskell | Safe |
---|---|
Language | Haskell98 |
Documentation
data ExpRefInfo o Source #
ExpRefInfo | |
|
getinfo :: [RefInfo o] -> ExpRefInfo o Source #
extraref :: UId o -> [Maybe (UId o)] -> ConstRef o -> (Int, StateT (IORef [SubConstraints (RefInfo o)], Int) IO (Exp o)) Source #
costIncrease :: Int Source #
costAppVar :: Int Source #
costAppVarUsed :: Int Source #
costAppHint :: Int Source #
costAppRecCall :: Int Source #
costLamUnfold :: Int Source #
costIotaStep :: Int Source #
costAbsurdLam :: Int Source #
costEqStep :: Int Source #
costEqCong :: Int Source #
prioCompBeta :: Int Source #
prioCompIota :: Int Source #
prioCompChoice :: Int Source #
prioCompUnif :: Int Source #
prioCompCopy :: Int Source #
prioNoIota :: Int Source #
prioProjIndex :: Int Source #
prioTypecheck :: Bool -> Int Source #
Orphan instances
Trav a blk => Trav [a] blk Source # | |
Refinable (ICExp o) (RefInfo o) Source # | |
Refinable (ArgList o) (RefInfo o) Source # | |
Refinable (Exp o) (RefInfo o) Source # | |
Refinable (ConstRef o) (RefInfo o) Source # | |
Trav (ArgList o) (RefInfo o) Source # | |
Trav (Exp o) (RefInfo o) Source # | |
Trav (MId, CExp o) (RefInfo o) Source # | |
Trav (TrBr a o) (RefInfo o) Source # | |