Searched refs:MonadReflectedToAbstract (Results 1 – 1 of 1) sorted by relevance
42 type MonadReflectedToAbstract m = type56 withName :: MonadReflectedToAbstract m => String -> (Name -> m a) -> m a59 withVar :: MonadReflectedToAbstract m => String -> R.Type -> (Name -> m a) -> m a72 withNames :: MonadReflectedToAbstract m => [String] -> ([Name] -> m a) -> m a75 withVars :: MonadReflectedToAbstract m => [(String, R.Type)] -> ([Name] -> m a) -> m a81 askVar :: MonadReflectedToAbstract m => Int -> m (Maybe (Name,R.Type))84 askName :: MonadReflectedToAbstract m => Int -> m (Maybe Name)89 toAbstract :: MonadReflectedToAbstract m => r -> m (AbsOfRef r)93 => MonadReflectedToAbstract m => r -> m (AbsOfRef r)207 mkVar :: MonadReflectedToAbstract m => Int -> m (Name, R.Type)[all …]