Safe Haskell	None
Language	Haskell2010

Data.Digit.DigitD

Documentation

newtype DigitD a Source #

Constructors

DigitD a

Instances

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

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