| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Data.Record.Generic.LowerBound
Description
Simple example of a generic function
Synopsis
- class LowerBound a where
- lowerBound :: a
- glowerBound :: (Generic a, Constraints a LowerBound) => a
Documentation
class LowerBound a where Source #
Types with a lower bound
Methods
lowerBound :: a Source #
Instances
| LowerBound () Source # | |
Defined in Data.Record.Generic.LowerBound Methods lowerBound :: () Source # | |
| LowerBound Bool Source # | |
Defined in Data.Record.Generic.LowerBound Methods lowerBound :: Bool Source # | |
| LowerBound Char Source # | |
Defined in Data.Record.Generic.LowerBound Methods lowerBound :: Char Source # | |
| LowerBound Word Source # | |
Defined in Data.Record.Generic.LowerBound Methods lowerBound :: Word Source # | |
| LowerBound [a] Source # | |
Defined in Data.Record.Generic.LowerBound Methods lowerBound :: [a] Source # | |
glowerBound :: (Generic a, Constraints a LowerBound) => a Source #