Data.Functor.Const
| Авторские права | Conor McBride and Ross Paterson 2005 |
|---|---|
| Лицензия | в стиле BSD (см. файл LICENSE в дистрибутиве) |
| Сопровождающий | libraries@haskell.org |
| Стабильность | стабильный |
| Переносимость | переносимый |
| Безопасный Haskell | Safe |
| Язык | Haskell2010 |
Описание
newtype Const a (b :: k) Источник
Функтор Const.
Примеры
>>> fmap (++ "World") (Const "Hello") Const "Hello"
Поскольку мы игнорируем второй параметр типа Const, экземпляр Applicative, который имеет (<*>) :: Monoid m => Const m (a -> b) -> Const m a -> Const m b, по сути превращается в Monoid m => m -> m -> m, то есть в (<>)
>>> Const [1, 2, 3] <*> Const [4, 5, 6] Const [1,2,3,4,5,6]
Экземпляры
Определено в GHC.Internal.Data.Functor.Const | |
| Functor (Const m :: Type -> Type) Источник | Начиная с: base-2.1 |
| Foldable (Const m :: Type -> Type) Источник | Начиная с: base-4.7.0.0 |
Определено в GHC.Internal.Data.Functor.Const Методыfold :: Monoid m0 => Const m m0 -> m0 Источник foldMap :: Monoid m0 => (a -> m0) -> Const m a -> m0 Источник foldMap' :: Monoid m0 => (a -> m0) -> Const m a -> m0 Источник foldr :: (a -> b -> b) -> b -> Const m a -> b Источник foldr' :: (a -> b -> b) -> b -> Const m a -> b Источник foldl :: (b -> a -> b) -> b -> Const m a -> b Источник foldl' :: (b -> a -> b) -> b -> Const m a -> b Источник foldr1 :: (a -> a -> a) -> Const m a -> a Источник foldl1 :: (a -> a -> a) -> Const m a -> a Источник toList :: Const m a -> [a] Источник null :: Const m a -> Bool Источник length :: Const m a -> Int Источник elem :: Eq a => a -> Const m a -> Bool Источник maximum :: Ord a => Const m a -> a Источник minimum :: Ord a => Const m a -> a Источник | |
| Traversable (Const m :: Type -> Type) Источник | Начиная с: base-4.7.0.0 |
Определено в GHC.Internal.Data.Traversable | |
| Monoid a => Monoid (Const a b) Источник | Начиная с: base-4.9.0.0 |
| Semigroup a => Semigroup (Const a b) Источник | Начиная с: base-4.9.0.0 |
| Bits a => Bits (Const a b) Источник | Начиная с: base-4.9.0.0 |
Определено в GHC.Internal.Data.Functor.Const Методы(.&.) :: Const a b -> Const a b -> Const a b Источник (.|.) :: Const a b -> Const a b -> Const a b Источник xor :: Const a b -> Const a b -> Const a b Источник complement :: Const a b -> Const a b Источник shift :: Const a b -> Int -> Const a b Источник rotate :: Const a b -> Int -> Const a b Источник zeroBits :: Const a b Источник bit :: Int -> Const a b Источник setBit :: Const a b -> Int -> Const a b Источник clearBit :: Const a b -> Int -> Const a b Источник complementBit :: Const a b -> Int -> Const a b Источник testBit :: Const a b -> Int -> Bool Источник bitSizeMaybe :: Const a b -> Maybe Int Источник bitSize :: Const a b -> Int Источник isSigned :: Const a b -> Bool Источник shiftL :: Const a b -> Int -> Const a b Источник unsafeShiftL :: Const a b -> Int -> Const a b Источник shiftR :: Const a b -> Int -> Const a b Источник unsafeShiftR :: Const a b -> Int -> Const a b Источник rotateL :: Const a b -> Int -> Const a b Источник | |
| FiniteBits a => FiniteBits (Const a b) Источник | Начиная с: base-4.9.0.0 |
Определено в GHC.Internal.Data.Functor.Const МетодыfiniteBitSize :: Const a b -> Int Источник countLeadingZeros :: Const a b -> Int Источник countTrailingZeros :: Const a b -> Int Источник | |
| Eq a => Eq (Const a b) Источник | Начиная с: base-4.9.0.0 |
| Ord a => Ord (Const a b) Исходный код | С версии: base-4.9.0.0 |
Определено в GHC.Internal.Data.Functor.Const Методыcompare :: Const a b -> Const a b -> Ordering Исходный код (<) :: Const a b -> Const a b -> Bool Исходный код (<=) :: Const a b -> Const a b -> Bool Исходный код (>) :: Const a b -> Const a b -> Bool Исходный код (>=) :: Const a b -> Const a b -> Bool Исходный код max :: Const a b -> Const a b -> Const a b Исходный код min :: Const a b -> Const a b -> Const a b Исходный код | |
| (Typeable k, Data a, Typeable b) => Data (Const a b) Исходный код | С версии: base-4.10.0.0 |
Определено в GHC.Internal.Data.Data Методыgfoldl :: (forall d b0. Data d => c (d -> b0) -> d -> c b0) -> (forall g. g -> c g) -> Const a b -> c (Const a b) Исходный код gunfold :: (forall b0 r. Data b0 => c (b0 -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Const a b) Исходный код toConstr :: Const a b -> Constr Исходный код dataTypeOf :: Const a b -> DataType Исходный код dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Const a b)) Исходный код dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Const a b)) Исходный код gmapT :: (forall b0. Data b0 => b0 -> b0) -> Const a b -> Const a b Исходный код gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Const a b -> r Исходный код gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Const a b -> r Исходный код gmapQ :: (forall d. Data d => d -> u) -> Const a b -> [u] Исходный код gmapQi :: Int -> (forall d. Data d => d -> u) -> Const a b -> u Исходный код gmapM :: Monad m => (forall d. Data d => d -> m d) -> Const a b -> m (Const a b) Исходный код gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Const a b -> m (Const a b) Исходный код gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Const a b -> m (Const a b) Исходный код | |
| IsString a => IsString (Const a b) Исходный код | С версии: base-4.9.0.0 |
Определено в GHC.Internal.Data.String МетодыfromString :: String -> Const a b Исходный код | |
| Bounded a => Bounded (Const a b) Исходный код | С версии: base-4.9.0.0 |
Определено в GHC.Internal.Data.Functor.Const | |
| Enum a => Enum (Const a b) Исходный код | С версии: base-4.9.0.0 |
Определено в GHC.Internal.Data.Functor.Const Методыsucc :: Const a b -> Const a b Исходный код pred :: Const a b -> Const a b Исходный код toEnum :: Int -> Const a b Исходный код fromEnum :: Const a b -> Int Исходный код enumFrom :: Const a b -> [Const a b] Исходный код enumFromThen :: Const a b -> Const a b -> [Const a b] Исходный код enumFromTo :: Const a b -> Const a b -> [Const a b] Исходный код enumFromThenTo :: Const a b -> Const a b -> Const a b -> [Const a b] Исходный код | |
| Floating a => Floating (Const a b) Исходный код | С версии: base-4.9.0.0 |
Определено в GHC.Internal.Data.Functor.Const Методыpi :: Const a b Исходный код exp :: Const a b -> Const a b Исходный код log :: Const a b -> Const a b Исходный код sqrt :: Const a b -> Const a b Исходный код (**) :: Const a b -> Const a b -> Const a b Исходный код logBase :: Const a b -> Const a b -> Const a b Исходный код sin :: Const a b -> Const a b Исходный код cos :: Const a b -> Const a b Исходный код tan :: Const a b -> Const a b Исходный код asin :: Const a b -> Const a b Исходный код acos :: Const a b -> Const a b Исходный код atan :: Const a b -> Const a b Исходный код sinh :: Const a b -> Const a b Исходный код cosh :: Const a b -> Const a b Исходный код tanh :: Const a b -> Const a b Исходный код asinh :: Const a b -> Const a b Исходный код acosh :: Const a b -> Const a b Исходный код atanh :: Const a b -> Const a b Исходный код log1p :: Const a b -> Const a b Исходный код expm1 :: Const a b -> Const a b Исходный код log1pexp :: Const a b -> Const a b Исходный код log1mexp :: Const a b -> Const a b Исходный код | |
| RealFloat a => RealFloat (Const a b) Исходный код | С версии: base-4.9.0.0 |
Определено в GHC.Internal.Data.Functor.Const МетодыfloatRadix :: Const a b -> Integer Источник floatDigits :: Const a b -> Int Источник floatRange :: Const a b -> (Int, Int) Источник decodeFloat :: Const a b -> (Integer, Int) Источник encodeFloat :: Integer -> Int -> Const a b Источник exponent :: Const a b -> Int Источник significand :: Const a b -> Const a b Источник scaleFloat :: Int -> Const a b -> Const a b Источник isNaN :: Const a b -> Bool Источник isInfinite :: Const a b -> Bool Источник isDenormalized :: Const a b -> Bool Источник isNegativeZero :: Const a b -> Bool Источник | |||||
| Storable a => Storable (Const a b) Источник | Начиная с: base-4.9.0.0 |
||||
Определено в GHC.Internal.Data.Functor.Const МетодыsizeOf :: Const a b -> Int Источник alignment :: Const a b -> Int Источник peekElemOff :: Ptr (Const a b) -> Int -> IO (Const a b) Источник pokeElemOff :: Ptr (Const a b) -> Int -> Const a b -> IO () Источник peekByteOff :: Ptr b0 -> Int -> IO (Const a b) Источник pokeByteOff :: Ptr b0 -> Int -> Const a b -> IO () Источник | |||||
| Generic (Const a b) Источник | |||||
Определено в GHC.Internal.Data.Functor.Const Связанные типы
| |||||
| Ix a => Ix (Const a b) Источник | Начиная с: base-4.9.0.0 |
||||
Определено в GHC.Internal.Data.Functor.Const Методыrange :: (Const a b, Const a b) -> [Const a b] Источник index :: (Const a b, Const a b) -> Const a b -> Int Источник unsafeIndex :: (Const a b, Const a b) -> Const a b -> Int Источник inRange :: (Const a b, Const a b) -> Const a b -> Bool Источник rangeSize :: (Const a b, Const a b) -> Int Источник unsafeRangeSize :: (Const a b, Const a b) -> Int Источник | |||||
| Num a => Num (Const a b) Источник | Начиная с: base-4.9.0.0 |
||||
Определено в GHC.Internal.Data.Functor.Const Методы(+) :: Const a b -> Const a b -> Const a b Источник (-) :: Const a b -> Const a b -> Const a b Источник (*) :: Const a b -> Const a b -> Const a b Источник negate :: Const a b -> Const a b Источник abs :: Const a b -> Const a b Источник signum :: Const a b -> Const a b Источник fromInteger :: Integer -> Const a b Источник | |||||
| Read a => Read (Const a b) Источник |
Этот экземпляр был бы эквивалентен автоматически выведенным экземплярам нового типа Начиная с: base-4.8.0.0 |
||||
| Fractional a => Fractional (Const a b) Источник | Начиная с: base-4.9.0.0 |
||||
| Integral a => Integral (Const a b) Источник | Начиная с: base-4.9.0.0 |
||||
Определено в GHC.Internal.Data.Functor.Const Методыquot :: Const a b -> Const a b -> Const a b Источник rem :: Const a b -> Const a b -> Const a b Источник div :: Const a b -> Const a b -> Const a b Источник mod :: Const a b -> Const a b -> Const a b Источник quotRem :: Const a b -> Const a b -> (Const a b, Const a b) Источник divMod :: Const a b -> Const a b -> (Const a b, Const a b) Источник | |||||
| Real a => Real (Const a b) Источник | Начиная с: base-4.9.0.0 |
||||
Определено в GHC.Internal.Data.Functor.Const МетодыtoRational :: Const a b -> Rational Источник | |||||
| RealFrac a => RealFrac (Const a b) Источник | Начиная с: base-4.9.0.0 |
||||
Определён в GHC.Internal.Data.Functor.Const МетодыproperFraction :: Integral b0 => Const a b -> (b0, Const a b) Исходный код truncate :: Integral b0 => Const a b -> b0 Исходный код round :: Integral b0 => Const a b -> b0 Исходный код ceiling :: Integral b0 => Const a b -> b0 Исходный код floor :: Integral b0 => Const a b -> b0 Исходный код | |
| Show a => Show (Const a b) Исходный код |
Этот экземпляр был бы эквивалентен выведенным экземплярам newtype Начиная с версии: base-4.8.0.0 |
Определён в GHC.Internal.Data.Functor.Const МетодыshowsPrec :: Int -> Const a b -> ShowS Исходный код show :: Const a b -> String Исходный код showList :: [Const a b] -> ShowS Исходный код | |
| type Rep1 (Const a :: k -> Type) Исходный код | Начиная с версии: base-4.9.0.0 |
Определён в GHC.Internal.Data.Functor.Const | |
| type Rep (Const a b) Исходный код | Начиная с версии: base-4.9.0.0 |
Определён в GHC.Internal.Data.Functor.Const | |
© The University of Glasgow and others
Licensed under a BSD-style license (see top of the page).
https://downloads.haskell.org/~ghc/9.14.1/docs/libraries/base-4.22.0.0-66f8/Data-Functor-Const.html