簡體   English   中英

半小組的“ mayBeMempty”功能

[英]“mayBeMempty” function for a Semigroup

以下功能-

mayBeMempty :: (Eq a, Semigroup a) => a -> a -> Bool
mayBeMempty candidate ref = candidate <> ref == ref

Data.Set.isSubSetOf的(效率較低)概括。 它檢查第二個參數中的第一個參數是否“包含”,並在第一個參數為mempty時始終返回True (當返回False時,它就不是mempty )。

有誰知道這個函數或概念是否已經以某種名稱存在,或者甚至已經存在一個類型類(在這種情況下,它的效率不會比isSubSetOf )?

我搜索了Hoogle,並認為沒有此的預實現版本。

我真的不知道如何提高效率,TBH。

我正在尋找PartialOrdleq

IIUC,不同之處在於它不是設計作為我的描述,以適應規則的Semigroup ,而是它的設計以這種方式一起工作Lattice這是在同一個包中定義的,它類似於在某些方面,但更好的半群適合諸如集合之類的東西,其中某些東西與自身合並會導致自身。

暫無
暫無

聲明:本站的技術帖子網頁,遵循CC BY-SA 4.0協議,如果您需要轉載,請注明本站網址或者原文地址。任何問題請咨詢:yoyou2525@163.com.

 
粵ICP備18138465號  © 2020-2024 STACKOOM.COM