Data.Digit.Digitc

Documentation

newtype Digitc a

Constructors

Digitc a

Instances

Monad Digitc

Methods

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

(>>) :: Digitc a -> Digitc b -> Digitc b

return :: a -> Digitc a

fail :: String -> Digitc a

Functor Digitc

Methods

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

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

Applicative Digitc

Methods

pure :: a -> Digitc a

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

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

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

Foldable Digitc

Methods

fold :: Monoid m => Digitc m -> m

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

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

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

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

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

foldr1 :: (a -> a -> a) -> Digitc a -> a

foldl1 :: (a -> a -> a) -> Digitc a -> a

toList :: Digitc a -> [a]

null :: Digitc a -> Bool

length :: Digitc a -> Int

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

maximum :: Ord a => Digitc a -> a

minimum :: Ord a => Digitc a -> a

sum :: Num a => Digitc a -> a

product :: Num a => Digitc a -> a

Traversable Digitc

Methods

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

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

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

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

Traversable1 Digitc

Methods

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

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

Foldable1 Digitc

Methods

fold1 :: Semigroup m => Digitc m -> m

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

toNonEmpty :: Digitc a -> NonEmpty a

Bind Digitc

Methods

(>>-) :: Digitc a -> (a -> Digitc b) -> Digitc b

join :: Digitc (Digitc a) -> Digitc a

Apply Digitc

Methods

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

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

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

FunctorWithIndex () Digitc

Methods

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

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

FoldableWithIndex () Digitc

Methods

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

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

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

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

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

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

TraversableWithIndex () Digitc

Methods

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

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

Bounded a => Bounded (Digitc a)

Methods

minBound :: Digitc a

maxBound :: Digitc a

Enum a => Enum (Digitc a)

Methods

succ :: Digitc a -> Digitc a

pred :: Digitc a -> Digitc a

toEnum :: Int -> Digitc a

fromEnum :: Digitc a -> Int

enumFrom :: Digitc a -> [Digitc a]

enumFromThen :: Digitc a -> Digitc a -> [Digitc a]

enumFromTo :: Digitc a -> Digitc a -> [Digitc a]

enumFromThenTo :: Digitc a -> Digitc a -> Digitc a -> [Digitc a]

Eq a => Eq (Digitc a)

Methods

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

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

Floating a => Floating (Digitc a)

Methods

pi :: Digitc a

exp :: Digitc a -> Digitc a

log :: Digitc a -> Digitc a

sqrt :: Digitc a -> Digitc a

(**) :: Digitc a -> Digitc a -> Digitc a

logBase :: Digitc a -> Digitc a -> Digitc a

sin :: Digitc a -> Digitc a

cos :: Digitc a -> Digitc a

tan :: Digitc a -> Digitc a

asin :: Digitc a -> Digitc a

acos :: Digitc a -> Digitc a

atan :: Digitc a -> Digitc a

sinh :: Digitc a -> Digitc a

cosh :: Digitc a -> Digitc a

tanh :: Digitc a -> Digitc a

asinh :: Digitc a -> Digitc a

acosh :: Digitc a -> Digitc a

atanh :: Digitc a -> Digitc a

log1p :: Digitc a -> Digitc a

expm1 :: Digitc a -> Digitc a

log1pexp :: Digitc a -> Digitc a

log1mexp :: Digitc a -> Digitc a

Fractional a => Fractional (Digitc a)

Methods

(/) :: Digitc a -> Digitc a -> Digitc a

recip :: Digitc a -> Digitc a

fromRational :: Rational -> Digitc a

Integral a => Integral (Digitc a)

Methods

quot :: Digitc a -> Digitc a -> Digitc a

rem :: Digitc a -> Digitc a -> Digitc a

div :: Digitc a -> Digitc a -> Digitc a

mod :: Digitc a -> Digitc a -> Digitc a

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

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

toInteger :: Digitc a -> Integer

Num a => Num (Digitc a)

Methods

(+) :: Digitc a -> Digitc a -> Digitc a

(-) :: Digitc a -> Digitc a -> Digitc a

(*) :: Digitc a -> Digitc a -> Digitc a

negate :: Digitc a -> Digitc a

abs :: Digitc a -> Digitc a

signum :: Digitc a -> Digitc a

fromInteger :: Integer -> Digitc a

Ord a => Ord (Digitc a)

Methods

compare :: Digitc a -> Digitc a -> Ordering

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

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

(>) :: Digitc a -> Digitc a -> Bool

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

max :: Digitc a -> Digitc a -> Digitc a

min :: Digitc a -> Digitc a -> Digitc a

Real a => Real (Digitc a)

Methods

toRational :: Digitc a -> Rational

RealFloat a => RealFloat (Digitc a)

Methods

floatRadix :: Digitc a -> Integer

floatDigits :: Digitc a -> Int

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

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

encodeFloat :: Integer -> Int -> Digitc a

exponent :: Digitc a -> Int

significand :: Digitc a -> Digitc a

scaleFloat :: Int -> Digitc a -> Digitc a

isNaN :: Digitc a -> Bool

isInfinite :: Digitc a -> Bool

isDenormalized :: Digitc a -> Bool

isNegativeZero :: Digitc a -> Bool

isIEEE :: Digitc a -> Bool

atan2 :: Digitc a -> Digitc a -> Digitc a

RealFrac a => RealFrac (Digitc a)

Methods

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

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

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

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

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

Show a => Show (Digitc a)

Methods

showsPrec :: Int -> Digitc a -> ShowS

show :: Digitc a -> String

showList :: [Digitc a] -> ShowS

Semigroup a => Semigroup (Digitc a)

Methods

(<>) :: Digitc a -> Digitc a -> Digitc a

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

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

Monoid a => Monoid (Digitc a)

Methods

mempty :: Digitc a

mappend :: Digitc a -> Digitc a -> Digitc a

mconcat :: [Digitc a] -> Digitc a

Ixed (Digitc a)

Methods

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

Wrapped (Digitc a0)

Associated Types

type Unwrapped (Digitc a0) :: *

Methods

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

Dc a => Dc (Digitc a)

Methods

dc :: Prism' (Digitc a) ()

xc :: Digitc a

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

Each (Digitc a) (Digitc b) a b

Methods

each :: Traversal (Digitc a) (Digitc b) a b

Field1 (Digitc a) (Digitc b) a b

Methods

_1 :: Lens (Digitc a) (Digitc b) a b

type Index (Digitc a)

type Index (Digitc a) = ()

type IxValue (Digitc a)

type IxValue (Digitc a) = a

type Unwrapped (Digitc a0)

type Unwrapped (Digitc a0) = a0