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
prioTypecheck :: Num a => Bool -> aSource