问题列表 - 第133602页

data MinList (min : ?) : Set where
  []    : MinList min
  _??_?_ : (x : ?) -> min ? x -> MinList x -> MinList min

什么是<< >>意味着什么？

或者是什么意思

_??_?_ : (x : ?) -> min ? x -> MinList x -> MinList min

谢谢

我想在我的"订单"表中添加一个名为"payment_type"的列.

这是我到目前为止的迁移:

def change
  add_column :orders, :payment_type, :string
end

我希望payment_type保持当前在DB中的所有记录的值"normal".但是,不是为了将来的记录.我希望将来的记录没有默认值.我怎样才能做到这一点？

我在使用表示为字符数组的字符串时遇到了一些麻烦.正如我在java中所做的那样,我想做的是以下内容:

     while (i < chars.length) {
        char ch = chars[i];
        if ((WORD_CHARS.indexOf(ch) >= 0) == punctuation) {

            String token = buffer.toString();
            if (token.length() > 0) {
                parts.add(token);
            }
            buffer = new StringBuffer();

        }
        buffer.append(ch);
        i++;
    }

我正在做的是这样的:

while(i < strlen(chars)) {

    char ch = chars[i];
    if(([WORD_CHARS rangeOfString:ch] >= 0) == punctuation) {

        NSString *token = buffer.toString();
        if([token length] > 0) {
            [parts addObject:token];
        }
        buffer = [NSMutableString string];
    }
    [buffer append(ch)];
    i++;
}

我不确定我应该怎么转换

 String token = buffer.toString();

到目标c,其中buffer是NSMutableString.另外,如果目标c中的条件如何,我该如何检查？

if …

对于Windows Phone 8应用程序,我总是听说数据可以存储在手机的"隔离存储"中.经过一些研究,我找到了两个命名空间:LocalStorage(WinRT但WinPRT也支持)和IsolatedStorage,它们似乎都存储数据.这是我到目前为止所理解的:

• IsolatedStorage是一个虚拟文件系统,因此您无法与用户媒体进行交互
• LocalStorage似乎有一个真正的隔离存储,因为数据存储在与应用程序关联的文件夹中

在IsolatedStorage中,各种应用程序的数据可以混合使用吗？我想要一种方法来拥有一个真正安全隔离的地方来存储数据,而不需要与其他应用程序进行外部交互.此数据可能是设置首选项.

问题是我不太了解那些API,我的测试程序引发了新的问题.这些命名空间之间的真正区别是什么,哪个可以满足我上面解释的需求？

我想对我的Firefox插件使用Google Analytics（分析）事件跟踪。我在popup.html中包含了这样的ga脚本。

<script src="http://www.google-analytics.com/ga.js"></script>

并且还添加了：

<script >
  var _gaq = _gaq || [];
  _gaq.push(['_setAccount', 'UA-XXXXXXXX-X']);
</script>

我使用以下代码推送事件：

_gaq.push(['_trackEvent', 'example', 'clickedit']); 

我在firefox错误控制台中看不到任何错误，并且该事件在分析页面中也没有。

任何的想法？Firefox不允许这样做吗？

谢谢

我有文件sorted.txt:

$cat sorted.txt  
bash  
fosh  
hack  
hack  

如果我这样做uniq:

$uniq sorted.txt  
bash  
fosh  
hack  

如果我这样做,uniq -z我得到:

$uniq -z sorted.txt  
bash  
fosh  
hack  
hack  

即uniq -z我在复制!我期待,在输出唯一的区别uniq sorted.txt和uniq -z sorted.txt是分隔符.
我为什么要重复uniq -z？

我用hql从数据库中查询.第一个查询返回这样的对象列表

看图像:

如您所见,检索到的对象的字段名称是显而易见的(ID,TIMESTAMP,...)

但在第二个查询中,我得到的是:

看图像:

我需要更改字段名称([0]到ID,1到TITLE,...)任何解决方案？!

我想使用Dimensionclass(java.awt.Dimension),但它只支持整数.我想要像这样制作Rectangle和Square类:

构造函数:

public Rectangle(Dimension dim(double A, double B)) {
    // constructor code
}

编写自己的Dimension类实现更好吗？

我对CMake非常陌生,并且无法设置安装规则.我想在以下命令中运行以下命令make install:

update-rc.d solshare_stats_runscript defaults

但是我只想在以下情况下运行此命令:

CMAKE_INSTALL_PREFIX="/"

我怎样才能做到这一点？

我正在构建一个visualforce页面我必须在pageblocksectionitem中创建一个visualforce页面,就像我在我的代码中显示的那样.我不太了解css.我的代码是

<apex:page standardController="Account">
<apex:pageBlock title="My Content">
<apex:pageBlockSection>
<apex:pageBlockSectionItem>
<apex:pageBlockTable value="{!account.Contacts}" var="item">
<apex:column value="{!item.name}"/>
</apex:pageBlockTable>
</apex:pageBlockSectionItem>
</apex:pageBlockSection>
</apex:pageBlock>
</apex:page>

它显示的表格宽度小于屏幕宽度的一半.我不太了解css但是当我设置样式:{width:250%}然后它的宽度增加我必须设置多少百分比所以它的宽度将等于apex:pageblocktable没有被apex包围:blockSection和apex:pageBlockSectionItem或任何备用指南