Safe Haskell	None
Language	Haskell2010

Data.Digit.Digit5

Documentation

newtype Digit5 a Source #

Constructors

Digit5 a

Instances

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

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