Copyright  (c) Justin Le 2018 

License  BSD3 
Maintainer  justin@jle.im 
Stability  unstable 
Portability  portable 
Safe Haskell  None 
Language  Haskell2010 
Derived methods for Bounded
, using Generics.OneLiner and
GHC.Generics.
Can be used for any types (deriving Generic
) where every field is an
instance of Bounded
.
Also includes a newtype wrapper that imbues any such data type with an
instant Bounded
instance, which can one day be used with DerivingVia
syntax to derive instances automatically.
 newtype GBounded a = GBounded {
 getGBounded :: a
 gMinBound :: forall a. (ADT a, Constraints a Bounded) => a
 gMaxBound :: forall a. (ADT a, Constraints a Bounded) => a
Newtype wrapper
If a
is a data type whose fields are all instances of Bounded
,
then
has a GBounded
aBounded
instance.
Will one day be able to be used with DerivingVia syntax, to derive instances automatically.
GBounded  

Functor GBounded Source #  
Foldable GBounded Source #  
Traversable GBounded Source #  
(ADT a, Constraints a Bounded) => Bounded (GBounded a) Source #  
Eq a => Eq (GBounded a) Source #  
Data a => Data (GBounded a) Source #  
Ord a => Ord (GBounded a) Source #  
Read a => Read (GBounded a) Source #  
Show a => Show (GBounded a) Source #  
Generic (GBounded a) Source #  
type Rep (GBounded a) Source #  