Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
IGArgs | |
|
data ClaferIGEnv Source #
ClaferIGEnv | |
|
getClaferEnv :: Monad m => ClaferIGT m ClaferEnv Source #
getConstraints :: Monad m => ClaferIGT m [Constraint] Source #
getUIDIClaferMap :: Monad m => ClaferIGT m UIDIClaferMap Source #
data Counterexample Source #
getQNameMaps :: MonadIO m => ClaferIGT m QNameMaps Source #
increaseScope :: MonadIO m => Integer -> (String, Integer) -> ClaferIGT m (Either String ()) Source #
findRemovable :: ClaferEnv -> [Span] -> [Constraint] -> [Maybe Constraint] Source #
sigToClaferName :: String -> String Source #