Safe Haskell	None
Language	Haskell2010

Data.Digit.DigitC

Documentation

newtype DigitC a Source #

Constructors

DigitC a

Instances

Monad DigitC Source #
Methods (>>=) :: DigitC a -> (a -> DigitC b) -> DigitC b # (>>) :: DigitC a -> DigitC b -> DigitC b # return :: a -> DigitC a # fail :: String -> DigitC a #
Functor DigitC Source #
Methods fmap :: (a -> b) -> DigitC a -> DigitC b # (<$) :: a -> DigitC b -> DigitC a #
Applicative DigitC Source #
Methods pure :: a -> DigitC a # (<>) :: DigitC (a -> b) -> DigitC a -> DigitC b # (>) :: DigitC a -> DigitC b -> DigitC b # (<*) :: DigitC a -> DigitC b -> DigitC a #
Foldable DigitC Source #
Methods fold :: Monoid m => DigitC m -> m # foldMap :: Monoid m => (a -> m) -> DigitC a -> m # foldr :: (a -> b -> b) -> b -> DigitC a -> b # foldr' :: (a -> b -> b) -> b -> DigitC a -> b # foldl :: (b -> a -> b) -> b -> DigitC a -> b # foldl' :: (b -> a -> b) -> b -> DigitC a -> b # foldr1 :: (a -> a -> a) -> DigitC a -> a # foldl1 :: (a -> a -> a) -> DigitC a -> a # toList :: DigitC a -> [a] # null :: DigitC a -> Bool # length :: DigitC a -> Int # elem :: Eq a => a -> DigitC a -> Bool # maximum :: Ord a => DigitC a -> a # minimum :: Ord a => DigitC a -> a # sum :: Num a => DigitC a -> a # product :: Num a => DigitC a -> a #
Traversable DigitC Source #
Methods traverse :: Applicative f => (a -> f b) -> DigitC a -> f (DigitC b) # sequenceA :: Applicative f => DigitC (f a) -> f (DigitC a) # mapM :: Monad m => (a -> m b) -> DigitC a -> m (DigitC b) # sequence :: Monad m => DigitC (m a) -> m (DigitC a) #
Traversable1 DigitC Source #
Methods traverse1 :: Apply f => (a -> f b) -> DigitC a -> f (DigitC b) # sequence1 :: Apply f => DigitC (f b) -> f (DigitC b) #
Foldable1 DigitC Source #
Methods fold1 :: Semigroup m => DigitC m -> m # foldMap1 :: Semigroup m => (a -> m) -> DigitC a -> m # toNonEmpty :: DigitC a -> NonEmpty a #
Bind DigitC Source #
Methods (>>-) :: DigitC a -> (a -> DigitC b) -> DigitC b # join :: DigitC (DigitC a) -> DigitC a #
Apply DigitC Source #
Methods (<.>) :: DigitC (a -> b) -> DigitC a -> DigitC b # (.>) :: DigitC a -> DigitC b -> DigitC b # (<.) :: DigitC a -> DigitC b -> DigitC a #
FunctorWithIndex () DigitC Source #
Methods imap :: (() -> a -> b) -> DigitC a -> DigitC b # imapped :: (Indexable () p, Settable f) => p a (f b) -> DigitC a -> f (DigitC b) #
FoldableWithIndex () DigitC Source #
Methods ifoldMap :: Monoid m => (() -> a -> m) -> DigitC a -> m # ifolded :: (Indexable () p, Contravariant f, Applicative f) => p a (f a) -> DigitC a -> f (DigitC a) # ifoldr :: (() -> a -> b -> b) -> b -> DigitC a -> b # ifoldl :: (() -> b -> a -> b) -> b -> DigitC a -> b # ifoldr' :: (() -> a -> b -> b) -> b -> DigitC a -> b # ifoldl' :: (() -> b -> a -> b) -> b -> DigitC a -> b #
TraversableWithIndex () DigitC Source #
Methods itraverse :: Applicative f => (() -> a -> f b) -> DigitC a -> f (DigitC b) # itraversed :: (Indexable () p, Applicative f) => p a (f b) -> DigitC a -> f (DigitC b) #
Bounded a => Bounded (DigitC a) Source #
Methods minBound :: DigitC a # maxBound :: DigitC a #
Enum a => Enum (DigitC a) Source #
Methods succ :: DigitC a -> DigitC a # pred :: DigitC a -> DigitC a # toEnum :: Int -> DigitC a # fromEnum :: DigitC a -> Int # enumFrom :: DigitC a -> [DigitC a] # enumFromThen :: DigitC a -> DigitC a -> [DigitC a] # enumFromTo :: DigitC a -> DigitC a -> [DigitC a] # enumFromThenTo :: DigitC a -> DigitC a -> DigitC a -> [DigitC a] #
Eq a => Eq (DigitC a) Source #
Methods (==) :: DigitC a -> DigitC a -> Bool # (/=) :: DigitC a -> DigitC a -> Bool #
Floating a => Floating (DigitC a) Source #
Methods pi :: DigitC a # exp :: DigitC a -> DigitC a # log :: DigitC a -> DigitC a # sqrt :: DigitC a -> DigitC a # (**) :: DigitC a -> DigitC a -> DigitC a # logBase :: DigitC a -> DigitC a -> DigitC a # sin :: DigitC a -> DigitC a # cos :: DigitC a -> DigitC a # tan :: DigitC a -> DigitC a # asin :: DigitC a -> DigitC a # acos :: DigitC a -> DigitC a # atan :: DigitC a -> DigitC a # sinh :: DigitC a -> DigitC a # cosh :: DigitC a -> DigitC a # tanh :: DigitC a -> DigitC a # asinh :: DigitC a -> DigitC a # acosh :: DigitC a -> DigitC a # atanh :: DigitC a -> DigitC a # log1p :: DigitC a -> DigitC a # expm1 :: DigitC a -> DigitC a # log1pexp :: DigitC a -> DigitC a # log1mexp :: DigitC a -> DigitC a #
Fractional a => Fractional (DigitC a) Source #
Methods (/) :: DigitC a -> DigitC a -> DigitC a # recip :: DigitC a -> DigitC a # fromRational :: Rational -> DigitC a #
Integral a => Integral (DigitC a) Source #
Methods quot :: DigitC a -> DigitC a -> DigitC a # rem :: DigitC a -> DigitC a -> DigitC a # div :: DigitC a -> DigitC a -> DigitC a # mod :: DigitC a -> DigitC a -> DigitC a # quotRem :: DigitC a -> DigitC a -> (DigitC a, DigitC a) # divMod :: DigitC a -> DigitC a -> (DigitC a, DigitC a) # toInteger :: DigitC a -> Integer #
Num a => Num (DigitC a) Source #
Methods (+) :: DigitC a -> DigitC a -> DigitC a # (-) :: DigitC a -> DigitC a -> DigitC a # (*) :: DigitC a -> DigitC a -> DigitC a # negate :: DigitC a -> DigitC a # abs :: DigitC a -> DigitC a # signum :: DigitC a -> DigitC a # fromInteger :: Integer -> DigitC a #
Ord a => Ord (DigitC a) Source #
Methods compare :: DigitC a -> DigitC a -> Ordering # (<) :: DigitC a -> DigitC a -> Bool # (<=) :: DigitC a -> DigitC a -> Bool # (>) :: DigitC a -> DigitC a -> Bool # (>=) :: DigitC a -> DigitC a -> Bool # max :: DigitC a -> DigitC a -> DigitC a # min :: DigitC a -> DigitC a -> DigitC a #
Real a => Real (DigitC a) Source #
Methods toRational :: DigitC a -> Rational #
RealFloat a => RealFloat (DigitC a) Source #
Methods floatRadix :: DigitC a -> Integer # floatDigits :: DigitC a -> Int # floatRange :: DigitC a -> (Int, Int) # decodeFloat :: DigitC a -> (Integer, Int) # encodeFloat :: Integer -> Int -> DigitC a # exponent :: DigitC a -> Int # significand :: DigitC a -> DigitC a # scaleFloat :: Int -> DigitC a -> DigitC a # isNaN :: DigitC a -> Bool # isInfinite :: DigitC a -> Bool # isDenormalized :: DigitC a -> Bool # isNegativeZero :: DigitC a -> Bool # isIEEE :: DigitC a -> Bool # atan2 :: DigitC a -> DigitC a -> DigitC a #
RealFrac a => RealFrac (DigitC a) Source #
Methods properFraction :: Integral b => DigitC a -> (b, DigitC a) # truncate :: Integral b => DigitC a -> b # round :: Integral b => DigitC a -> b # ceiling :: Integral b => DigitC a -> b # floor :: Integral b => DigitC a -> b #
Show a => Show (DigitC a) Source #
Methods showsPrec :: Int -> DigitC a -> ShowS # show :: DigitC a -> String # showList :: [DigitC a] -> ShowS #
Semigroup a => Semigroup (DigitC a) Source #
Methods (<>) :: DigitC a -> DigitC a -> DigitC a # sconcat :: NonEmpty (DigitC a) -> DigitC a # stimes :: Integral b => b -> DigitC a -> DigitC a #
Monoid a => Monoid (DigitC a) Source #
Methods mempty :: DigitC a # mappend :: DigitC a -> DigitC a -> DigitC a # mconcat :: [DigitC a] -> DigitC a #
Ixed (DigitC a) Source #
Methods ix :: Index (DigitC a) -> Traversal' (DigitC a) (IxValue (DigitC a)) #
Wrapped (DigitC a0) Source #
Associated Types type Unwrapped (DigitC a0) :: * # Methods _Wrapped' :: Iso' (DigitC a0) (Unwrapped (DigitC a0)) #
DC a => DC (DigitC a) Source #
Methods dC :: Prism' (DigitC a) () Source # xC :: DigitC a Source #
(~) * (DigitC a0) t0 => Rewrapped (DigitC a1) t0 Source #

Each (DigitC a) (DigitC b) a b Source #
Methods each :: Traversal (DigitC a) (DigitC b) a b #
Field1 (DigitC a) (DigitC b) a b Source #
Methods _1 :: Lens (DigitC a) (DigitC b) a b #
type Index (DigitC a) Source #
type Index (DigitC a) = ()
type IxValue (DigitC a) Source #
type IxValue (DigitC a) = a
type Unwrapped (DigitC a0) Source #
type Unwrapped (DigitC a0) = a0