digit-0.4.0: A data-type representing digits 0-9 and other combinations
Data.Digit.DigitE
newtype DigitE a Source #
Constructors
Instances
Methods
(>>=) :: DigitE a -> (a -> DigitE b) -> DigitE b #
(>>) :: DigitE a -> DigitE b -> DigitE b #
return :: a -> DigitE a #
fail :: String -> DigitE a #
fmap :: (a -> b) -> DigitE a -> DigitE b #
(<$) :: a -> DigitE b -> DigitE a #
pure :: a -> DigitE a #
(<*>) :: DigitE (a -> b) -> DigitE a -> DigitE b #
(*>) :: DigitE a -> DigitE b -> DigitE b #
(<*) :: DigitE a -> DigitE b -> DigitE a #
fold :: Monoid m => DigitE m -> m #
foldMap :: Monoid m => (a -> m) -> DigitE a -> m #
foldr :: (a -> b -> b) -> b -> DigitE a -> b #
foldr' :: (a -> b -> b) -> b -> DigitE a -> b #
foldl :: (b -> a -> b) -> b -> DigitE a -> b #
foldl' :: (b -> a -> b) -> b -> DigitE a -> b #
foldr1 :: (a -> a -> a) -> DigitE a -> a #
foldl1 :: (a -> a -> a) -> DigitE a -> a #
toList :: DigitE a -> [a] #
null :: DigitE a -> Bool #
length :: DigitE a -> Int #
elem :: Eq a => a -> DigitE a -> Bool #
maximum :: Ord a => DigitE a -> a #
minimum :: Ord a => DigitE a -> a #
sum :: Num a => DigitE a -> a #
product :: Num a => DigitE a -> a #
traverse :: Applicative f => (a -> f b) -> DigitE a -> f (DigitE b) #
sequenceA :: Applicative f => DigitE (f a) -> f (DigitE a) #
mapM :: Monad m => (a -> m b) -> DigitE a -> m (DigitE b) #
sequence :: Monad m => DigitE (m a) -> m (DigitE a) #
traverse1 :: Apply f => (a -> f b) -> DigitE a -> f (DigitE b) #
sequence1 :: Apply f => DigitE (f b) -> f (DigitE b) #
fold1 :: Semigroup m => DigitE m -> m #
foldMap1 :: Semigroup m => (a -> m) -> DigitE a -> m #
toNonEmpty :: DigitE a -> NonEmpty a #
(>>-) :: DigitE a -> (a -> DigitE b) -> DigitE b #
join :: DigitE (DigitE a) -> DigitE a #
(<.>) :: DigitE (a -> b) -> DigitE a -> DigitE b #
(.>) :: DigitE a -> DigitE b -> DigitE b #
(<.) :: DigitE a -> DigitE b -> DigitE a #
imap :: (() -> a -> b) -> DigitE a -> DigitE b #
imapped :: (Indexable () p, Settable f) => p a (f b) -> DigitE a -> f (DigitE b) #
ifoldMap :: Monoid m => (() -> a -> m) -> DigitE a -> m #
ifolded :: (Indexable () p, Contravariant f, Applicative f) => p a (f a) -> DigitE a -> f (DigitE a) #
ifoldr :: (() -> a -> b -> b) -> b -> DigitE a -> b #
ifoldl :: (() -> b -> a -> b) -> b -> DigitE a -> b #
ifoldr' :: (() -> a -> b -> b) -> b -> DigitE a -> b #
ifoldl' :: (() -> b -> a -> b) -> b -> DigitE a -> b #
itraverse :: Applicative f => (() -> a -> f b) -> DigitE a -> f (DigitE b) #
itraversed :: (Indexable () p, Applicative f) => p a (f b) -> DigitE a -> f (DigitE b) #
minBound :: DigitE a #
maxBound :: DigitE a #
succ :: DigitE a -> DigitE a #
pred :: DigitE a -> DigitE a #
toEnum :: Int -> DigitE a #
fromEnum :: DigitE a -> Int #
enumFrom :: DigitE a -> [DigitE a] #
enumFromThen :: DigitE a -> DigitE a -> [DigitE a] #
enumFromTo :: DigitE a -> DigitE a -> [DigitE a] #
enumFromThenTo :: DigitE a -> DigitE a -> DigitE a -> [DigitE a] #
(==) :: DigitE a -> DigitE a -> Bool #
(/=) :: DigitE a -> DigitE a -> Bool #
pi :: DigitE a #
exp :: DigitE a -> DigitE a #
log :: DigitE a -> DigitE a #
sqrt :: DigitE a -> DigitE a #
(**) :: DigitE a -> DigitE a -> DigitE a #
logBase :: DigitE a -> DigitE a -> DigitE a #
sin :: DigitE a -> DigitE a #
cos :: DigitE a -> DigitE a #
tan :: DigitE a -> DigitE a #
asin :: DigitE a -> DigitE a #
acos :: DigitE a -> DigitE a #
atan :: DigitE a -> DigitE a #
sinh :: DigitE a -> DigitE a #
cosh :: DigitE a -> DigitE a #
tanh :: DigitE a -> DigitE a #
asinh :: DigitE a -> DigitE a #
acosh :: DigitE a -> DigitE a #
atanh :: DigitE a -> DigitE a #
log1p :: DigitE a -> DigitE a #
expm1 :: DigitE a -> DigitE a #
log1pexp :: DigitE a -> DigitE a #
log1mexp :: DigitE a -> DigitE a #
(/) :: DigitE a -> DigitE a -> DigitE a #
recip :: DigitE a -> DigitE a #
fromRational :: Rational -> DigitE a #
quot :: DigitE a -> DigitE a -> DigitE a #
rem :: DigitE a -> DigitE a -> DigitE a #
div :: DigitE a -> DigitE a -> DigitE a #
mod :: DigitE a -> DigitE a -> DigitE a #
quotRem :: DigitE a -> DigitE a -> (DigitE a, DigitE a) #
divMod :: DigitE a -> DigitE a -> (DigitE a, DigitE a) #
toInteger :: DigitE a -> Integer #
(+) :: DigitE a -> DigitE a -> DigitE a #
(-) :: DigitE a -> DigitE a -> DigitE a #
(*) :: DigitE a -> DigitE a -> DigitE a #
negate :: DigitE a -> DigitE a #
abs :: DigitE a -> DigitE a #
signum :: DigitE a -> DigitE a #
fromInteger :: Integer -> DigitE a #
compare :: DigitE a -> DigitE a -> Ordering #
(<) :: DigitE a -> DigitE a -> Bool #
(<=) :: DigitE a -> DigitE a -> Bool #
(>) :: DigitE a -> DigitE a -> Bool #
(>=) :: DigitE a -> DigitE a -> Bool #
max :: DigitE a -> DigitE a -> DigitE a #
min :: DigitE a -> DigitE a -> DigitE a #
toRational :: DigitE a -> Rational #
floatRadix :: DigitE a -> Integer #
floatDigits :: DigitE a -> Int #
floatRange :: DigitE a -> (Int, Int) #
decodeFloat :: DigitE a -> (Integer, Int) #
encodeFloat :: Integer -> Int -> DigitE a #
exponent :: DigitE a -> Int #
significand :: DigitE a -> DigitE a #
scaleFloat :: Int -> DigitE a -> DigitE a #
isNaN :: DigitE a -> Bool #
isInfinite :: DigitE a -> Bool #
isDenormalized :: DigitE a -> Bool #
isNegativeZero :: DigitE a -> Bool #
isIEEE :: DigitE a -> Bool #
atan2 :: DigitE a -> DigitE a -> DigitE a #
properFraction :: Integral b => DigitE a -> (b, DigitE a) #
truncate :: Integral b => DigitE a -> b #
round :: Integral b => DigitE a -> b #
ceiling :: Integral b => DigitE a -> b #
floor :: Integral b => DigitE a -> b #
showsPrec :: Int -> DigitE a -> ShowS #
show :: DigitE a -> String #
showList :: [DigitE a] -> ShowS #
(<>) :: DigitE a -> DigitE a -> DigitE a #
sconcat :: NonEmpty (DigitE a) -> DigitE a #
stimes :: Integral b => b -> DigitE a -> DigitE a #
mempty :: DigitE a #
mappend :: DigitE a -> DigitE a -> DigitE a #
mconcat :: [DigitE a] -> DigitE a #
ix :: Index (DigitE a) -> Traversal' (DigitE a) (IxValue (DigitE a)) #
Associated Types
type Unwrapped (DigitE a0) :: * #
_Wrapped' :: Iso' (DigitE a0) (Unwrapped (DigitE a0)) #
dE :: Prism' (DigitE a) () Source #
xE :: DigitE a Source #
each :: Traversal (DigitE a) (DigitE b) a b #
_1 :: Lens (DigitE a) (DigitE b) a b #