Safe Haskell	None
Language	Haskell2010

Data.Digit.DigitF

Documentation

newtype DigitF a Source #

Constructors

DigitF a

Instances

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

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