Data.Digit.Digit3

Documentation

newtype Digit3 a

Constructors

Digit3 a

Instances

Monad Digit3

Methods

(>>=) :: Digit3 a -> (a -> Digit3 b) -> Digit3 b

(>>) :: Digit3 a -> Digit3 b -> Digit3 b

return :: a -> Digit3 a

fail :: String -> Digit3 a

Functor Digit3

Methods

fmap :: (a -> b) -> Digit3 a -> Digit3 b

(<$) :: a -> Digit3 b -> Digit3 a

Applicative Digit3

Methods

pure :: a -> Digit3 a

(<*>) :: Digit3 (a -> b) -> Digit3 a -> Digit3 b

(*>) :: Digit3 a -> Digit3 b -> Digit3 b

(<*) :: Digit3 a -> Digit3 b -> Digit3 a

Foldable Digit3

Methods

fold :: Monoid m => Digit3 m -> m

foldMap :: Monoid m => (a -> m) -> Digit3 a -> m

foldr :: (a -> b -> b) -> b -> Digit3 a -> b

foldr' :: (a -> b -> b) -> b -> Digit3 a -> b

foldl :: (b -> a -> b) -> b -> Digit3 a -> b

foldl' :: (b -> a -> b) -> b -> Digit3 a -> b

foldr1 :: (a -> a -> a) -> Digit3 a -> a

foldl1 :: (a -> a -> a) -> Digit3 a -> a

toList :: Digit3 a -> [a]

null :: Digit3 a -> Bool

length :: Digit3 a -> Int

elem :: Eq a => a -> Digit3 a -> Bool

maximum :: Ord a => Digit3 a -> a

minimum :: Ord a => Digit3 a -> a

sum :: Num a => Digit3 a -> a

product :: Num a => Digit3 a -> a

Traversable Digit3

Methods

traverse :: Applicative f => (a -> f b) -> Digit3 a -> f (Digit3 b)

sequenceA :: Applicative f => Digit3 (f a) -> f (Digit3 a)

mapM :: Monad m => (a -> m b) -> Digit3 a -> m (Digit3 b)

sequence :: Monad m => Digit3 (m a) -> m (Digit3 a)

Traversable1 Digit3

Methods

traverse1 :: Apply f => (a -> f b) -> Digit3 a -> f (Digit3 b)

sequence1 :: Apply f => Digit3 (f b) -> f (Digit3 b)

Foldable1 Digit3

Methods

fold1 :: Semigroup m => Digit3 m -> m

foldMap1 :: Semigroup m => (a -> m) -> Digit3 a -> m

toNonEmpty :: Digit3 a -> NonEmpty a

Bind Digit3

Methods

(>>-) :: Digit3 a -> (a -> Digit3 b) -> Digit3 b

join :: Digit3 (Digit3 a) -> Digit3 a

Apply Digit3

Methods

(<.>) :: Digit3 (a -> b) -> Digit3 a -> Digit3 b

(.>) :: Digit3 a -> Digit3 b -> Digit3 b

(<.) :: Digit3 a -> Digit3 b -> Digit3 a

FunctorWithIndex () Digit3

Methods

imap :: (() -> a -> b) -> Digit3 a -> Digit3 b

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

FoldableWithIndex () Digit3

Methods

ifoldMap :: Monoid m => (() -> a -> m) -> Digit3 a -> m

ifolded :: (Indexable () p, Contravariant f, Applicative f) => p a (f a) -> Digit3 a -> f (Digit3 a)

ifoldr :: (() -> a -> b -> b) -> b -> Digit3 a -> b

ifoldl :: (() -> b -> a -> b) -> b -> Digit3 a -> b

ifoldr' :: (() -> a -> b -> b) -> b -> Digit3 a -> b

ifoldl' :: (() -> b -> a -> b) -> b -> Digit3 a -> b

TraversableWithIndex () Digit3

Methods

itraverse :: Applicative f => (() -> a -> f b) -> Digit3 a -> f (Digit3 b)

itraversed :: (Indexable () p, Applicative f) => p a (f b) -> Digit3 a -> f (Digit3 b)

Bounded a => Bounded (Digit3 a)

Methods

minBound :: Digit3 a

maxBound :: Digit3 a

Enum a => Enum (Digit3 a)

Methods

succ :: Digit3 a -> Digit3 a

pred :: Digit3 a -> Digit3 a

toEnum :: Int -> Digit3 a

fromEnum :: Digit3 a -> Int

enumFrom :: Digit3 a -> [Digit3 a]

enumFromThen :: Digit3 a -> Digit3 a -> [Digit3 a]

enumFromTo :: Digit3 a -> Digit3 a -> [Digit3 a]

enumFromThenTo :: Digit3 a -> Digit3 a -> Digit3 a -> [Digit3 a]

Eq a => Eq (Digit3 a)

Methods

(==) :: Digit3 a -> Digit3 a -> Bool

(/=) :: Digit3 a -> Digit3 a -> Bool

Floating a => Floating (Digit3 a)

Methods

pi :: Digit3 a

exp :: Digit3 a -> Digit3 a

log :: Digit3 a -> Digit3 a

sqrt :: Digit3 a -> Digit3 a

(**) :: Digit3 a -> Digit3 a -> Digit3 a

logBase :: Digit3 a -> Digit3 a -> Digit3 a

sin :: Digit3 a -> Digit3 a

cos :: Digit3 a -> Digit3 a

tan :: Digit3 a -> Digit3 a

asin :: Digit3 a -> Digit3 a

acos :: Digit3 a -> Digit3 a

atan :: Digit3 a -> Digit3 a

sinh :: Digit3 a -> Digit3 a

cosh :: Digit3 a -> Digit3 a

tanh :: Digit3 a -> Digit3 a

asinh :: Digit3 a -> Digit3 a

acosh :: Digit3 a -> Digit3 a

atanh :: Digit3 a -> Digit3 a

log1p :: Digit3 a -> Digit3 a

expm1 :: Digit3 a -> Digit3 a

log1pexp :: Digit3 a -> Digit3 a

log1mexp :: Digit3 a -> Digit3 a

Fractional a => Fractional (Digit3 a)

Methods

(/) :: Digit3 a -> Digit3 a -> Digit3 a

recip :: Digit3 a -> Digit3 a

fromRational :: Rational -> Digit3 a

Integral a => Integral (Digit3 a)

Methods

quot :: Digit3 a -> Digit3 a -> Digit3 a

rem :: Digit3 a -> Digit3 a -> Digit3 a

div :: Digit3 a -> Digit3 a -> Digit3 a

mod :: Digit3 a -> Digit3 a -> Digit3 a

quotRem :: Digit3 a -> Digit3 a -> (Digit3 a, Digit3 a)

divMod :: Digit3 a -> Digit3 a -> (Digit3 a, Digit3 a)

toInteger :: Digit3 a -> Integer

Num a => Num (Digit3 a)

Methods

(+) :: Digit3 a -> Digit3 a -> Digit3 a

(-) :: Digit3 a -> Digit3 a -> Digit3 a

(*) :: Digit3 a -> Digit3 a -> Digit3 a

negate :: Digit3 a -> Digit3 a

abs :: Digit3 a -> Digit3 a

signum :: Digit3 a -> Digit3 a

fromInteger :: Integer -> Digit3 a

Ord a => Ord (Digit3 a)

Methods

compare :: Digit3 a -> Digit3 a -> Ordering

(<) :: Digit3 a -> Digit3 a -> Bool

(<=) :: Digit3 a -> Digit3 a -> Bool

(>) :: Digit3 a -> Digit3 a -> Bool

(>=) :: Digit3 a -> Digit3 a -> Bool

max :: Digit3 a -> Digit3 a -> Digit3 a

min :: Digit3 a -> Digit3 a -> Digit3 a

Real a => Real (Digit3 a)

Methods

toRational :: Digit3 a -> Rational

RealFloat a => RealFloat (Digit3 a)

Methods

floatRadix :: Digit3 a -> Integer

floatDigits :: Digit3 a -> Int

floatRange :: Digit3 a -> (Int, Int)

decodeFloat :: Digit3 a -> (Integer, Int)

encodeFloat :: Integer -> Int -> Digit3 a

exponent :: Digit3 a -> Int

significand :: Digit3 a -> Digit3 a

scaleFloat :: Int -> Digit3 a -> Digit3 a

isNaN :: Digit3 a -> Bool

isInfinite :: Digit3 a -> Bool

isDenormalized :: Digit3 a -> Bool

isNegativeZero :: Digit3 a -> Bool

isIEEE :: Digit3 a -> Bool

atan2 :: Digit3 a -> Digit3 a -> Digit3 a

RealFrac a => RealFrac (Digit3 a)

Methods

properFraction :: Integral b => Digit3 a -> (b, Digit3 a)

truncate :: Integral b => Digit3 a -> b

round :: Integral b => Digit3 a -> b

ceiling :: Integral b => Digit3 a -> b

floor :: Integral b => Digit3 a -> b

Show a => Show (Digit3 a)

Methods

showsPrec :: Int -> Digit3 a -> ShowS

show :: Digit3 a -> String

showList :: [Digit3 a] -> ShowS

Semigroup a => Semigroup (Digit3 a)

Methods

(<>) :: Digit3 a -> Digit3 a -> Digit3 a

sconcat :: NonEmpty (Digit3 a) -> Digit3 a

stimes :: Integral b => b -> Digit3 a -> Digit3 a

Monoid a => Monoid (Digit3 a)

Methods

mempty :: Digit3 a

mappend :: Digit3 a -> Digit3 a -> Digit3 a

mconcat :: [Digit3 a] -> Digit3 a

Ixed (Digit3 a)

Methods

ix :: Index (Digit3 a) -> Traversal' (Digit3 a) (IxValue (Digit3 a))

Wrapped (Digit3 a0)

Associated Types

type Unwrapped (Digit3 a0) :: *

Methods

_Wrapped' :: Iso' (Digit3 a0) (Unwrapped (Digit3 a0))

D3 a => D3 (Digit3 a)

Methods

d3 :: Prism' (Digit3 a) ()

x3 :: Digit3 a

(~) * (Digit3 a0) t0 => Rewrapped (Digit3 a1) t0

Each (Digit3 a) (Digit3 b) a b

Methods

each :: Traversal (Digit3 a) (Digit3 b) a b

Field1 (Digit3 a) (Digit3 b) a b

Methods

_1 :: Lens (Digit3 a) (Digit3 b) a b

type Index (Digit3 a)

type Index (Digit3 a) = ()

type IxValue (Digit3 a)

type IxValue (Digit3 a) = a

type Unwrapped (Digit3 a0)

type Unwrapped (Digit3 a0) = a0