Spec-Zone.ru › Haskell 8

Data.Functor.Const

Авторские права Conor McBride и Ross Paterson 2005
Лицензия BSD-стиль (см. файл LICENSE в дистрибутиве)
Поддержка libraries@haskell.org
Устойчивость экспериментальная
Переносимость переносимая
Safe Haskell Надёжная
Язык Haskell2010

Описание

newtype Const a b Исходный код

Functor Const.

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

Const

Поля

  • getConst :: a
Реализации
Подробности о реализациях
Generic1 (Const a :: k -> Type)

С версии: base-4.9.0.0

Подробности о реализации

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

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

type Rep1 (Const a) :: k -> Type Источник

Методы

from1 :: forall (a0 :: k0). Const a a0 -> Rep1 (Const a) a0 Источник

to1 :: forall (a0 :: k0). Rep1 (Const a) a0 -> Const a a0 Источник

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 Источник

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] Источник

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 Источник

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

С версии: base-4.9.0.0

Подробности о реализации

Определено в Data.Functor.Classes

Методы

liftEq2 :: (a -> b -> Bool) -> (c -> d -> Bool) -> Const a c -> Const b d -> Bool Источник

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

С версии: base-4.8.0.0

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

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

Методы

bimap :: (a -> b) -> (c -> d) -> Const a c -> Const b d Исходный код

first :: (a -> b) -> Const a c -> Const b c Исходный код

second :: (b -> c) -> Const a b -> Const a c Исходный код

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

С момента: base-4.10.0.0

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

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

Методы

bifold :: Monoid m => Const m m -> m Исходный код

bifoldMap :: Monoid m => (a -> m) -> (b -> m) -> Const a b -> m Исходный код

bifoldr :: (a -> c -> c) -> (b -> c -> c) -> c -> Const a b -> c Исходный код

bifoldl :: (c -> a -> c) -> (c -> b -> c) -> c -> Const a b -> c Исходный код

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

С момента: base-4.10.0.0

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

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

Методы

bitraverse :: Applicative f => (a -> f c) -> (b -> f d) -> Const a b -> f (Const c d) Исходный код

Functor (Const m :: Type -> Type)

С момента: base-2.1

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

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

Методы

fmap :: (a -> b) -> Const m a -> Const m b Исходный код

(<$) :: a -> Const m b -> Const m a Исходный код

Monoid m => Applicative (Const m :: Type -> Type)

С момента: base-2.0.1

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

Определено в 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 Исходный код

Foldable (Const m :: Type -> Type)

С момента: base-4.7.0.0

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

Определено в 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 Исходный код

sum :: Num a => Const m a -> a Исходный код

product :: Num a => Const m a -> a Исходный код

Traversable (Const m :: Type -> Type)

С момента: base-4.7.0.0

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

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

Методы

traverse :: Applicative f => (a -> f b) -> Const m a -> f (Const m b) Исходный код

sequenceA :: Applicative f => Const m (f a) -> f (Const m a) Исходный код

mapM :: Monad m0 => (a -> m0 b) -> Const m a -> m0 (Const m b) Исходный код

sequence :: Monad m0 => Const m (m0 a) -> m0 (Const m a) Исходный код

Show a => Show1 (Const a :: Type -> Type)

С момента: base-4.9.0.0

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

Определено в Data.Functor.Classes

Методы

liftShowsPrec :: (Int -> a0 -> ShowS) -> ([a0] -> ShowS) -> Int -> Const a a0 -> ShowS Исходный код

liftShowList :: (Int -> a0 -> ShowS) -> ([a0] -> ShowS) -> [Const a a0] -> ShowS Исходный код

Read a => Read1 (Const a :: Type -> Type)

С момента: base-4.9.0.0

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

Определено в Data.Functor.Classes

Методы

liftReadsPrec :: (Int -> ReadS a0) -> ReadS [a0] -> Int -> ReadS (Const a a0) Исходный код

liftReadList :: (Int -> 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] Исходный код

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

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

Contravariant (Const a :: Type -> Type)
Подробности экземпляра

Определено в Data.Functor.Contravariant

Методы

contramap :: (a0 -> b) -> Const a b -> Const a a0 Исходный код

(>$) :: b -> Const a b -> Const a a0 Исходный код

Bounded a => Bounded (Const a b)

С: base-4.9.0.0

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

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

Методы

minBound :: Const a b Исходный код

maxBound :: Const a b Исходный код

Enum a => Enum (Const a b)

С: base-4.9.0.0

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

Определено в 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] Исходный код

Eq a => Eq (Const a b)

Since: base-4.9.0.0

Instance details

Defined in Data.Functor.Const

Методы

(==) :: Const a b -> Const a b -> Bool Source

(/=) :: Const a b -> Const a b -> Bool Source

Floating a => Floating (Const a b)

Since: base-4.9.0.0

Instance details

Defined in Data.Functor.Const

Методы

pi :: Const a b Source

exp :: Const a b -> Const a b Source

log :: Const a b -> Const a b Source

sqrt :: Const a b -> Const a b Source

(**) :: Const a b -> Const a b -> Const a b Source

logBase :: Const a b -> Const a b -> Const a b Source

sin :: Const a b -> Const a b Source

cos :: Const a b -> Const a b Source

tan :: Const a b -> Const a b Source

asin :: Const a b -> Const a b Source

acos :: Const a b -> Const a b Source

atan :: Const a b -> Const a b Source

sinh :: Const a b -> Const a b Source

cosh :: Const a b -> Const a b Source

tanh :: Const a b -> Const a b Source

asinh :: Const a b -> Const a b Source

acosh :: Const a b -> Const a b Source

atanh :: Const a b -> Const a b Source

log1p :: Const a b -> Const a b Source

expm1 :: Const a b -> Const a b Source

log1pexp :: Const a b -> Const a b Source

log1mexp :: Const a b -> Const a b Source

Fractional a => Fractional (Const a b)

Since: base-4.9.0.0

Instance details

Defined in Data.Functor.Const

Методы

(/) :: Const a b -> Const a b -> Const a b Source

recip :: Const a b -> Const a b Source

fromRational :: Rational -> Const a b Source

Integral a => Integral (Const a b)

Since: base-4.9.0.0

Instance details

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

Краткое описание методов

quot :: Const a b -> Const a b -> Const a b Source

rem :: Const a b -> Const a b -> Const a b Source

div :: Const a b -> Const a b -> Const a b Source

mod :: Const a b -> Const a b -> Const a b Source

quotRem :: Const a b -> Const a b -> (Const a b, Const a b) Source

divMod :: Const a b -> Const a b -> (Const a b, Const a b) Source

toInteger :: Const a b -> Integer Source

(Typeable k, Data a, Typeable b) => Data (Const a b)

Since: base-4.10.0.0

Instance details

Определено в 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

Num a => Num (Const a b)

Since: base-4.9.0.0

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

Определено в 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 Исходный код

Ord a => Ord (Const a b)

С момента: base-4.9.0.0

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

Определено в 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 Исходный код

Read a => Read (Const a b)

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

С момента: base-4.8.0.0

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

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

Методы

readsPrec :: Int -> ReadS (Const a b) Исходный код

readList :: ReadS [Const a b] Исходный код

readPrec :: ReadPrec (Const a b) Исходный код

readListPrec :: ReadPrec [Const a b] Исходный код

Real a => Real (Const a b)

С момента: base-4.9.0.0

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

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

Методы

toRational :: Const a b -> Rational Исходный код

RealFloat a => RealFloat (Const a b)

С момента: base-4.9.0.0

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

Определено в 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 Исходный код

isIEEE :: Const a b -> Bool Исходный код

atan2 :: Const a b -> Const a b -> Const a b Исходный код

RealFrac a => RealFrac (Const a b)

С момента: base-4.9.0.0

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

Определено в 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 newtype, если бы поле getConst было удалено

С момента: base-4.8.0.0

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

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

Методы

showsPrec :: Int -> Const a b -> ShowS Исходный код

show :: Const a b -> String Исходный код

showList :: [Const a b] -> ShowS Исходный код

Ix a => Ix (Const a b)

С момента: base-4.9.0.0

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

Определено в 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 Исходный код

IsString a => IsString (Const a b)

С момента: base-4.9.0.0

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

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

Методы

fromString :: String -> Const a b Исходный код

Generic (Const a b)

С момента: base-4.9.0.0

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

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

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

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

Методы

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

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

Semigroup a => Semigroup (Const a b)

С момента: base-4.9.0.0

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

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

Методы

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

sconcat :: NonEmpty (Const a b) -> Const a b Исходный код

stimes :: Integral b0 => b0 -> Const a b -> Const a b Исходный код

Monoid a => Monoid (Const a b)

С момента: base-4.9.0.0

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

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

Методы

mempty :: Const a b Исходный код

mappend :: Const a b -> Const a b -> Const a b Исходный код

mconcat :: [Const a b] -> Const a b Исходный код

FiniteBits a => FiniteBits (Const a b)

С момента: base-4.9.0.0

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

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

Методы

finiteBitSize :: Const a b -> Int Исходный код

countLeadingZeros :: Const a b -> Int Исходный код

countTrailingZeros :: Const a b -> Int Исходный код

Bits a => Bits (Const a b)

С момента: base-4.9.0.0

Подробности реализации

Определено в 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 Исходный код

Storable a => Storable (Const a b)

С: base-4.9.0.0

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

Определено в 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 () Исходный код

peek :: Ptr (Const a b) -> IO (Const a b) Исходный код

poke :: Ptr (Const a b) -> Const a b -> IO () Исходный код

type Rep1 (Const a :: k -> Type)
Подробности экземпляра

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

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

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

type Rep (Const a b) = D1 ('MetaData "Const" "Data.Functor.Const" "base" 'True) (C1 ('MetaCons "Const" 'PrefixI 'True) (S1 ('MetaSel ('Just "getConst") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))

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

Spec-Zone.ru

Настройки Оффлайн Что нового Помощь О нас
Spec-Zone .ru
спецификации, руководства, описания, API