Data.Digit.DigitC

Documentation

newtype DigitC a

Constructors

DigitC a

Instances

Monad DigitC

Methods

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

(>>) :: DigitC a -> DigitC b -> DigitC b

return :: a -> DigitC a

fail :: String -> DigitC a

Functor DigitC

Methods

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

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

Applicative DigitC

Methods

pure :: a -> DigitC a

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

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

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

Foldable DigitC

Methods

fold :: Monoid m => DigitC m -> m

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

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

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

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

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

foldr1 :: (a -> a -> a) -> DigitC a -> a

foldl1 :: (a -> a -> a) -> DigitC a -> a

toList :: DigitC a -> [a]

null :: DigitC a -> Bool

length :: DigitC a -> Int

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

maximum :: Ord a => DigitC a -> a

minimum :: Ord a => DigitC a -> a

sum :: Num a => DigitC a -> a

product :: Num a => DigitC a -> a

Traversable DigitC

Methods

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

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

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

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

Traversable1 DigitC

Methods

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

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

Foldable1 DigitC

Methods

fold1 :: Semigroup m => DigitC m -> m

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

toNonEmpty :: DigitC a -> NonEmpty a

Bind DigitC

Methods

(>>-) :: DigitC a -> (a -> DigitC b) -> DigitC b

join :: DigitC (DigitC a) -> DigitC a

Apply DigitC

Methods

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

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

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

FunctorWithIndex () DigitC

Methods

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

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

FoldableWithIndex () DigitC

Methods

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

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

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

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

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

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

TraversableWithIndex () DigitC

Methods

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

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

Bounded a => Bounded (DigitC a)

Methods

minBound :: DigitC a

maxBound :: DigitC a

Enum a => Enum (DigitC a)

Methods

succ :: DigitC a -> DigitC a

pred :: DigitC a -> DigitC a

toEnum :: Int -> DigitC a

fromEnum :: DigitC a -> Int

enumFrom :: DigitC a -> [DigitC a]

enumFromThen :: DigitC a -> DigitC a -> [DigitC a]

enumFromTo :: DigitC a -> DigitC a -> [DigitC a]

enumFromThenTo :: DigitC a -> DigitC a -> DigitC a -> [DigitC a]

Eq a => Eq (DigitC a)

Methods

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

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

Floating a => Floating (DigitC a)

Methods

pi :: DigitC a

exp :: DigitC a -> DigitC a

log :: DigitC a -> DigitC a

sqrt :: DigitC a -> DigitC a

(**) :: DigitC a -> DigitC a -> DigitC a

logBase :: DigitC a -> DigitC a -> DigitC a

sin :: DigitC a -> DigitC a

cos :: DigitC a -> DigitC a

tan :: DigitC a -> DigitC a

asin :: DigitC a -> DigitC a

acos :: DigitC a -> DigitC a

atan :: DigitC a -> DigitC a

sinh :: DigitC a -> DigitC a

cosh :: DigitC a -> DigitC a

tanh :: DigitC a -> DigitC a

asinh :: DigitC a -> DigitC a

acosh :: DigitC a -> DigitC a

atanh :: DigitC a -> DigitC a

log1p :: DigitC a -> DigitC a

expm1 :: DigitC a -> DigitC a

log1pexp :: DigitC a -> DigitC a

log1mexp :: DigitC a -> DigitC a

Fractional a => Fractional (DigitC a)

Methods

(/) :: DigitC a -> DigitC a -> DigitC a

recip :: DigitC a -> DigitC a

fromRational :: Rational -> DigitC a

Integral a => Integral (DigitC a)

Methods

quot :: DigitC a -> DigitC a -> DigitC a

rem :: DigitC a -> DigitC a -> DigitC a

div :: DigitC a -> DigitC a -> DigitC a

mod :: DigitC a -> DigitC a -> DigitC a

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

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

toInteger :: DigitC a -> Integer

Num a => Num (DigitC a)

Methods

(+) :: DigitC a -> DigitC a -> DigitC a

(-) :: DigitC a -> DigitC a -> DigitC a

(*) :: DigitC a -> DigitC a -> DigitC a

negate :: DigitC a -> DigitC a

abs :: DigitC a -> DigitC a

signum :: DigitC a -> DigitC a

fromInteger :: Integer -> DigitC a

Ord a => Ord (DigitC a)

Methods

compare :: DigitC a -> DigitC a -> Ordering

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

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

(>) :: DigitC a -> DigitC a -> Bool

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

max :: DigitC a -> DigitC a -> DigitC a

min :: DigitC a -> DigitC a -> DigitC a

Real a => Real (DigitC a)

Methods

toRational :: DigitC a -> Rational

RealFloat a => RealFloat (DigitC a)

Methods

floatRadix :: DigitC a -> Integer

floatDigits :: DigitC a -> Int

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

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

encodeFloat :: Integer -> Int -> DigitC a

exponent :: DigitC a -> Int

significand :: DigitC a -> DigitC a

scaleFloat :: Int -> DigitC a -> DigitC a

isNaN :: DigitC a -> Bool

isInfinite :: DigitC a -> Bool

isDenormalized :: DigitC a -> Bool

isNegativeZero :: DigitC a -> Bool

isIEEE :: DigitC a -> Bool

atan2 :: DigitC a -> DigitC a -> DigitC a

RealFrac a => RealFrac (DigitC a)

Methods

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

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

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

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

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

Show a => Show (DigitC a)

Methods

showsPrec :: Int -> DigitC a -> ShowS

show :: DigitC a -> String

showList :: [DigitC a] -> ShowS

Semigroup a => Semigroup (DigitC a)

Methods

(<>) :: DigitC a -> DigitC a -> DigitC a

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

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

Monoid a => Monoid (DigitC a)

Methods

mempty :: DigitC a

mappend :: DigitC a -> DigitC a -> DigitC a

mconcat :: [DigitC a] -> DigitC a

Ixed (DigitC a)

Methods

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

Wrapped (DigitC a0)

Associated Types

type Unwrapped (DigitC a0) :: *

Methods

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

DC a => DC (DigitC a)

Methods

dC :: Prism' (DigitC a) ()

xC :: DigitC a

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

Each (DigitC a) (DigitC b) a b

Methods

each :: Traversal (DigitC a) (DigitC b) a b

Field1 (DigitC a) (DigitC b) a b

Methods

_1 :: Lens (DigitC a) (DigitC b) a b

type Index (DigitC a)

type Index (DigitC a) = ()

type IxValue (DigitC a)

type IxValue (DigitC a) = a

type Unwrapped (DigitC a0)

type Unwrapped (DigitC a0) = a0