Data.Digit.DigitD

Documentation

newtype DigitD a

Constructors

DigitD a

Instances

Monad DigitD

Methods

(>>=) :: DigitD a -> (a -> DigitD b) -> DigitD b

(>>) :: DigitD a -> DigitD b -> DigitD b

return :: a -> DigitD a

fail :: String -> DigitD a

Functor DigitD

Methods

fmap :: (a -> b) -> DigitD a -> DigitD b

(<$) :: a -> DigitD b -> DigitD a

Applicative DigitD

Methods

pure :: a -> DigitD a

(<*>) :: DigitD (a -> b) -> DigitD a -> DigitD b

(*>) :: DigitD a -> DigitD b -> DigitD b

(<*) :: DigitD a -> DigitD b -> DigitD a

Foldable DigitD

Methods

fold :: Monoid m => DigitD m -> m

foldMap :: Monoid m => (a -> m) -> DigitD a -> m

foldr :: (a -> b -> b) -> b -> DigitD a -> b

foldr' :: (a -> b -> b) -> b -> DigitD a -> b

foldl :: (b -> a -> b) -> b -> DigitD a -> b

foldl' :: (b -> a -> b) -> b -> DigitD a -> b

foldr1 :: (a -> a -> a) -> DigitD a -> a

foldl1 :: (a -> a -> a) -> DigitD a -> a

toList :: DigitD a -> [a]

null :: DigitD a -> Bool

length :: DigitD a -> Int

elem :: Eq a => a -> DigitD a -> Bool

maximum :: Ord a => DigitD a -> a

minimum :: Ord a => DigitD a -> a

sum :: Num a => DigitD a -> a

product :: Num a => DigitD a -> a

Traversable DigitD

Methods

traverse :: Applicative f => (a -> f b) -> DigitD a -> f (DigitD b)

sequenceA :: Applicative f => DigitD (f a) -> f (DigitD a)

mapM :: Monad m => (a -> m b) -> DigitD a -> m (DigitD b)

sequence :: Monad m => DigitD (m a) -> m (DigitD a)

Traversable1 DigitD

Methods

traverse1 :: Apply f => (a -> f b) -> DigitD a -> f (DigitD b)

sequence1 :: Apply f => DigitD (f b) -> f (DigitD b)

Foldable1 DigitD

Methods

fold1 :: Semigroup m => DigitD m -> m

foldMap1 :: Semigroup m => (a -> m) -> DigitD a -> m

toNonEmpty :: DigitD a -> NonEmpty a

Bind DigitD

Methods

(>>-) :: DigitD a -> (a -> DigitD b) -> DigitD b

join :: DigitD (DigitD a) -> DigitD a

Apply DigitD

Methods

(<.>) :: DigitD (a -> b) -> DigitD a -> DigitD b

(.>) :: DigitD a -> DigitD b -> DigitD b

(<.) :: DigitD a -> DigitD b -> DigitD a

FunctorWithIndex () DigitD

Methods

imap :: (() -> a -> b) -> DigitD a -> DigitD b

imapped :: (Indexable () p, Settable f) => p a (f b) -> DigitD a -> f (DigitD b)

FoldableWithIndex () DigitD

Methods

ifoldMap :: Monoid m => (() -> a -> m) -> DigitD a -> m

ifolded :: (Indexable () p, Contravariant f, Applicative f) => p a (f a) -> DigitD a -> f (DigitD a)

ifoldr :: (() -> a -> b -> b) -> b -> DigitD a -> b

ifoldl :: (() -> b -> a -> b) -> b -> DigitD a -> b

ifoldr' :: (() -> a -> b -> b) -> b -> DigitD a -> b

ifoldl' :: (() -> b -> a -> b) -> b -> DigitD a -> b

TraversableWithIndex () DigitD

Methods

itraverse :: Applicative f => (() -> a -> f b) -> DigitD a -> f (DigitD b)

itraversed :: (Indexable () p, Applicative f) => p a (f b) -> DigitD a -> f (DigitD b)

Bounded a => Bounded (DigitD a)

Methods

minBound :: DigitD a

maxBound :: DigitD a

Enum a => Enum (DigitD a)

Methods

succ :: DigitD a -> DigitD a

pred :: DigitD a -> DigitD a

toEnum :: Int -> DigitD a

fromEnum :: DigitD a -> Int

enumFrom :: DigitD a -> [DigitD a]

enumFromThen :: DigitD a -> DigitD a -> [DigitD a]

enumFromTo :: DigitD a -> DigitD a -> [DigitD a]

enumFromThenTo :: DigitD a -> DigitD a -> DigitD a -> [DigitD a]

Eq a => Eq (DigitD a)

Methods

(==) :: DigitD a -> DigitD a -> Bool

(/=) :: DigitD a -> DigitD a -> Bool

Floating a => Floating (DigitD a)

Methods

pi :: DigitD a

exp :: DigitD a -> DigitD a

log :: DigitD a -> DigitD a

sqrt :: DigitD a -> DigitD a

(**) :: DigitD a -> DigitD a -> DigitD a

logBase :: DigitD a -> DigitD a -> DigitD a

sin :: DigitD a -> DigitD a

cos :: DigitD a -> DigitD a

tan :: DigitD a -> DigitD a

asin :: DigitD a -> DigitD a

acos :: DigitD a -> DigitD a

atan :: DigitD a -> DigitD a

sinh :: DigitD a -> DigitD a

cosh :: DigitD a -> DigitD a

tanh :: DigitD a -> DigitD a

asinh :: DigitD a -> DigitD a

acosh :: DigitD a -> DigitD a

atanh :: DigitD a -> DigitD a

log1p :: DigitD a -> DigitD a

expm1 :: DigitD a -> DigitD a

log1pexp :: DigitD a -> DigitD a

log1mexp :: DigitD a -> DigitD a

Fractional a => Fractional (DigitD a)

Methods

(/) :: DigitD a -> DigitD a -> DigitD a

recip :: DigitD a -> DigitD a

fromRational :: Rational -> DigitD a

Integral a => Integral (DigitD a)

Methods

quot :: DigitD a -> DigitD a -> DigitD a

rem :: DigitD a -> DigitD a -> DigitD a

div :: DigitD a -> DigitD a -> DigitD a

mod :: DigitD a -> DigitD a -> DigitD a

quotRem :: DigitD a -> DigitD a -> (DigitD a, DigitD a)

divMod :: DigitD a -> DigitD a -> (DigitD a, DigitD a)

toInteger :: DigitD a -> Integer

Num a => Num (DigitD a)

Methods

(+) :: DigitD a -> DigitD a -> DigitD a

(-) :: DigitD a -> DigitD a -> DigitD a

(*) :: DigitD a -> DigitD a -> DigitD a

negate :: DigitD a -> DigitD a

abs :: DigitD a -> DigitD a

signum :: DigitD a -> DigitD a

fromInteger :: Integer -> DigitD a

Ord a => Ord (DigitD a)

Methods

compare :: DigitD a -> DigitD a -> Ordering

(<) :: DigitD a -> DigitD a -> Bool

(<=) :: DigitD a -> DigitD a -> Bool

(>) :: DigitD a -> DigitD a -> Bool

(>=) :: DigitD a -> DigitD a -> Bool

max :: DigitD a -> DigitD a -> DigitD a

min :: DigitD a -> DigitD a -> DigitD a

Real a => Real (DigitD a)

Methods

toRational :: DigitD a -> Rational

RealFloat a => RealFloat (DigitD a)

Methods

floatRadix :: DigitD a -> Integer

floatDigits :: DigitD a -> Int

floatRange :: DigitD a -> (Int, Int)

decodeFloat :: DigitD a -> (Integer, Int)

encodeFloat :: Integer -> Int -> DigitD a

exponent :: DigitD a -> Int

significand :: DigitD a -> DigitD a

scaleFloat :: Int -> DigitD a -> DigitD a

isNaN :: DigitD a -> Bool

isInfinite :: DigitD a -> Bool

isDenormalized :: DigitD a -> Bool

isNegativeZero :: DigitD a -> Bool

isIEEE :: DigitD a -> Bool

atan2 :: DigitD a -> DigitD a -> DigitD a

RealFrac a => RealFrac (DigitD a)

Methods

properFraction :: Integral b => DigitD a -> (b, DigitD a)

truncate :: Integral b => DigitD a -> b

round :: Integral b => DigitD a -> b

ceiling :: Integral b => DigitD a -> b

floor :: Integral b => DigitD a -> b

Show a => Show (DigitD a)

Methods

showsPrec :: Int -> DigitD a -> ShowS

show :: DigitD a -> String

showList :: [DigitD a] -> ShowS

Semigroup a => Semigroup (DigitD a)

Methods

(<>) :: DigitD a -> DigitD a -> DigitD a

sconcat :: NonEmpty (DigitD a) -> DigitD a

stimes :: Integral b => b -> DigitD a -> DigitD a

Monoid a => Monoid (DigitD a)

Methods

mempty :: DigitD a

mappend :: DigitD a -> DigitD a -> DigitD a

mconcat :: [DigitD a] -> DigitD a

Ixed (DigitD a)

Methods

ix :: Index (DigitD a) -> Traversal' (DigitD a) (IxValue (DigitD a))

Wrapped (DigitD a0)

Associated Types

type Unwrapped (DigitD a0) :: *

Methods

_Wrapped' :: Iso' (DigitD a0) (Unwrapped (DigitD a0))

DD a => DD (DigitD a)

Methods

dD :: Prism' (DigitD a) ()

xD :: DigitD a

(~) * (DigitD a0) t0 => Rewrapped (DigitD a1) t0

Each (DigitD a) (DigitD b) a b

Methods

each :: Traversal (DigitD a) (DigitD b) a b

Field1 (DigitD a) (DigitD b) a b

Methods

_1 :: Lens (DigitD a) (DigitD b) a b

type Index (DigitD a)

type Index (DigitD a) = ()

type IxValue (DigitD a)

type IxValue (DigitD a) = a

type Unwrapped (DigitD a0)

type Unwrapped (DigitD a0) = a0