Safe Haskell | Safe-Inferred |
---|---|
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
costAppHint :: Int Source
costAppVar :: Int Source
costEqStep :: Int Source
costEqCong :: Int Source
prioNoIota :: Int Source
prioTypecheck :: Bool -> Int Source