Safe Haskell	None
Language	Haskell2010

Agda.Utils.Three

Description

Tools for 3-way partitioning.

Synopsis

data Three
- = One
- | Two
- | Three
partition3 :: (a -> Three) -> [a] -> ([a], [a], [a])
data Either3 a b c
- = In1 a
- | In2 b
- | In3 c
partitionEithers3 :: [Either3 a b c] -> ([a], [b], [c])
mapEither3M :: Applicative m => (a -> m (Either3 b c d)) -> [a] -> m ([b], [c], [d])
forEither3M :: Applicative m => [a] -> (a -> m (Either3 b c d)) -> m ([b], [c], [d])

Documentation

Enum type with 3 elements.

Constructors

Instances details

Bounded Three Source #
Instance details Defined in Agda.Utils.Three Methods minBound :: Three # maxBound :: Three #
Enum Three Source #
Instance details Defined in Agda.Utils.Three Methods succ :: Three -> Three # pred :: Three -> Three # toEnum :: Int -> Three # fromEnum :: Three -> Int # enumFrom :: Three -> [Three] # enumFromThen :: Three -> Three -> [Three] # enumFromTo :: Three -> Three -> [Three] # enumFromThenTo :: Three -> Three -> Three -> [Three] #
Eq Three Source #
Instance details Defined in Agda.Utils.Three Methods (==) :: Three -> Three -> Bool # (/=) :: Three -> Three -> Bool #
Ord Three Source #
Instance details Defined in Agda.Utils.Three Methods compare :: Three -> Three -> Ordering # (<) :: Three -> Three -> Bool # (<=) :: Three -> Three -> Bool # (>) :: Three -> Three -> Bool # (>=) :: Three -> Three -> Bool # max :: Three -> Three -> Three # min :: Three -> Three -> Three #
Show Three Source #
Instance details Defined in Agda.Utils.Three Methods showsPrec :: Int -> Three -> ShowS # show :: Three -> String # showList :: [Three] -> ShowS #

partition3 :: (a -> Three) -> [a] -> ([a], [a], [a]) Source #

Partition a list into 3 groups.

Preserves the relative order or elements.

Disjoint sum of three.

Constructors

Instances details

(Eq a, Eq b, Eq c) => Eq (Either3 a b c) Source #
Instance details Defined in Agda.Utils.Three Methods (==) :: Either3 a b c -> Either3 a b c -> Bool # (/=) :: Either3 a b c -> Either3 a b c -> Bool #
(Ord a, Ord b, Ord c) => Ord (Either3 a b c) Source #
Instance details Defined in Agda.Utils.Three Methods compare :: Either3 a b c -> Either3 a b c -> Ordering # (<) :: Either3 a b c -> Either3 a b c -> Bool # (<=) :: Either3 a b c -> Either3 a b c -> Bool # (>) :: Either3 a b c -> Either3 a b c -> Bool # (>=) :: Either3 a b c -> Either3 a b c -> Bool # max :: Either3 a b c -> Either3 a b c -> Either3 a b c # min :: Either3 a b c -> Either3 a b c -> Either3 a b c #
(Show a, Show b, Show c) => Show (Either3 a b c) Source #
Instance details Defined in Agda.Utils.Three Methods showsPrec :: Int -> Either3 a b c -> ShowS # show :: Either3 a b c -> String # showList :: [Either3 a b c] -> ShowS #

partitionEithers3 :: [Either3 a b c] -> ([a], [b], [c]) Source #

Partition a list into 3 groups.

Preserves the relative order or elements.

mapEither3M :: Applicative m => (a -> m (Either3 b c d)) -> [a] -> m ([b], [c], [d]) Source #

forEither3M :: Applicative m => [a] -> (a -> m (Either3 b c d)) -> m ([b], [c], [d]) Source #