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