Copyright	(C) Frank Staals
License	see the LICENSE file
Maintainer	Frank Staals
Safe Haskell	None
Language	GHC2021

HGeometry.Small.AtMostTwo

Description

A type expressing that some value may have at most two values

Synopsis

data AtMostTwo a
- = Zero
- | One !a
- | Two !a !a

Documentation

data AtMostTwo a Source #

At most two elements

Constructors

Zero
One !a
Two !a !a

Instances

Instances details

Eq1 AtMostTwo Source #
Instance details Defined in HGeometry.Small.AtMostTwo Methods liftEq :: (a -> b -> Bool) -> AtMostTwo a -> AtMostTwo b -> Bool Source #
Ord1 AtMostTwo Source #
Instance details Defined in HGeometry.Small.AtMostTwo Methods liftCompare :: (a -> b -> Ordering) -> AtMostTwo a -> AtMostTwo b -> Ordering Source #
Show1 AtMostTwo Source #
Instance details Defined in HGeometry.Small.AtMostTwo Methods liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> AtMostTwo a -> ShowS Source # liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [AtMostTwo a] -> ShowS Source #
Functor AtMostTwo Source #
Instance details Defined in HGeometry.Small.AtMostTwo Methods fmap :: (a -> b) -> AtMostTwo a -> AtMostTwo b Source # (<$) :: a -> AtMostTwo b -> AtMostTwo a Source #
Foldable AtMostTwo Source #
Instance details Defined in HGeometry.Small.AtMostTwo Methods fold :: Monoid m => AtMostTwo m -> m Source # foldMap :: Monoid m => (a -> m) -> AtMostTwo a -> m Source # foldMap' :: Monoid m => (a -> m) -> AtMostTwo a -> m Source # foldr :: (a -> b -> b) -> b -> AtMostTwo a -> b Source # foldr' :: (a -> b -> b) -> b -> AtMostTwo a -> b Source # foldl :: (b -> a -> b) -> b -> AtMostTwo a -> b Source # foldl' :: (b -> a -> b) -> b -> AtMostTwo a -> b Source # foldr1 :: (a -> a -> a) -> AtMostTwo a -> a Source # foldl1 :: (a -> a -> a) -> AtMostTwo a -> a Source # toList :: AtMostTwo a -> [a] Source # null :: AtMostTwo a -> Bool Source # length :: AtMostTwo a -> Int Source # elem :: Eq a => a -> AtMostTwo a -> Bool Source # maximum :: Ord a => AtMostTwo a -> a Source # minimum :: Ord a => AtMostTwo a -> a Source # sum :: Num a => AtMostTwo a -> a Source # product :: Num a => AtMostTwo a -> a Source #
Traversable AtMostTwo Source #
Instance details Defined in HGeometry.Small.AtMostTwo Methods traverse :: Applicative f => (a -> f b) -> AtMostTwo a -> f (AtMostTwo b) Source # sequenceA :: Applicative f => AtMostTwo (f a) -> f (AtMostTwo a) Source # mapM :: Monad m => (a -> m b) -> AtMostTwo a -> m (AtMostTwo b) Source # sequence :: Monad m => AtMostTwo (m a) -> m (AtMostTwo a) Source #
Read a => Read (AtMostTwo a) Source #
Instance details Defined in HGeometry.Small.AtMostTwo Methods readsPrec :: Int -> ReadS (AtMostTwo a) Source # readList :: ReadS [AtMostTwo a] Source # readPrec :: ReadPrec (AtMostTwo a) Source # readListPrec :: ReadPrec [AtMostTwo a] Source #
Show a => Show (AtMostTwo a) Source #
Instance details Defined in HGeometry.Small.AtMostTwo Methods showsPrec :: Int -> AtMostTwo a -> ShowS Source # show :: AtMostTwo a -> String Source # showList :: [AtMostTwo a] -> ShowS Source #
Eq a => Eq (AtMostTwo a) Source #
Instance details Defined in HGeometry.Small.AtMostTwo Methods (==) :: AtMostTwo a -> AtMostTwo a -> Bool Source # (/=) :: AtMostTwo a -> AtMostTwo a -> Bool Source #
Ord a => Ord (AtMostTwo a) Source #
Instance details Defined in HGeometry.Small.AtMostTwo Methods compare :: AtMostTwo a -> AtMostTwo a -> Ordering Source # (<) :: AtMostTwo a -> AtMostTwo a -> Bool Source # (<=) :: AtMostTwo a -> AtMostTwo a -> Bool Source # (>) :: AtMostTwo a -> AtMostTwo a -> Bool Source # (>=) :: AtMostTwo a -> AtMostTwo a -> Bool Source # max :: AtMostTwo a -> AtMostTwo a -> AtMostTwo a Source # min :: AtMostTwo a -> AtMostTwo a -> AtMostTwo a Source #