Agda-2.5.4: A dependently typed functional programming language and proof assistant

Safe HaskellSafe
LanguageHaskell2010

Agda.Utils.Three

Description

Tools for a 3-element type.

Synopsis

Documentation

data Three Source #

Enum type with 3 elements.

Constructors

One 
Two 
Three 
Instances
Bounded Three Source # 
Instance details

Defined in Agda.Utils.Three

Enum Three Source # 
Instance details

Defined in Agda.Utils.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.