Data.Functor.Const.Compat

base-compat-0.13.1: A compatibility layer for base

Safe Haskell | Safe-Inferred
Language | Haskell2010

Data.Functor.Const.Compat

# Documentation

newtype Const a (b :: k) #

Constructors

Const |
Fields getConst :: a

#### Instances

Instances details

Generic1 (Const a :: k -> Type) |
Instance details Defined in Data.Functor.Const Associated Types type Rep1 (Const a) :: k -> Type Methods from1 :: forall (a0 :: k0). Const a a0 -> Rep1 (Const a) a0 to1 :: forall (a0 :: k0). Rep1 (Const a) a0 -> Const a a0
Bifoldable (Const :: Type -> Type -> Type) |
Instance details Defined in Data.Bifoldable Methods 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
Bifoldable1 (Const :: Type -> Type -> Type) |
Instance details Defined in Data.Bifoldable1 Methods bifold1 :: Semigroup m => Const m m -> m bifoldMap1 :: Semigroup m => (a -> m) -> (b -> m) -> Const a b -> m
Bifunctor (Const :: Type -> Type -> Type) |
Instance details Defined in Data.Bifunctor Methods 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
Bitraversable (Const :: Type -> Type -> Type) |
Instance details Defined in Data.Bitraversable Methods bitraverse :: Applicative f => (a -> f c) -> (b -> f d) -> Const a b -> f (Const c d)
Foldable (Const m :: Type -> Type) |
Instance details Defined in Data.Functor.Const Methods 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
Contravariant (Const a :: Type -> Type) |
Instance details Defined in Data.Functor.Contravariant Methods contramap :: (a' -> a0) -> Const a a0 -> Const a a' (>$) :: b -> Const a b -> Const a a0
Traversable (Const m :: Type -> Type) |
Instance details Defined in Data.Traversable Methods 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) #
Monoid m => Applicative (Const m :: Type -> Type) |
Instance details Defined in Data.Functor.Const Methods 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 :: Type -> Type) |
Instance details Defined in Data.Functor.Const Methods fmap :: (a -> b) -> Const m a -> Const m b # (<$) :: a -> Const m b -> Const m a #
IsString a => IsString (Const a b) |
Instance details Defined in Data.String Methods fromString :: String -> Const a b
Storable a => Storable (Const a b) |
Instance details Defined in Data.Functor.Const Methods 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 ()
Monoid a => Monoid (Const a b) |
Instance details Defined in Data.Functor.Const Methods mempty :: Const a b # mappend :: Const a b -> Const a b -> Const a b # mconcat :: [Const a b] -> Const a b #
Semigroup a => Semigroup (Const a b) |
Instance details Defined in Data.Functor.Const Methods (<>) :: 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 #
Bits a => Bits (Const a b) |
Instance details Defined in Data.Functor.Const Methods (.&.) :: 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) |
Instance details Defined in Data.Functor.Const Methods finiteBitSize :: Const a b -> Int countLeadingZeros :: Const a b -> Int countTrailingZeros :: Const a b -> Int
Bounded a => Bounded (Const a b) |
Instance details Defined in Data.Functor.Const Methods minBound :: Const a b maxBound :: Const a b
Enum a => Enum (Const a b) |
Instance details Defined in Data.Functor.Const Methods 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) |
Instance details Defined in Data.Functor.Const Methods 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) |
Instance details Defined in Data.Functor.Const Methods 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
Generic (Const a b) |
Instance details Defined in Data.Functor.Const Associated Types type Rep (Const a b) :: Type -> Type Methods from :: Const a b -> Rep (Const a b) x to :: Rep (Const a b) x -> Const a b
Ix a => Ix (Const a b) |
Instance details Defined in Data.Functor.Const Methods 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) |
Instance details Defined in Data.Functor.Const Methods (+) :: 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) |
Instance details Defined in Data.Functor.Const Methods readsPrec :: Int -> ReadS (Const a b) # readList :: ReadS [Const a b] # readPrec :: ReadPrec (Const a b) # readListPrec :: ReadPrec [Const a b] #
Fractional a => Fractional (Const a b) |
Instance details Defined in Data.Functor.Const Methods (/) :: Const a b -> Const a b -> Const a b recip :: Const a b -> Const a b fromRational :: Rational -> Const a b
Integral a => Integral (Const a b) |
Instance details Defined in Data.Functor.Const Methods 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 -> Integer
Real a => Real (Const a b) |
Instance details Defined in Data.Functor.Const Methods toRational :: Const a b -> Rational
RealFrac a => RealFrac (Const a b) |
Instance details Defined in Data.Functor.Const Methods 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) |
Instance details Defined in Data.Functor.Const Methods showsPrec :: Int -> Const a b -> ShowS show :: Const a b -> String showList :: [Const a b] -> ShowS
Eq a => Eq (Const a b) |
Instance details Defined in Data.Functor.Const Methods (==) :: Const a b -> Const a b -> Bool (/=) :: Const a b -> Const a b -> Bool
Ord a => Ord (Const a b) |
Instance details Defined in Data.Functor.Const Methods 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) |
Instance details Defined in 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) |
Instance details Defined in 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)))