Safe Haskell	None
Language	Haskell2010

Data.Digit.Digita

Documentation

newtype Digita a Source #

Constructors

Digita a

Instances

Monad Digita Source #
Methods (>>=) :: Digita a -> (a -> Digita b) -> Digita b # (>>) :: Digita a -> Digita b -> Digita b # return :: a -> Digita a # fail :: String -> Digita a #
Functor Digita Source #
Methods fmap :: (a -> b) -> Digita a -> Digita b # (<$) :: a -> Digita b -> Digita a #
Applicative Digita Source #
Methods pure :: a -> Digita a # (<>) :: Digita (a -> b) -> Digita a -> Digita b # (>) :: Digita a -> Digita b -> Digita b # (<*) :: Digita a -> Digita b -> Digita a #
Foldable Digita Source #
Methods fold :: Monoid m => Digita m -> m # foldMap :: Monoid m => (a -> m) -> Digita a -> m # foldr :: (a -> b -> b) -> b -> Digita a -> b # foldr' :: (a -> b -> b) -> b -> Digita a -> b # foldl :: (b -> a -> b) -> b -> Digita a -> b # foldl' :: (b -> a -> b) -> b -> Digita a -> b # foldr1 :: (a -> a -> a) -> Digita a -> a # foldl1 :: (a -> a -> a) -> Digita a -> a # toList :: Digita a -> [a] # null :: Digita a -> Bool # length :: Digita a -> Int # elem :: Eq a => a -> Digita a -> Bool # maximum :: Ord a => Digita a -> a # minimum :: Ord a => Digita a -> a # sum :: Num a => Digita a -> a # product :: Num a => Digita a -> a #
Traversable Digita Source #
Methods traverse :: Applicative f => (a -> f b) -> Digita a -> f (Digita b) # sequenceA :: Applicative f => Digita (f a) -> f (Digita a) # mapM :: Monad m => (a -> m b) -> Digita a -> m (Digita b) # sequence :: Monad m => Digita (m a) -> m (Digita a) #
Traversable1 Digita Source #
Methods traverse1 :: Apply f => (a -> f b) -> Digita a -> f (Digita b) # sequence1 :: Apply f => Digita (f b) -> f (Digita b) #
Foldable1 Digita Source #
Methods fold1 :: Semigroup m => Digita m -> m # foldMap1 :: Semigroup m => (a -> m) -> Digita a -> m # toNonEmpty :: Digita a -> NonEmpty a #
Bind Digita Source #
Methods (>>-) :: Digita a -> (a -> Digita b) -> Digita b # join :: Digita (Digita a) -> Digita a #
Apply Digita Source #
Methods (<.>) :: Digita (a -> b) -> Digita a -> Digita b # (.>) :: Digita a -> Digita b -> Digita b # (<.) :: Digita a -> Digita b -> Digita a #
FunctorWithIndex () Digita Source #
Methods imap :: (() -> a -> b) -> Digita a -> Digita b # imapped :: (Indexable () p, Settable f) => p a (f b) -> Digita a -> f (Digita b) #
FoldableWithIndex () Digita Source #
Methods ifoldMap :: Monoid m => (() -> a -> m) -> Digita a -> m # ifolded :: (Indexable () p, Contravariant f, Applicative f) => p a (f a) -> Digita a -> f (Digita a) # ifoldr :: (() -> a -> b -> b) -> b -> Digita a -> b # ifoldl :: (() -> b -> a -> b) -> b -> Digita a -> b # ifoldr' :: (() -> a -> b -> b) -> b -> Digita a -> b # ifoldl' :: (() -> b -> a -> b) -> b -> Digita a -> b #
TraversableWithIndex () Digita Source #
Methods itraverse :: Applicative f => (() -> a -> f b) -> Digita a -> f (Digita b) # itraversed :: (Indexable () p, Applicative f) => p a (f b) -> Digita a -> f (Digita b) #
Bounded a => Bounded (Digita a) Source #
Methods minBound :: Digita a # maxBound :: Digita a #
Enum a => Enum (Digita a) Source #
Methods succ :: Digita a -> Digita a # pred :: Digita a -> Digita a # toEnum :: Int -> Digita a # fromEnum :: Digita a -> Int # enumFrom :: Digita a -> [Digita a] # enumFromThen :: Digita a -> Digita a -> [Digita a] # enumFromTo :: Digita a -> Digita a -> [Digita a] # enumFromThenTo :: Digita a -> Digita a -> Digita a -> [Digita a] #
Eq a => Eq (Digita a) Source #
Methods (==) :: Digita a -> Digita a -> Bool # (/=) :: Digita a -> Digita a -> Bool #
Floating a => Floating (Digita a) Source #
Methods pi :: Digita a # exp :: Digita a -> Digita a # log :: Digita a -> Digita a # sqrt :: Digita a -> Digita a # (**) :: Digita a -> Digita a -> Digita a # logBase :: Digita a -> Digita a -> Digita a # sin :: Digita a -> Digita a # cos :: Digita a -> Digita a # tan :: Digita a -> Digita a # asin :: Digita a -> Digita a # acos :: Digita a -> Digita a # atan :: Digita a -> Digita a # sinh :: Digita a -> Digita a # cosh :: Digita a -> Digita a # tanh :: Digita a -> Digita a # asinh :: Digita a -> Digita a # acosh :: Digita a -> Digita a # atanh :: Digita a -> Digita a # log1p :: Digita a -> Digita a # expm1 :: Digita a -> Digita a # log1pexp :: Digita a -> Digita a # log1mexp :: Digita a -> Digita a #
Fractional a => Fractional (Digita a) Source #
Methods (/) :: Digita a -> Digita a -> Digita a # recip :: Digita a -> Digita a # fromRational :: Rational -> Digita a #
Integral a => Integral (Digita a) Source #
Methods quot :: Digita a -> Digita a -> Digita a # rem :: Digita a -> Digita a -> Digita a # div :: Digita a -> Digita a -> Digita a # mod :: Digita a -> Digita a -> Digita a # quotRem :: Digita a -> Digita a -> (Digita a, Digita a) # divMod :: Digita a -> Digita a -> (Digita a, Digita a) # toInteger :: Digita a -> Integer #
Num a => Num (Digita a) Source #
Methods (+) :: Digita a -> Digita a -> Digita a # (-) :: Digita a -> Digita a -> Digita a # (*) :: Digita a -> Digita a -> Digita a # negate :: Digita a -> Digita a # abs :: Digita a -> Digita a # signum :: Digita a -> Digita a # fromInteger :: Integer -> Digita a #
Ord a => Ord (Digita a) Source #
Methods compare :: Digita a -> Digita a -> Ordering # (<) :: Digita a -> Digita a -> Bool # (<=) :: Digita a -> Digita a -> Bool # (>) :: Digita a -> Digita a -> Bool # (>=) :: Digita a -> Digita a -> Bool # max :: Digita a -> Digita a -> Digita a # min :: Digita a -> Digita a -> Digita a #
Real a => Real (Digita a) Source #
Methods toRational :: Digita a -> Rational #
RealFloat a => RealFloat (Digita a) Source #
Methods floatRadix :: Digita a -> Integer # floatDigits :: Digita a -> Int # floatRange :: Digita a -> (Int, Int) # decodeFloat :: Digita a -> (Integer, Int) # encodeFloat :: Integer -> Int -> Digita a # exponent :: Digita a -> Int # significand :: Digita a -> Digita a # scaleFloat :: Int -> Digita a -> Digita a # isNaN :: Digita a -> Bool # isInfinite :: Digita a -> Bool # isDenormalized :: Digita a -> Bool # isNegativeZero :: Digita a -> Bool # isIEEE :: Digita a -> Bool # atan2 :: Digita a -> Digita a -> Digita a #
RealFrac a => RealFrac (Digita a) Source #
Methods properFraction :: Integral b => Digita a -> (b, Digita a) # truncate :: Integral b => Digita a -> b # round :: Integral b => Digita a -> b # ceiling :: Integral b => Digita a -> b # floor :: Integral b => Digita a -> b #
Show a => Show (Digita a) Source #
Methods showsPrec :: Int -> Digita a -> ShowS # show :: Digita a -> String # showList :: [Digita a] -> ShowS #
Semigroup a => Semigroup (Digita a) Source #
Methods (<>) :: Digita a -> Digita a -> Digita a # sconcat :: NonEmpty (Digita a) -> Digita a # stimes :: Integral b => b -> Digita a -> Digita a #
Monoid a => Monoid (Digita a) Source #
Methods mempty :: Digita a # mappend :: Digita a -> Digita a -> Digita a # mconcat :: [Digita a] -> Digita a #
Ixed (Digita a) Source #
Methods ix :: Index (Digita a) -> Traversal' (Digita a) (IxValue (Digita a)) #
Wrapped (Digita a0) Source #
Associated Types type Unwrapped (Digita a0) :: * # Methods _Wrapped' :: Iso' (Digita a0) (Unwrapped (Digita a0)) #
Da a => Da (Digita a) Source #
Methods da :: Prism' (Digita a) () Source # xa :: Digita a Source #
(~) * (Digita a0) t0 => Rewrapped (Digita a1) t0 Source #

Each (Digita a) (Digita b) a b Source #
Methods each :: Traversal (Digita a) (Digita b) a b #
Field1 (Digita a) (Digita b) a b Source #
Methods _1 :: Lens (Digita a) (Digita b) a b #
type Index (Digita a) Source #
type Index (Digita a) = ()
type IxValue (Digita a) Source #
type IxValue (Digita a) = a
type Unwrapped (Digita a0) Source #
type Unwrapped (Digita a0) = a0