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

HGeometry.Unbounded

Description

Add an unbounded/infintity element to a data type. Essentially, Bottom adds $-\infty$ (and is pretty much identical to Maybe), whereas Top adds $\infty$. The UnBounded type adds both.

Synopsis

data Top a where
- pattern ValT :: a -> Top a
- pattern Top :: Top a
topToMaybe :: Top a -> Maybe a
_ValT :: forall a b p f. (Choice p, Applicative f) => p a (f b) -> p (Top a) (f (Top b))
_Top :: forall a p f. (Choice p, Applicative f) => p () (f ()) -> p (Top a) (f (Top a))
_TopMaybe :: forall a p f. (Profunctor p, Functor f) => p (Maybe a) (f (Maybe a)) -> p (Top a) (f (Top a))
data Bottom a where
- pattern Bottom :: Bottom a
- pattern ValB :: a -> Bottom a
bottomToMaybe :: Bottom a -> Maybe a
_ValB :: forall a b p f. (Choice p, Applicative f) => p a (f b) -> p (Bottom a) (f (Bottom b))
_Bottom :: forall a p f. (Choice p, Applicative f) => p () (f ()) -> p (Bottom a) (f (Bottom a))
_BottomMaybe :: forall a p f. (Profunctor p, Functor f) => p (Maybe a) (f (Maybe a)) -> p (Bottom a) (f (Bottom a))
data UnBounded a
- = MinInfinity
- | Val {
  - _unUnBounded :: a
  }
- | MaxInfinity
_Val :: forall a b p f. (Choice p, Applicative f) => p a (f b) -> p (UnBounded a) (f (UnBounded b))
unBoundedToMaybe :: UnBounded a -> Maybe a

Documentation

data Top a where Source #

Top a represents the type a, together with a Top element, i.e. an element that is greater than any other element. We can think of `Top a` being defined as:

>>> data Top a = ValT a | Top

Bundled Patterns

pattern ValT :: a -> Top a
pattern Top :: Top a

Instances

Instances details

Eq1 Top Source #
Instance details Defined in HGeometry.Unbounded Methods liftEq :: (a -> b -> Bool) -> Top a -> Top b -> Bool Source #
Ord1 Top Source #
Instance details Defined in HGeometry.Unbounded Methods liftCompare :: (a -> b -> Ordering) -> Top a -> Top b -> Ordering Source #
Applicative Top Source #
Instance details Defined in HGeometry.Unbounded Methods pure :: a -> Top a Source # (<>) :: Top (a -> b) -> Top a -> Top b Source # liftA2 :: (a -> b -> c) -> Top a -> Top b -> Top c Source # (>) :: Top a -> Top b -> Top b Source # (<*) :: Top a -> Top b -> Top a Source #
Functor Top Source #
Instance details Defined in HGeometry.Unbounded Methods fmap :: (a -> b) -> Top a -> Top b Source # (<$) :: a -> Top b -> Top a Source #
Monad Top Source #
Instance details Defined in HGeometry.Unbounded Methods (>>=) :: Top a -> (a -> Top b) -> Top b Source # (>>) :: Top a -> Top b -> Top b Source # return :: a -> Top a Source #
Foldable Top Source #
Instance details Defined in HGeometry.Unbounded Methods fold :: Monoid m => Top m -> m Source # foldMap :: Monoid m => (a -> m) -> Top a -> m Source # foldMap' :: Monoid m => (a -> m) -> Top a -> m Source # foldr :: (a -> b -> b) -> b -> Top a -> b Source # foldr' :: (a -> b -> b) -> b -> Top a -> b Source # foldl :: (b -> a -> b) -> b -> Top a -> b Source # foldl' :: (b -> a -> b) -> b -> Top a -> b Source # foldr1 :: (a -> a -> a) -> Top a -> a Source # foldl1 :: (a -> a -> a) -> Top a -> a Source # toList :: Top a -> [a] Source # null :: Top a -> Bool Source # length :: Top a -> Int Source # elem :: Eq a => a -> Top a -> Bool Source # maximum :: Ord a => Top a -> a Source # minimum :: Ord a => Top a -> a Source # sum :: Num a => Top a -> a Source # product :: Num a => Top a -> a Source #
Traversable Top Source #
Instance details Defined in HGeometry.Unbounded Methods traverse :: Applicative f => (a -> f b) -> Top a -> f (Top b) Source # sequenceA :: Applicative f => Top (f a) -> f (Top a) Source # mapM :: Monad m => (a -> m b) -> Top a -> m (Top b) Source # sequence :: Monad m => Top (m a) -> m (Top a) Source #
Semigroup a => Monoid (Top a) Source #
Instance details Defined in HGeometry.Unbounded Methods mempty :: Top a Source # mappend :: Top a -> Top a -> Top a Source # mconcat :: [Top a] -> Top a Source #
Semigroup a => Semigroup (Top a) Source #
Instance details Defined in HGeometry.Unbounded Methods (<>) :: Top a -> Top a -> Top a Source # sconcat :: NonEmpty (Top a) -> Top a Source # stimes :: Integral b => b -> Top a -> Top a Source #
Show a => Show (Top a) Source #
Instance details Defined in HGeometry.Unbounded Methods showsPrec :: Int -> Top a -> ShowS Source # show :: Top a -> String Source # showList :: [Top a] -> ShowS Source #
Eq a => Eq (Top a) Source #
Instance details Defined in HGeometry.Unbounded Methods (==) :: Top a -> Top a -> Bool Source # (/=) :: Top a -> Top a -> Bool Source #
Ord a => Ord (Top a) Source #
Instance details Defined in HGeometry.Unbounded Methods compare :: Top a -> Top a -> Ordering Source # (<) :: Top a -> Top a -> Bool Source # (<=) :: Top a -> Top a -> Bool Source # (>) :: Top a -> Top a -> Bool Source # (>=) :: Top a -> Top a -> Bool Source # max :: Top a -> Top a -> Top a Source # min :: Top a -> Top a -> Top a Source #

topToMaybe :: Top a -> Maybe a Source #

Top a values are isomorphing to Maybe a values.

_ValT :: forall a b p f. (Choice p, Applicative f) => p a (f b) -> p (Top a) (f (Top b)) Source #

ValT prism. Can be used to access the non-bottom element if it exists:

>>> ValT True & _ValT %~ not
ValT False

>>> Top & _ValT %~ not
Top

_Top :: forall a p f. (Choice p, Applicative f) => p () (f ()) -> p (Top a) (f (Top a)) Source #

Top prism.

_TopMaybe :: forall a p f. (Profunctor p, Functor f) => p (Maybe a) (f (Maybe a)) -> p (Top a) (f (Top a)) Source #

Iso between a Top a and a Maybe a, interpreting a Top as a Nothing and vice versa. Note that this reverses the ordering of the elements.

>>> ValT 5 ^. _TopMaybe
Just 5
>>> Just 5 ^.re _TopMaybe
ValT 5
>>> Top ^. _TopMaybe
Nothing
>>> Nothing ^.re _TopMaybe
Top

data Bottom a where Source #

`Bottom a` represents the type a, together with a Bottom element, i.e. an element that is smaller than any other element. We can think of `Bottom a` being defined as:

>>> data Bottom a = Bottom | ValB a

Bundled Patterns

pattern Bottom :: Bottom a
pattern ValB :: a -> Bottom a

Instances

Instances details

Eq1 Bottom Source #
Instance details Defined in HGeometry.Unbounded Methods liftEq :: (a -> b -> Bool) -> Bottom a -> Bottom b -> Bool Source #
Ord1 Bottom Source #
Instance details Defined in HGeometry.Unbounded Methods liftCompare :: (a -> b -> Ordering) -> Bottom a -> Bottom b -> Ordering Source #
Applicative Bottom Source #
Instance details Defined in HGeometry.Unbounded Methods pure :: a -> Bottom a Source # (<>) :: Bottom (a -> b) -> Bottom a -> Bottom b Source # liftA2 :: (a -> b -> c) -> Bottom a -> Bottom b -> Bottom c Source # (>) :: Bottom a -> Bottom b -> Bottom b Source # (<*) :: Bottom a -> Bottom b -> Bottom a Source #
Functor Bottom Source #
Instance details Defined in HGeometry.Unbounded Methods fmap :: (a -> b) -> Bottom a -> Bottom b Source # (<$) :: a -> Bottom b -> Bottom a Source #
Monad Bottom Source #
Instance details Defined in HGeometry.Unbounded Methods (>>=) :: Bottom a -> (a -> Bottom b) -> Bottom b Source # (>>) :: Bottom a -> Bottom b -> Bottom b Source # return :: a -> Bottom a Source #
Foldable Bottom Source #
Instance details Defined in HGeometry.Unbounded Methods fold :: Monoid m => Bottom m -> m Source # foldMap :: Monoid m => (a -> m) -> Bottom a -> m Source # foldMap' :: Monoid m => (a -> m) -> Bottom a -> m Source # foldr :: (a -> b -> b) -> b -> Bottom a -> b Source # foldr' :: (a -> b -> b) -> b -> Bottom a -> b Source # foldl :: (b -> a -> b) -> b -> Bottom a -> b Source # foldl' :: (b -> a -> b) -> b -> Bottom a -> b Source # foldr1 :: (a -> a -> a) -> Bottom a -> a Source # foldl1 :: (a -> a -> a) -> Bottom a -> a Source # toList :: Bottom a -> [a] Source # null :: Bottom a -> Bool Source # length :: Bottom a -> Int Source # elem :: Eq a => a -> Bottom a -> Bool Source # maximum :: Ord a => Bottom a -> a Source # minimum :: Ord a => Bottom a -> a Source # sum :: Num a => Bottom a -> a Source # product :: Num a => Bottom a -> a Source #
Traversable Bottom Source #
Instance details Defined in HGeometry.Unbounded Methods traverse :: Applicative f => (a -> f b) -> Bottom a -> f (Bottom b) Source # sequenceA :: Applicative f => Bottom (f a) -> f (Bottom a) Source # mapM :: Monad m => (a -> m b) -> Bottom a -> m (Bottom b) Source # sequence :: Monad m => Bottom (m a) -> m (Bottom a) Source #
Semigroup a => Monoid (Bottom a) Source #
Instance details Defined in HGeometry.Unbounded Methods mempty :: Bottom a Source # mappend :: Bottom a -> Bottom a -> Bottom a Source # mconcat :: [Bottom a] -> Bottom a Source #
Semigroup a => Semigroup (Bottom a) Source #
Instance details Defined in HGeometry.Unbounded Methods (<>) :: Bottom a -> Bottom a -> Bottom a Source # sconcat :: NonEmpty (Bottom a) -> Bottom a Source # stimes :: Integral b => b -> Bottom a -> Bottom a Source #
Show a => Show (Bottom a) Source #
Instance details Defined in HGeometry.Unbounded Methods showsPrec :: Int -> Bottom a -> ShowS Source # show :: Bottom a -> String Source # showList :: [Bottom a] -> ShowS Source #
Eq a => Eq (Bottom a) Source #
Instance details Defined in HGeometry.Unbounded Methods (==) :: Bottom a -> Bottom a -> Bool Source # (/=) :: Bottom a -> Bottom a -> Bool Source #
Ord a => Ord (Bottom a) Source #
Instance details Defined in HGeometry.Unbounded Methods compare :: Bottom a -> Bottom a -> Ordering Source # (<) :: Bottom a -> Bottom a -> Bool Source # (<=) :: Bottom a -> Bottom a -> Bool Source # (>) :: Bottom a -> Bottom a -> Bool Source # (>=) :: Bottom a -> Bottom a -> Bool Source # max :: Bottom a -> Bottom a -> Bottom a Source # min :: Bottom a -> Bottom a -> Bottom a Source #

bottomToMaybe :: Bottom a -> Maybe a Source #

`Bottom a` values are isomorphing to `Maybe a` values.

_ValB :: forall a b p f. (Choice p, Applicative f) => p a (f b) -> p (Bottom a) (f (Bottom b)) Source #

ValB prism. Can be used to access the non-bottom element if it exists:

>>> ValB True & _ValB %~ not
ValB False

>>> Bottom & _ValB %~ not
Bottom

_Bottom :: forall a p f. (Choice p, Applicative f) => p () (f ()) -> p (Bottom a) (f (Bottom a)) Source #

Bottom prism.

_BottomMaybe :: forall a p f. (Profunctor p, Functor f) => p (Maybe a) (f (Maybe a)) -> p (Bottom a) (f (Bottom a)) Source #

Iso between a 'Bottom a' and a 'Maybe a', interpreting a Bottom as a Nothing and vice versa.

>>> ValB 5 ^. _BottomMaybe
Just 5
>>> Just 5 ^.re _BottomMaybe
ValB 5
>>> Bottom ^. _BottomMaybe
Nothing
>>> Nothing ^.re _BottomMaybe
Bottom

data UnBounded a Source #

`UnBounded a` represents the type a, together with an element MaxInfinity larger than any other element, and an element MinInfinity, smaller than any other element.

Constructors

MinInfinity
Val
Fields _unUnBounded :: a
MaxInfinity

Instances

Instances details

Functor UnBounded Source #
Instance details Defined in HGeometry.Unbounded Methods fmap :: (a -> b) -> UnBounded a -> UnBounded b Source # (<$) :: a -> UnBounded b -> UnBounded a Source #
Foldable UnBounded Source #
Instance details Defined in HGeometry.Unbounded Methods fold :: Monoid m => UnBounded m -> m Source # foldMap :: Monoid m => (a -> m) -> UnBounded a -> m Source # foldMap' :: Monoid m => (a -> m) -> UnBounded a -> m Source # foldr :: (a -> b -> b) -> b -> UnBounded a -> b Source # foldr' :: (a -> b -> b) -> b -> UnBounded a -> b Source # foldl :: (b -> a -> b) -> b -> UnBounded a -> b Source # foldl' :: (b -> a -> b) -> b -> UnBounded a -> b Source # foldr1 :: (a -> a -> a) -> UnBounded a -> a Source # foldl1 :: (a -> a -> a) -> UnBounded a -> a Source # toList :: UnBounded a -> [a] Source # null :: UnBounded a -> Bool Source # length :: UnBounded a -> Int Source # elem :: Eq a => a -> UnBounded a -> Bool Source # maximum :: Ord a => UnBounded a -> a Source # minimum :: Ord a => UnBounded a -> a Source # sum :: Num a => UnBounded a -> a Source # product :: Num a => UnBounded a -> a Source #
Traversable UnBounded Source #
Instance details Defined in HGeometry.Unbounded Methods traverse :: Applicative f => (a -> f b) -> UnBounded a -> f (UnBounded b) Source # sequenceA :: Applicative f => UnBounded (f a) -> f (UnBounded a) Source # mapM :: Monad m => (a -> m b) -> UnBounded a -> m (UnBounded b) Source # sequence :: Monad m => UnBounded (m a) -> m (UnBounded a) Source #
Num a => Num (UnBounded a) Source #
Instance details Defined in HGeometry.Unbounded Methods (+) :: UnBounded a -> UnBounded a -> UnBounded a Source # (-) :: UnBounded a -> UnBounded a -> UnBounded a Source # (*) :: UnBounded a -> UnBounded a -> UnBounded a Source # negate :: UnBounded a -> UnBounded a Source # abs :: UnBounded a -> UnBounded a Source # signum :: UnBounded a -> UnBounded a Source # fromInteger :: Integer -> UnBounded a Source #
Fractional a => Fractional (UnBounded a) Source #
Instance details Defined in HGeometry.Unbounded Methods (/) :: UnBounded a -> UnBounded a -> UnBounded a Source # recip :: UnBounded a -> UnBounded a Source # fromRational :: Rational -> UnBounded a Source #
Show a => Show (UnBounded a) Source #
Instance details Defined in HGeometry.Unbounded Methods showsPrec :: Int -> UnBounded a -> ShowS Source # show :: UnBounded a -> String Source # showList :: [UnBounded a] -> ShowS Source #
Eq a => Eq (UnBounded a) Source #
Instance details Defined in HGeometry.Unbounded Methods (==) :: UnBounded a -> UnBounded a -> Bool Source # (/=) :: UnBounded a -> UnBounded a -> Bool Source #
Ord a => Ord (UnBounded a) Source #
Instance details Defined in HGeometry.Unbounded Methods compare :: UnBounded a -> UnBounded a -> Ordering Source # (<) :: UnBounded a -> UnBounded a -> Bool Source # (<=) :: UnBounded a -> UnBounded a -> Bool Source # (>) :: UnBounded a -> UnBounded a -> Bool Source # (>=) :: UnBounded a -> UnBounded a -> Bool Source # max :: UnBounded a -> UnBounded a -> UnBounded a Source # min :: UnBounded a -> UnBounded a -> UnBounded a Source #

_Val :: forall a b p f. (Choice p, Applicative f) => p a (f b) -> p (UnBounded a) (f (UnBounded b)) Source #

Prism to access unbounded value if it exists.

>>> Val True ^? _Val
Just True

>>> MinInfinity ^? _Val :: Maybe Bool
Nothing

>>> Val True & _Val %~ not
Val False

>>> MaxInfinity & _Val %~ not
MaxInfinity

unBoundedToMaybe :: UnBounded a -> Maybe a Source #

Test if an Unbounded is actually bounded.

>>> unBoundedToMaybe (Val 5)
Just 5
>>> unBoundedToMaybe MinInfinity
Nothing
>>> unBoundedToMaybe MaxInfinity
Nothing