Data.Digit.DigitA

Documentation

newtype DigitA a

Constructors

DigitA a

Instances

Monad DigitA

Methods

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

(>>) :: DigitA a -> DigitA b -> DigitA b

return :: a -> DigitA a

fail :: String -> DigitA a

Functor DigitA

Methods

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

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

Applicative DigitA

Methods

pure :: a -> DigitA a

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

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

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

Foldable DigitA

Methods

fold :: Monoid m => DigitA m -> m

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

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

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

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

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

foldr1 :: (a -> a -> a) -> DigitA a -> a

foldl1 :: (a -> a -> a) -> DigitA a -> a

toList :: DigitA a -> [a]

null :: DigitA a -> Bool

length :: DigitA a -> Int

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

maximum :: Ord a => DigitA a -> a

minimum :: Ord a => DigitA a -> a

sum :: Num a => DigitA a -> a

product :: Num a => DigitA a -> a

Traversable DigitA

Methods

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

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

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

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

Traversable1 DigitA

Methods

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

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

Foldable1 DigitA

Methods

fold1 :: Semigroup m => DigitA m -> m

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

toNonEmpty :: DigitA a -> NonEmpty a

Bind DigitA

Methods

(>>-) :: DigitA a -> (a -> DigitA b) -> DigitA b

join :: DigitA (DigitA a) -> DigitA a

Apply DigitA

Methods

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

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

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

FunctorWithIndex () DigitA

Methods

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

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

FoldableWithIndex () DigitA

Methods

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

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

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

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

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

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

TraversableWithIndex () DigitA

Methods

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

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

Bounded a => Bounded (DigitA a)

Methods

minBound :: DigitA a

maxBound :: DigitA a

Enum a => Enum (DigitA a)

Methods

succ :: DigitA a -> DigitA a

pred :: DigitA a -> DigitA a

toEnum :: Int -> DigitA a

fromEnum :: DigitA a -> Int

enumFrom :: DigitA a -> [DigitA a]

enumFromThen :: DigitA a -> DigitA a -> [DigitA a]

enumFromTo :: DigitA a -> DigitA a -> [DigitA a]

enumFromThenTo :: DigitA a -> DigitA a -> DigitA a -> [DigitA a]

Eq a => Eq (DigitA a)

Methods

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

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

Floating a => Floating (DigitA a)

Methods

pi :: DigitA a

exp :: DigitA a -> DigitA a

log :: DigitA a -> DigitA a

sqrt :: DigitA a -> DigitA a

(**) :: DigitA a -> DigitA a -> DigitA a

logBase :: DigitA a -> DigitA a -> DigitA a

sin :: DigitA a -> DigitA a

cos :: DigitA a -> DigitA a

tan :: DigitA a -> DigitA a

asin :: DigitA a -> DigitA a

acos :: DigitA a -> DigitA a

atan :: DigitA a -> DigitA a

sinh :: DigitA a -> DigitA a

cosh :: DigitA a -> DigitA a

tanh :: DigitA a -> DigitA a

asinh :: DigitA a -> DigitA a

acosh :: DigitA a -> DigitA a

atanh :: DigitA a -> DigitA a

log1p :: DigitA a -> DigitA a

expm1 :: DigitA a -> DigitA a

log1pexp :: DigitA a -> DigitA a

log1mexp :: DigitA a -> DigitA a

Fractional a => Fractional (DigitA a)

Methods

(/) :: DigitA a -> DigitA a -> DigitA a

recip :: DigitA a -> DigitA a

fromRational :: Rational -> DigitA a

Integral a => Integral (DigitA a)

Methods

quot :: DigitA a -> DigitA a -> DigitA a

rem :: DigitA a -> DigitA a -> DigitA a

div :: DigitA a -> DigitA a -> DigitA a

mod :: DigitA a -> DigitA a -> DigitA a

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

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

toInteger :: DigitA a -> Integer

Num a => Num (DigitA a)

Methods

(+) :: DigitA a -> DigitA a -> DigitA a

(-) :: DigitA a -> DigitA a -> DigitA a

(*) :: DigitA a -> DigitA a -> DigitA a

negate :: DigitA a -> DigitA a

abs :: DigitA a -> DigitA a

signum :: DigitA a -> DigitA a

fromInteger :: Integer -> DigitA a

Ord a => Ord (DigitA a)

Methods

compare :: DigitA a -> DigitA a -> Ordering

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

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

(>) :: DigitA a -> DigitA a -> Bool

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

max :: DigitA a -> DigitA a -> DigitA a

min :: DigitA a -> DigitA a -> DigitA a

Real a => Real (DigitA a)

Methods

toRational :: DigitA a -> Rational

RealFloat a => RealFloat (DigitA a)

Methods

floatRadix :: DigitA a -> Integer

floatDigits :: DigitA a -> Int

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

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

encodeFloat :: Integer -> Int -> DigitA a

exponent :: DigitA a -> Int

significand :: DigitA a -> DigitA a

scaleFloat :: Int -> DigitA a -> DigitA a

isNaN :: DigitA a -> Bool

isInfinite :: DigitA a -> Bool

isDenormalized :: DigitA a -> Bool

isNegativeZero :: DigitA a -> Bool

isIEEE :: DigitA a -> Bool

atan2 :: DigitA a -> DigitA a -> DigitA a

RealFrac a => RealFrac (DigitA a)

Methods

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

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

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

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

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

Show a => Show (DigitA a)

Methods

showsPrec :: Int -> DigitA a -> ShowS

show :: DigitA a -> String

showList :: [DigitA a] -> ShowS

Semigroup a => Semigroup (DigitA a)

Methods

(<>) :: DigitA a -> DigitA a -> DigitA a

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

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

Monoid a => Monoid (DigitA a)

Methods

mempty :: DigitA a

mappend :: DigitA a -> DigitA a -> DigitA a

mconcat :: [DigitA a] -> DigitA a

Ixed (DigitA a)

Methods

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

Wrapped (DigitA a0)

Associated Types

type Unwrapped (DigitA a0) :: *

Methods

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

DA a => DA (DigitA a)

Methods

dA :: Prism' (DigitA a) ()

xA :: DigitA a

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

Each (DigitA a) (DigitA b) a b

Methods

each :: Traversal (DigitA a) (DigitA b) a b

Field1 (DigitA a) (DigitA b) a b

Methods

_1 :: Lens (DigitA a) (DigitA b) a b

type Index (DigitA a)

type Index (DigitA a) = ()

type IxValue (DigitA a)

type IxValue (DigitA a) = a

type Unwrapped (DigitA a0)

type Unwrapped (DigitA a0) = a0