腾讯云

开发者社区

文档建议反馈控制台

首页

文章/答案/技术大牛

发布

社区首页 >问答首页 >它是隐藏包1.2.0.0的成员，如何加载hs文件

问它是隐藏包1.2.0.0的成员，如何加载hs文件
EN

Stack Overflow用户

提问于 2011-04-14 14:11:02

回答 3查看 2.4K关注 0票数 4

安装了QuickCheck，

我再次安装cabal install QuickCheck-1.2.0.0

并再次加载，但出现错误

找不到模块Test.QuickCheck.Batch': It is a member of the hidden package快速检查-1.2.0.0‘。

它是隐藏包，怎么办？

ghc -o tryprog hello.hs -package QuickCheck-1.2.0.0 :无法满足-package QuickCheck-1.2.0.0 (使用-v了解更多信息)

除了这个错误，如何使用包quickcheck-1.2.0.0加载.hs文件？

这道题加了50分

在这个加载问题上，我真诚地请求您的帮助！

haskell

cabal

quickcheck

云点播特惠1元起

提供制作上传、存储、转码、媒体处理、媒体 AI、加速分发播放、版权保护等一体化的高品质媒体服务

回答 3

Stack Overflow用户

回答已采纳

发布于 2011-04-20 14:25:32

您可以使用ghc-pkg expose QuickCheck-1.2.0.0和ghc-pkg hide QuickCheck-2.4等中的ghc-pkg命令隐藏或公开包。

票数 12

Stack Overflow用户

发布于 2011-04-14 14:44:16

Test.QuickCheck.Batch是一个1.x版本的快速检查模块，您可能安装了更新的2.x版本的快速检查。像往常一样，您可以找到documentation on hackage。

票数 3

Stack Overflow用户

发布于 2011-04-19 13:25:32

根据编译时使用-package来指定包名的GHC user's guide。根据你得到的错误，你应该指定'-package QuickCheck-1.2.0.0‘。

票数 3

页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持

原文链接：

https://stackoverflow.com/questions/5664544

复制

【安卓美化】我的桌面我做主（一）

android 开源

作为一个开源的操作系统，安卓虽然在安全及流畅度上面比不上ios系统（据说原生的安卓系统比苹果系统还流畅，但我们显然用不上），但是安卓的开源性使得有十分多的人开发出了许多强大的app，使我们能在更大的程度上DIY自己的手机。

分享者

2022/05/16

7400

appinventor安卓壁纸设置（上）

工具设计手机数据类型系统

初步功能需求打开安卓app，然后会看到一张内置好的图片，点击下方的设置壁纸，实现让这个图片成为壁纸的功能，实现方法调用安卓系统内置的壁纸设置工具。

泽泽社长

2023/04/17

8940

OpenCV 安卓编程示例：1~6 全

存储 opencv 编程对象算法

在本章中，我将逐步介绍如何开始使用 OpenCV 开发具有视觉感知的 Android 应用。

ApacheCN_飞龙

2023/04/27

5.8K0

安卓app上架流程

ios windows https SSL 证书打包

上传APP的时候，遇到了问题，一直卡在Authenticating with the iTunes store提示这里，

爱学iOS的小麦子

2023/01/04

5090

vue项目在安卓低版本机显示空白原因

其他

查看安卓debug，报错，可能有箭头函数语法错误，或者其他语法问题，那可能是ES6语法问题。

蓓蕾心晴

2018/09/20

2.3K0

浅谈安卓系统上的DSU loader

android 编程算法

什么是DSU loader? dsu loader即动态系统更新可以在使用动态分区的安卓设备上，不影响原来系统的同时安装一个副系统，用于体验最新的原生安卓系统(AOSP)（博主评：相比传统刷机模式，

Tianli

2023/03/03

12.9K0

php判断安卓、苹果设备的代码

php

有时编写php网站的东西时，需要判断访问访问的设备是苹果设备还是安卓设备，从而显示不同的东西给访客，下面是实现的php代码：

李维亮

2021/07/09

1.7K0

【Rust日报】2021-04-12 谷歌安卓团队拥抱安卓上的 Rust 开发

游戏 rust https 网络安全 github

过去 18 个月中,安卓团队开始将 Rust 引入到安卓开源项目中, 很快, 一些早期的适配项目就会面世.

MikeLoveRust

2021/04/22

1.1K0

OpenCV3 安卓应用编程：1~6 全

编程变量对象函数接口

本章是为 Android 和 OpenCV 设置开发环境的快速指南。我们还将研究 OpenCV 示例应用，文档和社区。

ApacheCN_飞龙

2023/04/27

5.3K0

安卓基础干货(七)：安卓广播的学习

其他

android应用程序里面的电台：系统内置的一个服务，会把事件（电量不足、电量充满、开机启动完成）作为一个广播消息发送其他的接收者；

緣來

2018/09/18

4K0

安卓基础干货(八)：安卓进程的学习

windows android linux qt

接口（interface）：对外开放暴露的功能，但是不会暴露功能实现的细节；让中间人实现服务接口的目的：只对外暴露接口里面业务逻辑方法，隐藏中间人里面的其他方法；

緣來

2018/09/18

4.1K0

安卓的日历_公认不卡的安卓手机

github https git 开源网络安全

代码已上传到github：https://github.com/yannecer/NCalendar 项目主要用到了自定义View，ViewPager，RecyclerView和NestedScrollingParent。

全栈程序员站长

2022/08/03

4.9K0

安卓代码段--传递Bundle数据

编程算法 textview android 打包 python

Intent intent=new Intent(MainActivity.this,TestAcitvity.class); Bundle bundle=new Bundle(); bundle.putString(“name”,”shaomiao”); bundle.putInt(“age”,17); /////// intent.putExtras(bundle); startActivity(intent);

tea9

2022/07/15

4550

iPhone 上也能用安卓系统了？！

iphone ios

今天看到一个视频，视频里一个人拿着一个 iPhone，但是里面运行的却是安卓系统，还是三星的 ROM。

崔庆才

2021/04/26

1.3K0

实战-如何获取安卓iOS上的微信聊天记录、通过Metasploit控制安卓

android ios 安全黑客

在这篇文章中我们将讨论如何获取安卓、苹果设备中的微信聊天记录，并演示如何利用后门通过Metasploit对安卓设备进行控制。文章比较基础、可动手性强，有设备的童鞋不妨边阅读文章边操作，希望能激发大家对移动终端的安全兴趣。 “如何获取Android、iPhone手机上的微信聊天记录？ ” 0×00 条件：安卓设备已获取root权限，安装SSHDroid(通过ssh、ftp连接手机) Apple设备越狱，安装OpenSSH插件 0×01 安卓：很多安卓手机的用户都会遇到这么一个尴尬的问题:手机用久了就不知

用户1631416

2018/04/12

5.1K0

安卓 toast_安卓toast使用

java https xml 网络安全

一个 toast 是在屏幕上弹出一条信息，它的大小总是包裹着需要显示的内容，并且当前的 Activity 依然是可见并且可互动的。toast会自动消失，并且不接受任何互动事件。因为 toast 可以在后台的 Service 中创建，所以即使这个应用程序没有显示在屏幕上，仍然可以弹出 toast.

全栈程序员站长

2022/10/01

6.5K0

安卓基础干货(六)：安卓Activity的学习

其他

5、application中的label标签和activity中的label标签不是一个概念，application中的label表示应用程序的名称，activity中的label标签表示的是它的界面的名称。

緣來

2018/09/18

2.9K0

如何从电脑直接控制安卓手机监控安卓手机安卓手机如何控制安卓手机

apk service wifi 局域网手机

实用方法很简单，在手机上安装这个软件，然后运行，然后进入Setting,点击User's settings，然后Create new user（我新建了一个叫做ACE的用户），注意这里在豌豆荚的截图只是做教程用的，实际不需要连接豌豆荚，甚至不需要WIFI，只要你打开了GPRS

程序员小顾

2021/12/01

16.7K0

在安卓手机或Win电脑上同步iOS上的日历

android vr 视频解决方案访问管理 https 网络安全

说说我的需求：我平时都是我的iPad上添加我日常的日程，但是如果要到电脑或安卓手机上也有同样的日历就比较不方便。

可定

2020/04/21

4.3K0

安卓13又来了？快！扶起我来！

android android studio

前言一年一年过的太快了，还记得两年前写了 Android 11(R) 的适配文章，这一转眼都13(T)了，这样算下去几年后26个字母就用完了，到时候也不知道 Google 会如何进行命名😂。下面咱们来看看 Android 13 都有哪些更新，并来看看开发者应该如何进行适配吧！隐私及权限相关通知的运行时权限在之前版本中我们应用如果需要弹通知的话只需要通过 NotificationManager 即可直接进行弹出，不需要任何权限，之前我一直觉得 Google 官方这一点做的不好，通知这么重要竟然不需要用户同意就

ZhuJiang

2022/08/02

9380

相似问题

如何只包括我需要的OpenCV安卓库？

217

安卓:什么时候需要WakeLock？

安卓5.0上的OpenCV本机摄像头视图无法工作

安卓系统上的OpenCV支持

安卓5.0上的安卓OpenCV问题(棒棒糖)

活动推荐

运维排障、用户行为分析快人一步，福利多！

添加站长进交流群

领取专属 10元无门槛券

AI混元助手 在线答疑

关注 腾讯云开发者公众号

洞察 腾讯核心技术

剖析业界实践案例