Safe Haskell	None
Language	Haskell2010

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