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