Searched defs:anyBag (Results 1 – 4 of 4) sorted by relevance
123 anyBag _ EmptyBag = False function124 anyBag p (UnitBag v) = p v function125 anyBag p (TwoBags b1 b2) = anyBag p b1 || anyBag p b2 function126 anyBag p (ListBag xs) = any p xs function
124 anyBag _ EmptyBag = False function125 anyBag p (UnitBag v) = p v function126 anyBag p (TwoBags b1 b2) = anyBag p b1 || anyBag p b2 function127 anyBag p (ListBag xs) = any p xs function