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