ModuleAgda-2.7.0.1Haskell2010

Agda.Utils.Three

Tools for 3-way partitioning.

datadata Three

Enum type with 3 elements.

Instances5Bounded, Enum, Eq, Ord, Show

valuepartition3 :: (a -> Three) -> [a] -> ([a], [a], [a])

Partition a list into 3 groups.

Preserves the relative order or elements.

datadata Either3 a b c

Disjoint sum of three.

Instances3Eq, Ord, Show

(Eq a, Eq b, Eq c) => Eq (Either3 a b c)Defined in Agda-2.7.0.1 · Agda.Utils.Three
(Ord a, Ord b, Ord c) => Ord (Either3 a b c)Defined in Agda-2.7.0.1 · Agda.Utils.Three
(Show a, Show b, Show c) => Show (Either3 a b c)Defined in Agda-2.7.0.1 · Agda.Utils.Three

valuepartitionEithers3 :: [Either3 a b c] -> ([a], [b], [c])

Partition a list into 3 groups.

Preserves the relative order or elements.

valuemapEither3M

valueforEither3M