| Copyright | Conor McBride and Ross Paterson 2005 |
|---|---|
| License | BSD-style (see the LICENSE file in the distribution) |
| Maintainer | libraries@haskell.org |
| Stability | experimental |
| Portability | portable |
| Safe Haskell | Trustworthy |
| Language | Haskell2010 |
Data.Functor.Const
Description
Documentation
The Const functor.
Instances
| Generic1 k (Const k a) # | |
| Show2 (Const *) # | Since: 4.9.0.0 |
| Read2 (Const *) # | Since: 4.9.0.0 |
| Ord2 (Const *) # | Since: 4.9.0.0 |
| Eq2 (Const *) # | Since: 4.9.0.0 |
| Bifunctor (Const *) # | Since: 4.8.0.0 |
| Bifoldable (Const *) # | Since: 4.10.0.0 |
| Bitraversable (Const *) # | Since: 4.10.0.0 |
| Functor (Const * m) # | Since: 2.1 |
| Monoid m => Applicative (Const * m) # | Since: 2.0.1 |
| Foldable (Const * m) # | Since: 4.7.0.0 |
| Traversable (Const * m) # | Since: 4.7.0.0 |
| Show a => Show1 (Const * a) # | Since: 4.9.0.0 |
| Read a => Read1 (Const * a) # | Since: 4.9.0.0 |
| Ord a => Ord1 (Const * a) # | Since: 4.9.0.0 |
| Eq a => Eq1 (Const * a) # | Since: 4.9.0.0 |
| Bounded a => Bounded (Const k a b) # | |
| Enum a => Enum (Const k a b) # | |
| Eq a => Eq (Const k a b) # | |
| Floating a => Floating (Const k a b) # | |
| Fractional a => Fractional (Const k a b) # | |
| Integral a => Integral (Const k a b) # | |
| (Typeable * k3, Data a, Typeable k3 b) => Data (Const k3 a b) # | Since: 4.10.0.0 |
| Num a => Num (Const k a b) # | |
| Ord a => Ord (Const k a b) # | |
| Read a => Read (Const k a b) # | This instance would be equivalent to the derived instances of the
Since: 4.8.0.0 |
| Real a => Real (Const k a b) # | |
| RealFloat a => RealFloat (Const k a b) # | |
| RealFrac a => RealFrac (Const k a b) # | |
| Show a => Show (Const k a b) # | This instance would be equivalent to the derived instances of the
Since: 4.8.0.0 |
| Ix a => Ix (Const k a b) # | |
| IsString a => IsString (Const * a b) # | Since: 4.9.0.0 |
| Generic (Const k a b) # | |
| Semigroup a => Semigroup (Const k a b) # | Since: 4.9.0.0 |
| Monoid a => Monoid (Const k a b) # | |
| FiniteBits a => FiniteBits (Const k a b) # | |
| Bits a => Bits (Const k a b) # | |
| Storable a => Storable (Const k a b) # | |
| type Rep1 k (Const k a) # | |
| type Rep (Const k a b) # | |