digit-0.4.0: A data-type representing digits 0-9 and other combinations

Safe HaskellNone
LanguageHaskell2010

Data.Digit.DigitE

Documentation

newtype DigitE a Source #

Constructors

DigitE a 

Instances

Monad DigitE Source # 

Methods

(>>=) :: DigitE a -> (a -> DigitE b) -> DigitE b #

(>>) :: DigitE a -> DigitE b -> DigitE b #

return :: a -> DigitE a #

fail :: String -> DigitE a #

Functor DigitE Source # 

Methods

fmap :: (a -> b) -> DigitE a -> DigitE b #

(<$) :: a -> DigitE b -> DigitE a #

Applicative DigitE Source # 

Methods

pure :: a -> DigitE a #

(<*>) :: DigitE (a -> b) -> DigitE a -> DigitE b #

(*>) :: DigitE a -> DigitE b -> DigitE b #

(<*) :: DigitE a -> DigitE b -> DigitE a #

Foldable DigitE Source # 

Methods

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 #

Traversable DigitE Source # 

Methods

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) #

Traversable1 DigitE Source # 

Methods

traverse1 :: Apply f => (a -> f b) -> DigitE a -> f (DigitE b) #

sequence1 :: Apply f => DigitE (f b) -> f (DigitE b) #

Foldable1 DigitE Source # 

Methods

fold1 :: Semigroup m => DigitE m -> m #

foldMap1 :: Semigroup m => (a -> m) -> DigitE a -> m #

toNonEmpty :: DigitE a -> NonEmpty a #

Bind DigitE Source # 

Methods

(>>-) :: DigitE a -> (a -> DigitE b) -> DigitE b #

join :: DigitE (DigitE a) -> DigitE a #

Apply DigitE Source # 

Methods

(<.>) :: DigitE (a -> b) -> DigitE a -> DigitE b #

(.>) :: DigitE a -> DigitE b -> DigitE b #

(<.) :: DigitE a -> DigitE b -> DigitE a #

FunctorWithIndex () DigitE Source # 

Methods

imap :: (() -> a -> b) -> DigitE a -> DigitE b #

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

FoldableWithIndex () DigitE Source # 

Methods

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 #

TraversableWithIndex () DigitE Source # 

Methods

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) #

Bounded a => Bounded (DigitE a) Source # 

Methods

minBound :: DigitE a #

maxBound :: DigitE a #

Enum a => Enum (DigitE a) Source # 

Methods

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] #

Eq a => Eq (DigitE a) Source # 

Methods

(==) :: DigitE a -> DigitE a -> Bool #

(/=) :: DigitE a -> DigitE a -> Bool #

Floating a => Floating (DigitE a) Source # 

Methods

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 #

Fractional a => Fractional (DigitE a) Source # 

Methods

(/) :: DigitE a -> DigitE a -> DigitE a #

recip :: DigitE a -> DigitE a #

fromRational :: Rational -> DigitE a #

Integral a => Integral (DigitE a) Source # 

Methods

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 #

Num a => Num (DigitE a) Source # 

Methods

(+) :: 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 #

Ord a => Ord (DigitE a) Source # 

Methods

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 #

Real a => Real (DigitE a) Source # 

Methods

toRational :: DigitE a -> Rational #

RealFloat a => RealFloat (DigitE a) Source # 
RealFrac a => RealFrac (DigitE a) Source # 

Methods

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 #

Show a => Show (DigitE a) Source # 

Methods

showsPrec :: Int -> DigitE a -> ShowS #

show :: DigitE a -> String #

showList :: [DigitE a] -> ShowS #

Semigroup a => Semigroup (DigitE a) Source # 

Methods

(<>) :: DigitE a -> DigitE a -> DigitE a #

sconcat :: NonEmpty (DigitE a) -> DigitE a #

stimes :: Integral b => b -> DigitE a -> DigitE a #

Monoid a => Monoid (DigitE a) Source # 

Methods

mempty :: DigitE a #

mappend :: DigitE a -> DigitE a -> DigitE a #

mconcat :: [DigitE a] -> DigitE a #

Ixed (DigitE a) Source # 

Methods

ix :: Index (DigitE a) -> Traversal' (DigitE a) (IxValue (DigitE a)) #

Wrapped (DigitE a0) Source # 

Associated Types

type Unwrapped (DigitE a0) :: * #

Methods

_Wrapped' :: Iso' (DigitE a0) (Unwrapped (DigitE a0)) #

DE a => DE (DigitE a) Source # 

Methods

dE :: Prism' (DigitE a) () Source #

xE :: DigitE a Source #

(~) * (DigitE a0) t0 => Rewrapped (DigitE a1) t0 Source # 
Each (DigitE a) (DigitE b) a b Source # 

Methods

each :: Traversal (DigitE a) (DigitE b) a b #

Field1 (DigitE a) (DigitE b) a b Source # 

Methods

_1 :: Lens (DigitE a) (DigitE b) a b #

type Index (DigitE a) Source # 
type Index (DigitE a) = ()
type IxValue (DigitE a) Source # 
type IxValue (DigitE a) = a
type Unwrapped (DigitE a0) Source # 
type Unwrapped (DigitE a0) = a0