[英]“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。
我正在尋找PartialOrd
的leq
。
IIUC,不同之處在於它不是設計作為我的描述,以適應規則的Semigroup
,而是它的設計以這種方式一起工作Lattice
這是在同一個包中定義的,它類似於在某些方面,但更好的半群適合諸如集合之類的東西,其中某些東西與自身合並會導致自身。
聲明:本站的技術帖子網頁,遵循CC BY-SA 4.0協議,如果您需要轉載,請注明本站網址或者原文地址。任何問題請咨詢:yoyou2525@163.com.