Safe Haskell	None
Language	Haskell2010

Data.Digit.DigitA

Documentation

newtype DigitA a Source #

Constructors

DigitA a

Instances

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

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