Safe Haskell	Safe
Language	Haskell2010

Agda.Utils.Three

Description

Tools for a 3-element type.

Synopsis

Documentation

Enum type with 3 elements.

Constructors

Instances

Bounded Three #
Instance details Defined in Agda.Utils.Three Methods minBound :: Three # maxBound :: Three #
Enum Three #
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 #
Instance details Defined in Agda.Utils.Three Methods (==) :: Three -> Three -> Bool # (/=) :: Three -> Three -> Bool #
Ord Three #
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 #
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]) #

Partition a list into 3 groups.

Preserves the relative order or elements.