Agda-2.5.4: A dependently typed functional programming language and proof assistant
Agda.Utils.Three
Description
Tools for a 3-element type.
data Three Source #
Enum type with 3 elements.
Constructors
Defined in Agda.Utils.Three
Methods
minBound :: Three #
maxBound :: Three #
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] #
(==) :: Three -> Three -> Bool #
(/=) :: Three -> Three -> Bool #
compare :: Three -> Three -> Ordering #
(<) :: Three -> Three -> Bool #
(<=) :: Three -> Three -> Bool #
(>) :: Three -> Three -> Bool #
(>=) :: Three -> Three -> Bool #
max :: Three -> Three -> Three #
min :: Three -> Three -> Three #
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.