Data.Functor.Const

Copyright	Conor McBride and Ross Paterson 2005
License	BSD-style (see the LICENSE file in the distribution)
Maintainer	libraries@haskell.org
Stability	stable
Portability	portable
Safe Haskell	Safe
Language	Haskell2010

Описание

newtype Const a (b :: k) Source

The Const functor.

Примеры

Развернуть

>>> 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]

Конструкторы

Const
Поля getConst :: a

Экземпляры

Подробности экземпляров

Generic1 (Const a :: k -> Type) Source

Подробности экземпляра

Определено в GHC.Internal.Data.Functor.Const

Связанные типы

type Rep1 (Const a :: k -> Type)	Since: base-4.9.0.0
Подробности экземпляра Определено в GHC.Internal.Data.Functor.Const type Rep1 (Const a :: k -> Type) = D1 ('MetaData "Const" "GHC.Internal.Data.Functor.Const" "ghc-internal" 'True) (C1 ('MetaCons "Const" 'PrefixI 'True) (S1 ('MetaSel ('Just "getConst") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))

Методы

from1 :: forall (a0 :: k). Const a a0 -> Rep1 (Const a :: k -> Type) a0 Source

to1 :: forall (a0 :: k). Rep1 (Const a :: k -> Type) a0 -> Const a a0 Source

Bifoldable (Const :: Type -> Type -> Type) Source

Since: base-4.10.0.0

Подробности экземпляра

Определено в Data.Bifoldable

Методы

bifold :: Monoid m => Const m m -> m Source

bifoldMap :: Monoid m => (a -> m) -> (b -> m) -> Const a b -> m Source

bifoldr :: (a -> c -> c) -> (b -> c -> c) -> c -> Const a b -> c Source

bifoldl :: (c -> a -> c) -> (c -> b -> c) -> c -> Const a b -> c Source

Bifoldable1 (Const :: Type -> Type -> Type) Source

Подробности экземпляра

Определено в Data.Bifoldable1

Методы

bifold1 :: Semigroup m => Const m m -> m Source

bifoldMap1 :: Semigroup m => (a -> m) -> (b -> m) -> Const a b -> m Source

Bifunctor (Const :: Type -> Type -> Type) Source

Since: base-4.8.0.0

Подробности экземпляра

Определено в Data.Bifunctor

Методы

bimap :: (a -> b) -> (c -> d) -> Const a c -> Const b d Source

first :: (a -> b) -> Const a c -> Const b c Source

second :: (b -> c) -> Const a b -> Const a c Source

Bitraversable (Const :: Type -> Type -> Type) Source

Since: base-4.10.0.0

Подробности экземпляра

Определено в Data.Bitraversable

Методы

bitraverse :: Applicative f => (a -> f c) -> (b -> f d) -> Const a b -> f (Const c d) Source

Eq2 (Const :: Type -> Type -> Type) Source

Since: base-4.9.0.0

Подробности экземпляра Определено в Data.Functor.Classes Методы liftEq2 :: (a -> b -> Bool) -> (c -> d -> Bool) -> Const a c -> Const b d -> Bool Исходный код
Ord2 (Const :: Type -> Type -> Type) Исходный код	С момента: base-4.9.0.0
Подробности экземпляра Определено в Data.Functor.Classes Методы liftCompare2 :: (a -> b -> Ordering) -> (c -> d -> Ordering) -> Const a c -> Const b d -> Ordering Исходный код
Read2 (Const :: Type -> Type -> Type) Исходный код	С момента: base-4.9.0.0
Подробности экземпляра Определено в Data.Functor.Classes Методы liftReadsPrec2 :: (Int -> ReadS a) -> ReadS [a] -> (Int -> ReadS b) -> ReadS [b] -> Int -> ReadS (Const a b) Исходный код liftReadList2 :: (Int -> ReadS a) -> ReadS [a] -> (Int -> ReadS b) -> ReadS [b] -> ReadS [Const a b] Исходный код liftReadPrec2 :: ReadPrec a -> ReadPrec [a] -> ReadPrec b -> ReadPrec [b] -> ReadPrec (Const a b) Исходный код liftReadListPrec2 :: ReadPrec a -> ReadPrec [a] -> ReadPrec b -> ReadPrec [b] -> ReadPrec [Const a b] Исходный код
Show2 (Const :: Type -> Type -> Type) Исходный код	С момента: base-4.9.0.0
Подробности экземпляра Определено в Data.Functor.Classes Методы liftShowsPrec2 :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> (Int -> b -> ShowS) -> ([b] -> ShowS) -> Int -> Const a b -> ShowS Исходный код liftShowList2 :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> (Int -> b -> ShowS) -> ([b] -> ShowS) -> [Const a b] -> ShowS Исходный код
Eq a => Eq1 (Const a :: Type -> Type) Исходный код	С момента: base-4.9.0.0
Подробности экземпляра Определено в Data.Functor.Classes Методы liftEq :: (a0 -> b -> Bool) -> Const a a0 -> Const a b -> Bool Исходный код
Ord a => Ord1 (Const a :: Type -> Type) Исходный код	С момента: base-4.9.0.0
Подробности экземпляра Определено в Data.Functor.Classes Методы liftCompare :: (a0 -> b -> Ordering) -> Const a a0 -> Const a b -> Ordering Исходный код

Read a => Read1 (Const a :: Тип -> Тип) Источник	С момента: base-4.9.0.0
Подробности экземпляра Определено в Data.Functor.Classes Методы liftReadsPrec :: (Целое -> ReadS a0) -> ReadS [a0] -> Целое -> ReadS (Const a a0) Источник liftReadList :: (Целое -> ReadS a0) -> ReadS [a0] -> ReadS [Const a a0] Источник liftReadPrec :: ReadPrec a0 -> ReadPrec [a0] -> ReadPrec (Const a a0) Источник liftReadListPrec :: ReadPrec a0 -> ReadPrec [a0] -> ReadPrec [Const a a0] Источник
Show a => Show1 (Const a :: Тип -> Тип) Источник	С момента: base-4.9.0.0
Подробности экземпляра Определено в Data.Functor.Classes Методы liftShowsPrec :: (Целое -> a0 -> ShowS) -> ([a0] -> ShowS) -> Целое -> Const a a0 -> ShowS Источник liftShowList :: (Целое -> a0 -> ShowS) -> ([a0] -> ShowS) -> [Const a a0] -> ShowS Источник
Contravariant (Const a :: Тип -> Тип) Источник
Подробности экземпляра Определено в Data.Functor.Contravariant Методы contramap :: (a' -> a0) -> Const a a0 -> Const a a' Источник (>$) :: b -> Const a b -> Const a a0 Источник
Моноид m => Applicative (Const m :: Тип -> Тип) Источник	С момента: base-2.0.1
Подробности экземпляра Определено в GHC.Internal.Data.Functor.Const Методы pure :: a -> Const m a Источник (<>) :: Const m (a -> b) -> Const m a -> Const m b Источник liftA2 :: (a -> b -> c) -> Const m a -> Const m b -> Const m c Источник (>) :: Const m a -> Const m b -> Const m b Источник (<*) :: Const m a -> Const m b -> Const m a Источник
Functor (Const m :: Тип -> Тип) Источник	С момента: base-2.1
Подробности экземпляра Определено в GHC.Internal.Data.Functor.Const Методы fmap :: (a -> b) -> Const m a -> Const m b Источник (<$) :: a -> Const m b -> Const m a Источник

Foldable (Const m :: Type -> Type) Source	Since: base-4.7.0.0
Подробности экземпляра Определено в GHC.Internal.Data.Functor.Const Методы fold :: Monoid m0 => Const m m0 -> m0 Source foldMap :: Monoid m0 => (a -> m0) -> Const m a -> m0 Source foldMap' :: Monoid m0 => (a -> m0) -> Const m a -> m0 Source foldr :: (a -> b -> b) -> b -> Const m a -> b Source foldr' :: (a -> b -> b) -> b -> Const m a -> b Source foldl :: (b -> a -> b) -> b -> Const m a -> b Source foldl' :: (b -> a -> b) -> b -> Const m a -> b Source foldr1 :: (a -> a -> a) -> Const m a -> a Source foldl1 :: (a -> a -> a) -> Const m a -> a Source toList :: Const m a -> [a] Source null :: Const m a -> Bool Source length :: Const m a -> Int Source elem :: Eq a => a -> Const m a -> Bool Source maximum :: Ord a => Const m a -> a Source minimum :: Ord a => Const m a -> a Source sum :: Num a => Const m a -> a Source product :: Num a => Const m a -> a Source
Traversable (Const m :: Type -> Type) Source	Since: base-4.7.0.0
Подробности экземпляра Определено в GHC.Internal.Data.Traversable Методы traverse :: Applicative f => (a -> f b) -> Const m a -> f (Const m b) Source sequenceA :: Applicative f => Const m (f a) -> f (Const m a) Source mapM :: Monad m0 => (a -> m0 b) -> Const m a -> m0 (Const m b) Source sequence :: Monad m0 => Const m (m0 a) -> m0 (Const m a) Source
Monoid a => Monoid (Const a b) Source	Since: base-4.9.0.0
Подробности экземпляра Определено в GHC.Internal.Data.Functor.Const Методы mempty :: Const a b Source mappend :: Const a b -> Const a b -> Const a b Source mconcat :: [Const a b] -> Const a b Source

Semigroup a => Semigroup (Const a b) Source	С момента: base-4.9.0.0
Подробности экземпляра Определено в GHC.Internal.Data.Functor.Const Методы (<>) :: Const a b -> Const a b -> Const a b Source sconcat :: НепустойСписок (Const a b) -> Const a b Source stimes :: Целочисленный b0 => b0 -> Const a b -> Const a b Source
Bits a => Bits (Const a b) Source	С момента: 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 Источник rotateR :: Const a b -> Int -> Const a b Источник popCount :: Const a b -> Int Источник
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 Источник

(Typeable k, Data a, Typeable b) => Data (Const a b) Source	Since: base-4.10.0.0
Instance details Defined in 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) Source gunfold :: (forall b0 r. Data b0 => c (b0 -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Const a b) Source toConstr :: Const a b -> Constr Source dataTypeOf :: Const a b -> DataType Source dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Const a b)) Source dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Const a b)) Source gmapT :: (forall b0. Data b0 => b0 -> b0) -> Const a b -> Const a b Source gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Const a b -> r Source gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Const a b -> r Source gmapQ :: (forall d. Data d => d -> u) -> Const a b -> [u] Source gmapQi :: Int -> (forall d. Data d => d -> u) -> Const a b -> u Source gmapM :: Monad m => (forall d. Data d => d -> m d) -> Const a b -> m (Const a b) Source gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Const a b -> m (Const a b) Source gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Const a b -> m (Const a b) Source
IsString a => IsString (Const a b) Source	Since: base-4.9.0.0
Instance details Defined in GHC.Internal.Data.String Методы fromString :: String -> Const a b Source
Bounded a => Bounded (Const a b) Source	Since: base-4.9.0.0
Instance details Defined in GHC.Internal.Data.Functor.Const Методы minBound :: Const a b Source maxBound :: Const a b Source
Enum a => Enum (Const a b) Source	Since: 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) Исходный код

Since: base-4.9.0.0

Подробности экземпляра Определено в GHC.Internal.Data.Functor.Const Методы floatRadix :: Const a b -> Целое число Исходный код floatDigits :: Const a b -> Целое число Исходный код floatRange :: Const a b -> (Целое число, Целое число) Исходный код decodeFloat :: Const a b -> (Целое число, Целое число) Исходный код encodeFloat :: Целое число -> Целое число -> Const a b Исходный код exponent :: Const a b -> Целое число Исходный код significand :: Const a b -> Const a b Исходный код scaleFloat :: Целое число -> Const a b -> Const a b Исходный код isNaN :: Const a b -> Булево Исходный код isInfinite :: Const a b -> Булево Исходный код isDenormalized :: Const a b -> Булево Исходный код isNegativeZero :: Const a b -> Булево Исходный код isIEEE :: Const a b -> Булево Исходный код atan2 :: Const a b -> Const a b -> Const a b Исходный код
Storable a => Storable (Const a b) Исходный код	С момента: base-4.9.0.0
Подробности экземпляра Определено в GHC.Internal.Data.Functor.Const Методы sizeOf :: Const a b -> Целое число Исходный код alignment :: Const a b -> Целое число Исходный код peekElemOff :: Указатель (Const a b) -> Целое число -> IO (Const a b) Исходный код pokeElemOff :: Указатель (Const a b) -> Целое число -> Const a b -> IO () Исходный код peekByteOff :: Указатель b0 -> Целое число -> IO (Const a b) Исходный код pokeByteOff :: Указатель b0 -> Целое число -> Const a b -> IO () Исходный код peek :: Указатель (Const a b) -> IO (Const a b) Исходный код poke :: Указатель (Const a b) -> Const a b -> IO () Исходный код
Generic (Const a b) Исходный код

Подробности экземпляра

Определено в GHC.Internal.Data.Functor.Const

Связанные типы

type Rep (Const a b)	С версии: base-4.9.0.0
Подробности экземпляра Определено в GHC.Internal.Data.Functor.Const type Rep (Const a b) = D1 ('MetaData "Const" "GHC.Internal.Data.Functor.Const" "ghc-internal" 'True) (C1 ('MetaCons "Const" 'PrefixI 'True) (S1 ('MetaSel ('Just "getConst") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))

Методы

from :: Const a b -> Rep (Const a b) x Исходный код

to :: Rep (Const a b) x -> Const a b Исходный код

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) Исходный код

Этот экземпляр был бы эквивалентен производным экземплярам Const newtype, если бы поле getConst было удалено

С версии: base-4.8.0.0

Подробности экземпляра Определено в GHC.Internal.Data.Functor.Const Методы readsPrec :: Целое -> ReadS (Const a b) Исходный код readList :: ReadS [Const a b] Исходный код readPrec :: ReadPrec (Const a b) Исходный код readListPrec :: ReadPrec [Const a b] Исходный код
Дробное a => Дробное (Const a b) Исходный код	С момента: base-4.9.0.0
Подробности экземпляра Определено в GHC.Internal.Data.Functor.Const Методы (/) :: Const a b -> Const a b -> Const a b Исходный код recip :: Const a b -> Const a b Исходный код fromRational :: Рациональное -> Const a b Исходный код
Целочисленное a => Целочисленное (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) Исходный код toInteger :: Const a b -> Целое Исходный код
Вещественное a => Вещественное (Const a b) Исходный код	С момента: base-4.9.0.0
Подробности экземпляра Определено в GHC.Internal.Data.Functor.Const Методы toRational :: Const a b -> Рациональное Исходный код
Вещественная дробь a => Вещественная дробь (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) Источник	Этот экземпляр был бы эквивалентен производным экземплярам `Const`, если бы поле `getConst` было удалено С версии: 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 Источник
Eq a => Eq (Const a b) Источник	С версии: base-4.9.0.0
Подробности экземпляра Определено в GHC.Internal.Data.Functor.Const Методы (==) :: Const a b -> Const a b -> Bool Источник (/=) :: Const a b -> Const a b -> Bool Источник
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 Источник
type Rep1 (Const a :: k -> Type) Источник	С версии: base-4.9.0.0

Подробности экземпляра Определено в GHC.Internal.Data.Functor.Const type Rep1 (Const a :: k -> Тип) = D1 ('Метаданные "Const" "GHC.Internal.Data.Functor.Const" "ghc-internal" 'Истина) (C1 ('МетаКонструктор "Const" 'ПрефиксI 'Истина) (S1 ('МетаВыбор ('Just "getConst") 'НетНеупакованностиВИсточнике 'НетСтрогостиВИсточнике 'ОпределённаяЛенивость) (Rec0 a)))
type Представление (Const a b) Исходный код	С версии: base-4.9.0.0
Подробности экземпляра Определено в GHC.Internal.Data.Functor.Const type Представление (Const a b) = D1 ('Метаданные "Const" "GHC.Internal.Data.Functor.Const" "ghc-internal" 'Истина) (C1 ('МетаКонструктор "Const" 'ПрефиксI 'Истина) (S1 ('МетаВыбор ('Just "getConst") 'НетНеупакованностиВИсточнике 'НетСтрогостиВИсточнике 'ОпределённаяЛенивость) (Rec0 a)))

© The University of Glasgow and others
Licensed under a BSD-style license (see top of the page).
https://downloads.haskell.org/~ghc/9.12.1/docs/libraries/base-4.21.0.0-8e62/Data-Functor-Const.html

Data.Functor.Const

Описание

Примеры

Конструкторы

Поля

Экземпляры

Связанные типы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Связанные типы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы