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