Safe Haskell	None
Language	Haskell2010

Data.Digit.Digitb

Documentation

newtype Digitb a Source #

Constructors

Digitb a

Instances

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

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